4 ms·

Not sure if separating the language from its available libraries is really helpful...

• 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 ago
    Hey, do you use Coalton, and how mainstream would you say it is?
    • gmfawcett 5y ago
      I'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 ago
      It's pretty new and not yet considered mainstream. But it's under active development and is used for real commercial projects.