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
miniblog.
Related Posts
There are docs resources like https://diataxis.fr/ that categorise documents based on format and intended audience.
They don't say where you should start, or what order you should write docs.
I'm currently thinking README > reference > tutorial > how-tos. Agree/disagree?
I tried tree-sitter today and it's exceptionally good.
The tooling is wonderful: the basic tutorial shows you how to define a grammar, a test suite, and provides a convenient CLI for generating efficient C parsers!
One wonderful aspect of POPL is being able to speak to experts.
I've admired Nadia Polikarpova's synthesis work for a while, so I jumped at the opportunity to do a Synquid tutorial led by her!