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

drekipus

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.

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?