Comment by nextaccountic

7 days ago

In this case do yourself a favor and use something like simple-sub

https://github.com/LPTK/simple-sub

https://www.reddit.com/r/ProgrammingLanguages/comments/hpi54...

https://dl.acm.org/doi/10.1145/3409006

2 comments

nextaccountic

Reply
kccqzy  7 days ago

I 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  6 days ago

    That'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