Very readable discussion of different ways of expressing applicative and monads in ocaml. Discusses the necessary operators and new syntactic sugar:
miniblog.
Related Posts
1
Futhark's design is deliberately trying to stay simple to keep long term design sustainable.
The author also has an interesting discussion of relative versus absolute paths in import syntax, and how relative paths can make local analysis easier.
Go has a wonderful, accessible discussion of how it does inlining today, the downsides, and the plans for 1.22:
Microsoft is writing a PHP parser that handles error recovery well, and the internals docs are really accessible.
It includes a discussion of handling trivia and even some sample parsing code.