Found this interesting video on GopherCon https://www.youtube.com/watch?v=Ps3mBPcjySE Speaker raises questions about what a program code is and how it should look.

>even filthy users of Typed Racket This was mean. Typed Racket is one of the areas where Racket can improve a lot. There is more and more attention to approaches and tools that allows to make some reasoning about code and give some guarantees.

What typed racket also gives is possibility for documentation generation.

I suspect @jeapostrophe, being a programming languages researcher, means this in jest :wink: