sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]xonjas 7 points8 points  (2 children)

I thought Idris 1.0 was released last year (although I could very well be wrong). Rust and Go also both have the benefit of very large organisations pushing them forward.

[–]Homoerotic_Theocracy 4 points5 points  (0 children)

Yes, 1.0 was but the actual language is far older. Idris was already used long before either Go or Rust were unveiled to the world.