hkust-taco/mlstruct
View on GitHub ↗ ★ 53 Scala
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
4 mentions on Hacker News by 3 people: 0 stories, 4 comments · first 2024-06-12 · latest 2026-10-12
20082026
-
…language with negation types, but a few good research languages with them, eg MLstruct. [MLstruct]: https://github.com/hkust-taco/mlstruct
comment by sparkie · 2026-10-12 · in No portable way to detect string-to-float conversion errors in standard C -
…removed one of the assumptions/simplifications (positive/negative types) in his work on MLstruct https://github.com/hkust-taco/mlstruct
comment by tomp · 2025-06-13 · in Subtype Inference by Example -
…[2]: https://www.cs.tufts.edu/~nr/cs257/archive/stephen-dolan/the... [3]: https://github.com/hkust-taco/mlstruct [4]: https://dl.acm.org/doi/pdf/10.1145/3563304
comment by sparkie · 2025-03-29 · in The Koto Programming Language -
There are fast type inference algorithms available today, such as MLStruct. [0] [0] https://github.com/hkust-taco/mlstruct
comment by erichocean · 2024-06-12 · in The Swift compiler is slow due to how types are inferred