undefined | Better HN

0 pointskccqzy1mo ago0 comments

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.

0 comments

nextaccountic1mo 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

j / k navigate · click thread line to collapse

0 pointskccqzy1mo ago0 comments

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.

0 comments

nextaccountic1mo 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

j / k navigate · click thread line to collapse