3 ms·

Coalton seems great, I love the idea. This issue seems problematic, though: https://github.com/coalton-lang/coalton/issues/84 https://github.com/coalton-lang/co

• wk_end 3y ago
  It's a known issue with HM type systems in the presence of mutation with known remedies (linked in that ticket), so I don't think it's insurmountable. It's maybe a little concerning that it hasn't been addressed in ~two years, but I understand that the Coalton team's is small and have to prioritize; while soundness is a virtue, in my experience working with languages like this, you run into the value restriction quite rarely in practice.
  • kazinator 3y ago
    It might be possible that they logged the bug just to say, "Yes, we know this academic problem exists in Coalton" and don't actually care about it.
• deleted 3y ago
  [deleted]