Ask HN: Programming Languages that fit this criteria

2 pointsyawn6 years ago4 comments

On HN

I'm looking for a language that:

- is statically typed

- supports algebraic data types and exhaustive pattern matching

- does not necessarily promote an OO model

- has garbage collection

- compiles to a single binary

- has support for web development

- bonus: is not tied to an existing VM ecosystem (JVM, .NET, BEAM)

Basically Rust with a GC. Is there anything out there like this? Is anyone working on something like this that I could contribute to?

trws 6y

Haskell and OCaml (reason too of course) are the only ones that come to mind as a 100% match

I would argue that Rust and Swift also qualify though, since their lifetime management and reference counting respectively are valid forms of garbage collection.

Crystal fits except for the promoting OO part.

If we ignore the bonus then Scala and elixir might also qualify.

programatico 6y

haXe @ haxe.org

steveklabnik 6y

Swift? Maybe?

kevsim 6y

Nim?

Comments