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!
-
-
Replying to @kristleifur
I cannot speak for or against Idris, but yes a Houyhnhnm programmer would have at least a dependently-typed language in their toolbox. But also an interactive system (Lisp or Smalltalk) with good reflection and metaprogramming support. Concatenative, logic, actor languages, etc.
1 reply 0 retweets 1 like -
Replying to @Ngnghm
May I challenge you to challenge me? :) With a language! (Or anything. No rules.)
1 reply 0 retweets 0 likes
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…
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!