3 ms·
Coalton has a lot of promise and looks really nice. For the uninitiated, it's a functional language of the Lisp family, with a type system somewhat close to Ha
by brabel 3y ago
Coalton has a lot of promise and looks really nice.
For the uninitiated, it's a functional language of the Lisp family, with a type system somewhat close to Haskell's (or a ML descendant) that lives *embedded* in Common Lisp.
The problem to me seems to be just how inconvenient it is to use, exactly because it's embedded in another language!
Being able to use SLIME is of course, very nice, but having to wrap every expression you enter in `(coalton ...)` is a pain... I know they're working to make that more convenient, can't wait to try it again once that's done!
EDIT: intro to the language for those interested: https://coalton-lang.github.io/20211010-introducing-coalton/ https://coalton-lang.github.io/20211010-introducing-coalton/
- bmitc 3y agoHow does Coalton compare to Shen?
- reikonomusha 3y agoCoalton uses a more familiar type system (like Haskell's or Rust's), and doesn't attempt to be an independent language from Common Lisp.
- reikonomusha 3y agoIf it's too painful, a one-line read macro on % (or so) can make it simpler to type. (set-macro-character #\% (lambda (s c) `(coalton ,(read s)))) Then one can type %(f (g x))
- coryrc 3y agoCould replace `eval` in a namespace?
- reikonomusha 3y agoThe ultimate plan would be to just have a special Coalton REPL, that would allow more features and better diagnostics.
- Blackthorn 3y agoI wonder if the Common Lisp implementations can get together and create one of those CDRs about always-on macros (and how to order them etc etc). Not sure how else one would solve this issue, but I'm surprised that isn't available.