Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
by b-man on 5/26/2026, 2:36:20 PM
https://coalton-lang.github.io/
Comments
by: pjmlp
Also have a look into their IDE, <a href="https://coalton-lang.github.io/20260424-mine/" rel="nofollow">https://coalton-lang.github.io/20260424-mine/</a>
5/27/2026, 6:55:39 AM
by: drekipus
The biggest problem for me is that I can't find a simple way to get started with Coalton.<p>I'm not a common lisp user, but I want to be. I want to learn common lisp, and I have a fair understanding of types. I think types can benefit the user in understanding more, as well as the inbuilt "intelligence" - (aka: How am I meant to know ahead of time that I can't add these two objects together? Having the editor tell me as I'm writing is a great step)<p>I have "mine" their text editor, now I just need some tutorials and sample projects to go with it.
5/27/2026, 12:16:58 AM
by: rixed
Now that the native ocaml repl has landed, can't we just slap a s-expression syntax on top of ocaml and call it a day? We would have homoiconicity and the macros that go with it, and still could call "(compile `some-code)". Isn't that enough?
5/27/2026, 5:27:42 AM