As topics, it lists Agda, Coq and Rust as languages (among others) but not Idris. I suppose I will have to take that as a challenge.
-
-
-
I suppose this also means that Rust is officially a functional language now :)
- 2 more replies
New conversation -
-
-
I suspect this list is auto-generated somehow, but that matches my experience as well
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Indeed. I think the list must be auto-generated somehow anyway. I don’t know a useful definition of “functional language”.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
absence of mutable *non-shared* state? (not saying that's a helpful distinction... but neither is "functional")
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.