Too many languages introduce themselves as e.g. "Foo is a statically typed functional language", focusing on the basic characteristics.
I'd rather learn why Foo is special. What is Foo great for? Get me excited about what I could do with it!
miniblog.
Related Posts
I've seen some programming languages claim to be purely functional, but Coq has taken it to another level.
This hello world tutorial *installs a third party library* so you can do IO! https://coq-blog.clarus.me/tutorial-a-hello-world-in-coq.html
I've been doing more functional programming recently, and realised just how general a for loop is.
We needed a function `int list -> (bool, int) list` that would mark each item if it was the largest seen so far. Pretty straightforward.
TXR Lisp describes its stdlib as "a significant standard library of userful functional combinators". I can't decide if "userful" is a typo or a pun.