algorithm-w

Here is 1 public repository matching this topic...

sudeanb / typeforge

⒯ TypeForge: Hindley-Milner type inference (Algorithm W) for a tiny ML-flavoured language — union-find types, let-polymorphism, occurs check, derivation-trail replay. Zero dependencies.

playground functional-programming hindley-milner type-inference from-scratch unification derivation-tree algorithm-w type-systems

Updated Sep 29, 2026
JavaScript

Add this topic to your repo

To associate your repository with the algorithm-w topic, visit your repo's landing page and select "manage topics."

Learn more