39 points | by todsacerdoti 12 hours ago ago
2 comments
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.
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.