miniblog.

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!

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.