3 ms·
In this case do yourself a favor and use something like simple-sub https://github.com/LPTK/simple-sub https://github.com/LPTK/simple-sub https://www.reddit.co
by nextaccountic 8mo ago
In this case do yourself a favor and use something like simple-sub
https://github.com/LPTK/simple-sub https://github.com/LPTK/simple-sub
https://www.reddit.com/r/ProgrammingLanguages/comments/hpi54o/the_simple_essence_of_algebraic_subtyping/ https://www.reddit.com/r/ProgrammingLanguages/comments/hpi54...
https://dl.acm.org/doi/10.1145/3409006 https://dl.acm.org/doi/10.1145/3409006
- kccqzy 8mo agoI have implemented simple-pub a few years ago in a toy project. And no, the type inference user experience is still way worse than what’s acceptable for a mainstream language.
- nextaccountic 8mo agoThat's interesting. Can you share some specifics? Like, what makes it worse? Anyway I didn't mean that simple-sub makes subtyping inference great. It (and mlsub) seems to be just better than previous approaches