I have an ICFP submission with all of 42 hours to spare… I must be doing it wrong again.
-
-
I suppose this also means that Rust is officially a functional language now :)
-
As I said before we need dysfunctional languages. Programming produces bugs. Stop bugs by not programming.
- 1 more reply
New conversation -
-
-
Fstar seems also pretty interesting.Rust with dependent types would be rather nice as well although not a big fan of the synthax
-
And there seems to be some movement in that direction… https://github.com/rust-lang/rfcs/issues/1930#issuecomment-282571183 …
End of conversation
New conversation -
-
-
COQS FOR THE COQ GOD! FOPS FOR THE FOP DOME
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.