miniblog.

I occasionally see people debate whether important functions should occur first, or helper functions first. I've not seen it enforced though. It's hard to programmatically enforce. OCaml takes a side: you have to put helper functions first!

A classic syntactic debate: do you prefer types before or after parameters? Why?

Worthwhile debate on HN over what type checkers can/should verify, and the limits of Hindley-Milner designs: https://news.ycombinator.com/item?id=10271612