Slava's Monoid Zoo
(news.ycombinator.com)
1.
2.
Ada, its design, and the language that built the languages
(news.ycombinator.com)
3.
Torturing Rustc by Emulating HKTs
(news.ycombinator.com)
4.
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
(news.ycombinator.com)
5.
PHP compile time generics: yay or nay?
(news.ycombinator.com)