Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml

So, Greenspun's Tenth Rule seems to have come full circle: now, "Any sufficiently complicated Coalton program contains an ad hoc, slow implementation of half of OCaml." ;)

I've left out "informally specified, bug-ridden" because I guess that's not the case for Coalton, but kept "slow" for when Coalton is used on a slower CL implementation.

The biggest problem for me is that I can't find a simple way to get started with Coalton.

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)

I have "mine" their text editor, now I just need some tutorials and sample projects to go with it.

Also have a look into their IDE, https://coalton-lang.github.io/20260424-mine/

So is there something like IO-Monad in Coalton?

I think that's the greatest feature of Haskell. Divide every program into two parts, one that can have side-effects and one that can not.

The words "Statically Typed" and "Haskell" made me click on something lisp related for once.

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?

[dead]