This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Tomas Petricek
tomasp.net
did:plc:hq34kh7mx5ku3bldoiriijht
In the next lab from my Tiny Systems course, you learn how type inference in ML-like languages works and write your own Hindley-Milner inference algorithm!
🎞️ Watch the videos: https://www.youtube.com/watch?v=FUFQ4jcfslU&list=PLRBVoLoCYzDML8e9g58f6zb-faG1rMHIJ&index=12
⌨️ Get the #fsharp code: https://github.com/tpetricek/tiny-systems/tree/master/03-tiny-hm/
2025-10-23T19:58:44.822Z