3 ms·
It is, because libraries like Coalton don't give you an expressive type system "for free", you also have to agree to write your code in a certain way. As such,
by reikonomusha 5y ago
It is, because libraries like Coalton don't give you an expressive type system "for free", you also have to agree to write your code in a certain way. As such, it's completely reasonable for Lispers to opt out of using such opinionated libraries, and instead using only what's provided by the standard.
If you do use a library like Coalton, then you get a type system pretty close to Haskell's.
- threatofrain 5y agoHey, do you use Coalton, and how mainstream would you say it is?
- gmfawcett 5y agoI'm fairly sure that their company created Coalton: https://coalton-lang.github.io/20211010-introducing-coalton/ https://coalton-lang.github.io/20211010-introducing-coalton/
- reikonomusha 5y agoIt's pretty new and not yet considered mainstream. But it's under active development and is used for real commercial projects.