stylewarning/deprecated-coalton-prototype
View on GitHub ↗ ★ 206 Common Lisp archived
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
13 mentions on Hacker News by 9 people: 2 stories, 11 comments · first 2019-05-23 · latest 2021-08-30
20082026
-
…system than just vanilla Hindley-Milner, and the implementation of it isn't particularly trivial. https://github.com/stylewarning/coalton is the closest thing and it's still missing a large amount of the type system. - Doing the…
comment by bitmapper · 2021-08-30 · in Hell Is Other REPLs -
…change, we can install Quicklisp libraries without restarting the image, etc. It's very smooth. 1: https://github.com/stylewarning/coalton
comment by vindarel · 2021-05-06 · in Six years of professional Clojure development -
…on with a keystroke. Sure it is not a Hindley-Mindler type system (there's one in development: https://github.com/stylewarning/coalton/ ) but it is "good enough". BTW, Atom and VSCode have pretty good plugins this day (…
comment by vindarel · 2021-02-01 · in Why I still Lisp -
You may be interested in coalton, an ml dialect embedded in cl - https://github.com/stylewarning/coalton
comment by moonchild · 2020-12-07 · in Sugar – a typed lispy language targeting webasm/wat -
There's Coalton: https://github.com/stylewarning/coalton
comment by dunefox · 2020-10-26 · in The Nature of Lisp (2006) -
…that still doesn't sacrifice its flexibility and expressive power. I'd jump to that in an instant. https://github.com/stylewarning/coalton looks promising, and stylewarning has recently said he's still working on it.
comment by stevelosh · 2020-09-27 · in Things I Was Wrong About: Types -
…Lisp is for language building. Even Hindley-Milner was first implemented atop Lisp in 1973 [1]. [0] https://github.com/stylewarning/coalton [1] http://www-public.imtbs-tsp.eu/~gibson/Teaching/CSC4504/Read...
comment by reikonomusha · 2020-08-26 · in Creating a Common Lisp implementation, part 1 [video] -
…(by an author of the CLASP implementation, C++ & LLVM for CL) - https://github.com/stylewarning/coalton - a library (pre-alpha): adding Hindley-Milner type checking to Common Lisp which allows for gradual adoption, in the
comment by vindarel · 2020-07-18 · in Typed Lisp, a Primer (2019) -
…diverging from being an extension of Lisp, into being some hyper-portable independent language. [1] https://github.com/stylewarning/coalton [2] http://www.shenlanguage.org/
comment by reikonomusha · 2019-08-24 · in Static Type Checking in Common Lisp -
There’s also Coalton — a typed implementation within Common Lisp https://github.com/stylewarning/coalton/
comment by dannyobrien · 2019-06-17 · in Ultralisp: A fast-moving Common Lisp software distribution -
…a joy to deploy. - strong typing, catches many common errors (and coming: an ML extension for CL: https://github.com/stylewarning/coalton , already used in a large Rigetti codebase) - stable. - fast - take in every language feature you…
comment by vindarel · 2019-05-23 · in The Common Lisp Cookbook