What is the best alternative to Pony?

Question

Ad

Help millions of people make better decisions.

Each month, over 1.7 million people use Slant to find the best products and share their knowledge. Pick the tags you’re passionate about to get a personalized feed and begin contributing your knowledge.

score 218 · Answer 1

Golang

218 83

score 181 · Answer 2

Rust

Current stable version:1.26.0

See All

181 98

score 1 · Answer 3

ATS

score 24 · Answer 4

Idris

Top Pro

Full dependent types

Idris not only has support for type classes, but is a fully dependently typed language, giving you the full power to statically verify your code. See More

Top Con

Weaker type inference

As type inference is undecidable for dependently-typed languages, Idris cannot offer the full type inference that Haskell supports, and so more type annotations will be needed. See More

Top Pro

Domain driven design and type driven development

Because of full dependent types in Idris, the programmer can focus more on modelling the domain with types and waste less time fixing common bugs that the type checker will catch. Dependent types help apply type driven development and a lot of code auto generation, making the compiler and type checker an ally in developing working software instead of just getting in the way. See More

Top Con

Different semantics from Haskell

Idris, while similar to Haskell, has strict semantics, which may cause some confusion if your backend is done in Haskell. If using Idris, it would make sense to do the backend in Idris as well, if not for the fact that Idris currently has fewer libraries available for web development than Haskell. See More

24 8

score 194 · Answer 5

Elixir

Write code that writes code with Elixir macros. Macros make metaprogramming possible and define the language itself. See More

Specs

Price:Open source (Free)

Site:https://elixir-lang.org

Current stable version:1.6

GZipped size:3.61 MB (without required Erlang VM)

See All

194 60

score 111 · Answer 6

Pascal / Object Pascal

All

25

Pros

It was developed as a teaching language and it shows. No syntax pitfalls and gently encourages good style. See More

Top Pro

Reliable language and code base

Most code from the Turbo Pascal days in the 80s still compiles, yet the language has since been adapted and extended with modern concepts, introducing OOP and interfaces, exception handling, native Unicode support, anonymous methods, generics, ARC and more. See More

Specs

Price:Depends on Implementation

Standard:ISO/IEC 7185:1990 Pascal and ISO/IEC 10206:1990 Extended Pascal

See All

111 38

score 203 · Answer 7

Clojure

Current stable version:1.9

GZipped size:3.7Mb, requires JAVA

See All

203 69

score 83 · Answer 8

Nim

Nim has "asyncdispatch" module, which allows you to write async applications. See More

Specs

License:MIT

CPU:All CPU architectures that have an ANSI C compiler

OS:Windows, MacOS/iOS, Linux /Android/Termux, BSD, Solaris/SmartOS, HaikuOS, lots of others

Site:https://nim-lang.org

See All Specs >

See All

83 32

score 197 · Answer 9

Haskell

All

23

Pros

Haskell is really popular in universities and academia as a tool to teach programming. A lot of books for people who don't know programming are written around Haskell. This means that there are a lot of resources for beginners in programming with which to learn Haskell and functional programming concepts. See More

Specs

Site:https://www.haskell.org/

See All

197 80

score 62 · Answer 10

Common Lisp

Top Pro

Very Powerful REPL with SLIME

SLIME (Superior Lisp Interaction Mode for Emacs). See More

Top Pro

Carefully designed for interactive use

Almost all aspects of the language are designed with interactive/repl use in mind. See More

Top Pro

Condition/restart system

It is easy to recover from errors. Error resolution can be determined by the user at the REPL. See More

62 29

score 71 · Answer 11

Julia

Current stable version:0.6

Type Model:Dynamically Typed

71 33

score 24 · Answer 12

OCaml

The merlin editor tool provides all you need to develop OCaml in your favourite editor. See More

Specs

License:LGPL version 2.1

Price:Open source (Free)

OS:Linux, Windows, OSX, BSD

Site:http://ocaml.org

See All Specs >

See All

24 14

score 249 · Answer 13

C

All

31

Pros

Subtle errors can render the entire program "undefined" by the complicated C standard. The standard imposes no requirements in such cases. Thus C compiler is free to ignore the existence of such cases and Bad Things are prone to happen instead. Even experts can't reliably avoid undefined cases in C, so how can beginners be expected to do so? C allows for non-type safe operations such as logic errors, wild pointers, buffer overflow, etc. UB and type safety issues create a large number of bugs and security vulnerabilities. See More

Top Con

Only offers basic support for source code split into multiple files

Modern programming languages are capable of compiling split source code files by concatenating them together efficiently at compile time before compiling them. However, C requires the developer to resort to messing with header files and makefiles to get similar functionality. See More

Specs

Price:Depends on Implementation

Standard:ISO/IEC 9899:2011/Cor 1:2012 or C11

See All

249 130

score 205 · Answer 14

C#

All

18

Pros

With .NET core it is a truly universal programming language which support desktop apps (Windows), Mobile apps (Xamarin), Web Apps (ASP.Core MVC). Also is perfectly fit to serverless programming for micro services. Soon it will be also support Web assembly (Blazor). See More

Specs

Price:Free

Current stable version:7

See All

205 109

score 180 · Answer 15

Scala

Specs

Price:Open Source (Free)

Site:scala-lang.org

Current stable version:2.12.4

See All

180 101

score 172 · Answer 16

Ruby

All

18

Pros

Site:https://www.ruby-lang.org

Current stable version:2.4.1

GZipped size:13.5 MB

See All

172 98

score 54 · Answer 17

Erlang

54 36

score 63 · Answer 18

D

D provides a structure that builds on C's arrays called slices. A slice is a segment of an array that tracks the pointer and the length of the segment. Slices are extremely powerful because they combine the protection of knowing the length of the data with the garbage collector that manages the memory backing that data, thus avoiding most memory corruption issues. See More

Specs

Site:https://dlang.org/

Current stable version:2.076.0

Website:https://dlang.org/download.html

See All

63 45

score 123 · Answer 19

C++

Top Con

Exceptions incompatible with C++ manual memory management

Top Con

Undefined behaviors and weak limited type safety

Undefined behavior in a program can cause unexpected results, making it hard to debug. With UB, program behavior may vary wildly depending on optimization settings. There are many cases that invoke UB, such as signed overflow, invalid dereferences, large integer shifts, uninitialized variables, etc. C++ allows for non-type safe operations such as logic errors, wild pointers, buffer overflow, etc. UB and type safety issues create a large number of bugs and security vulnerabilities. See More

Specs

Price:Depends on Implementation

Standard: ISO/IEC 14882 or C++17

See All

123 87

score 7 · Answer 20

Objective-C

Objective-C is built on top of C, and as such, requires at least a basic understanding of how to program in C. See More

See All

7 33