Dear strong and proud @Ngnghm,
Which human programming languages of the moment are most reminescent of home to a houyhnhnm? I'm considering to learn Idris at the moment. Would you recommend anything else to put in my feedbag? <3 Thanks!
-
-
May I challenge you to challenge me? :) With a language! (Or anything. No rules.)
-
Idris is a good one for dependent types. Or Coq, or Agda. I'm still peddling Gerbil Scheme as a good Lisp platform to build and build upon. At work I'm using OCaml and considering moving to Coq. For fun, I'd look at Rust, Factor, Mercury, Erlang, Purescript, Mercury…
End of conversation
New conversation -
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.
Read my blog!