daanx 17 minutes ago That's a nice overview of Hindley-Milner in practice!For those interested, I recently have been thinking of a better way to specify type inference with principal derivations that lends itself better for type system extensions:https://www.microsoft.com/en-us/research/uploads/prod/2024/0...Still a bit preliminary but hopefully fun to read :-)
fredrikholm 3 hours ago Max articles constitutes some ~90% of what I know about programming language implementation.His Lisp series are often shared around, but the entire blog is jam packed with golden nuggets. Big fan.I see bernsteinbear.com, I upvote.
That's a nice overview of Hindley-Milner in practice!
For those interested, I recently have been thinking of a better way to specify type inference with principal derivations that lends itself better for type system extensions:
https://www.microsoft.com/en-us/research/uploads/prod/2024/0...
Still a bit preliminary but hopefully fun to read :-)
Max articles constitutes some ~90% of what I know about programming language implementation.
His Lisp series are often shared around, but the entire blog is jam packed with golden nuggets. Big fan.
I see bernsteinbear.com, I upvote.