coalton-lang/coalton on Hacker News

Looks like Mine is part of Coalton's repo. https://github.com/coalton-lang/coalton/blob/main/mine/READM...

comment by lioeters · 2026-07-10 · in A road to Lisp: Why Lisp

…on top of it too. Coalton syntax is probably not unusual if you are familiar with OCaml and F#: https://github.com/coalton-lang/coalton (Though I'd expect the performance of the typical use case of running on top of SBCL to still be…

comment by Jach · 2026-05-03 · in Dotcl: Common Lisp Implementation on .NET

Interesting! Looks like the IDE itself is written in Coalton ( https://github.com/coalton-lang/coalton/tree/main/mine ) and you can either bring your own terminal or use the standalone version which uses Tauri and Xterm.js.

comment by sctb · 2026-04-25 · in Mine, an IDE for Coalton and Common Lisp

▲ 1

Coalton: Efficient, statically typed functional programming language

story by tosh · 2026-02-25 · 0 comments

The other way round, a Haskell on top of a Lisp, in production today: https://github.com/coalton-lang/coalton/ > Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp. Presentation this…

comment by vindarel · 2025-12-16 · in Liskell – Haskell Semantics with Lisp Syntax [pdf]

…you're into Haskell, you may like Coalton. It's an FP language written in CL with seamless interop. https://github.com/coalton-lang/coalton

comment by wild_egg · 2025-11-03 · in Lisp: Notes on its Past and Future (1980)

It's niche but used enough in the industry to give us tools like Coalton ( https://github.com/coalton-lang/coalton/ ), used enough by hobbyists to give us nice new libraries (new TUI library: https://github.com/atgreen/cl-tuition/blob/maste…

comment by vindarel · 2025-10-26 · in Clojure Land – Discover open-source Clojure libraries and frameworks

…+ commercial vendors if you need + … such a unique and productive set) (re. the type system: https://github.com/coalton-lang/coalton/ for a Haskell on top of CL now)

comment by vindarel · 2025-04-23 · in Graphics livecoding in Common Lisp

> but without static types So add static types. https://github.com/coalton-lang/coalton

comment by wild_egg · 2025-04-21 · in Things Zig comptime won't do

I don't know what Hindley-Milner means, but maybe Coalton matches what you mean? < https://github.com/coalton-lang/coalton >

comment by tmtvl · 2025-03-18 · in Rhombus Language

…work though. I have only experience with Common Lisp. Coalton might the exactly what you need: https://github.com/coalton-lang/coalton

comment by cardanome · 2025-02-24 · in Why Clojure?

…however, though Coalton is a Lisp-1 and would feel relatively at-home to any Scheme programmer. [1] https://github.com/coalton-lang/coalton

comment by reikonomusha · 2025-02-18 · in Why I'm writing a Scheme implementation in 2025: Async Rust

…the dispatch on a type (conventionally named by a capitalized symbol) happens statically. [1] https://github.com/coalton-lang/coalton

comment by klibertp · 2025-02-07 · in OpenLDK: A Java JIT compiler and runtime in Common Lisp

▲ 3

Coalton

story by freilanzer · 2024-10-22 · 0 comments

…here of Coalton, which is an experiment in creating that sense of security within a CL paradigm: https://github.com/coalton-lang/coalton )

comment by dannyobrien · 2024-10-01 · in The Liberating Experience of Common Lisp

…of all, SBCL can indeed have a subsection of its code expressed in OCaml-like static types, see https://github.com/coalton-lang/coalton

comment by medo-bear · 2024-09-26 · in Optimizing Guile Scheme

…in Coalton lately, and I guess this is one of the examples, so maybe I've answered my own question. https://github.com/coalton-lang/coalton/tree/main/examples/q...

comment by jmkr · 2024-08-28 · in Functional Parsing

…itself is an impassé for a vast majority of people who might be a candidate to try Lisp. [1] https://github.com/coalton-lang/coalton

comment by reikonomusha · 2024-08-10 · in Common Lisp Community Survey 2024 Results

…on the weekend. [1] https://github.com/quil-lang/quilc [2] https://github.com/quil-lang/qvm [3] https://github.com/coalton-lang/coalton

comment by reikonomusha · 2024-08-10 · in Common Lisp Community Survey 2024 Results

…reasonable to do is a testament to what some people mean by statements like "Lisp is powerful". [1] https://github.com/coalton-lang/coalton

comment by reikonomusha · 2024-06-05 · in Ask HN: 30y After 'On Lisp', PAIP etc., Is Lisp Still "Beating the Averages"?

I think these are (some of?) the mentioned ML and APL inspired libraries: https://github.com/coalton-lang/coalton https://github.com/phantomics/april

comment by ramenbytes · 2024-06-05 · in Ask HN: 30y After 'On Lisp', PAIP etc., Is Lisp Still "Beating the Averages"?

Seen this yet? https://github.com/coalton-lang/coalton

comment by ramenbytes · 2024-06-05 · in Ask HN: 30y After 'On Lisp', PAIP etc., Is Lisp Still "Beating the Averages"?

…C-c C-c in Slime). And there's also been improvement, see Coalton for a ML on top of CL. ( https://github.com/coalton-lang/coalton/ ) (and SBCL itself evolves)

comment by vindarel · 2024-03-11 · in (How to Write a (Lisp) Interpreter (In Python)) (2010)

For the parenthetically inclined among us, there's also an implementation in Coalton: < https://github.com/coalton-lang/coalton/tree/main/examples/t... >

comment by tmtvl · 2024-02-21 · in Typing Haskell in Haskell

…committees, "official" developers, etc. [1] https://coalton-lang.github.io/reference/#seq-type [2] https://github.com/coalton-lang/coalton/blob/main/library/se...

comment by reikonomusha · 2024-01-24 · in Embracing Common Lisp in the modern world

…are used to edit code structurally. re typing: Coalton brings Haskell-like typing on top of CL. https://github.com/coalton-lang/coalton/ Other lisps are typed: typed racket, Carp… and btw, SBCL's compiler brings some welcome type warnings…

comment by vindarel · 2023-12-04 · in Steel – An embeddable and extensible Scheme dialect

…typed, functional language embedded within Common Lisp. However, it hasn't reached version 1.0 yet. https://github.com/coalton-lang/coalton

comment by trealira · 2023-11-21 · in Roc – A fast, friendly, functional language

…but I know that Coalton adds static typing to Common Lisp, might be something you're interested in. https://github.com/coalton-lang/coalton

comment by qazwse_ · 2023-10-04 · in Strong static typing, a hill I'm willing to die on

…Lisp is flexible enough in other ways to let static type enthusiasts have their cake and eat it too https://github.com/coalton-lang/coalton ), and Python better than PHP, and PHP better than JS. And I prefer Java to PHP and JS. Just like…

comment by Jach · 2023-08-30 · in Griffin – A fully-regulated, API-driven bank, with Clojure

Coalton seems great, I love the idea. This issue seems problematic, though: https://github.com/coalton-lang/coalton/issues/84

comment by dunefox · 2023-08-26 · in Introducing Coalton to lispers without a background in ML-like languages

…of course if you really want an ML style BDSM type system in Common Lisp there's Coalton[1]. [1] https://github.com/coalton-lang/coalton

comment by User23 · 2023-08-10 · in Why Static Languages Suffer from Complexity (2022)

…also have things like Typed Racket and Coalton. The latter is completely statically typed ala MLTON https://github.com/coalton-lang/coalton

comment by medo-bear · 2023-08-08 · in Compiler Development: Rust or OCaml?

…string manipulation in an ORM to generate SQL, which will have similarly poor error messages. [1] https://github.com/coalton-lang/coalton

comment by reikonomusha · 2023-06-05 · in Why Lisp Syntax Works

…in the slightest. [3] [1] https://en.wikipedia.org/wiki/Value_restriction#A_Counter_Ex... [2] https://github.com/coalton-lang/coalton/issues/84 [3] https://coalton-lang.github.io/20220906-quantum-compiler/

comment by reikonomusha · 2023-05-14 · in Successful Lisp: How to Understand and Use Common Lisp (1999)

Coalton doesn't really work ( https://github.com/coalton-lang/coalton/issues/84?s=09 ) and Typed Racket is only typed outside macros (and I don't just mean that macros are hard to type, I mean the imperative code you write to generate code…

comment by dataangel · 2023-05-08 · in Why Lisp?

Coalton doesn't actually work: https://github.com/coalton-lang/coalton/issues/84?s=09 This is why it's important to always look at the issues on a repo instead of just believing what's in the README. It fails to detect type errors in some…

comment by dataangel · 2023-05-08 · in Why Lisp?

> static strong typing Alright, here is it: https://github.com/coalton-lang/coalton/ > small efficient native binaries The numbers are: with SBCL's core-compression, a web app with dozens on dependencies will weight ±30 to 40MB. This…

comment by vindarel · 2023-05-07 · in Why Lisp?

…https://github.com/thezerobit/green-threads edit: static typing https://github.com/coalton-lang/coalton

comment by medo-bear · 2023-05-07 · in Why Lisp?

…compile to Lisp functions. There's a guide that describes what is promised about interop ( https://github.com/coalton-lang/coalton/blob/main/docs/coalt... ). 4. Since Coalton functions are Lisp functions, you can call (unconstrained)…

comment by reikonomusha · 2023-04-25 · in My thoughts on OCaml

…used for "serious" applications, like implementing a compiler module for quantum programs [3]. [1] https://github.com/coalton-lang/coalton [2] https://coalton-lang.github.io/reference/ [3] https://coalton-lang.github.io/20220906-quantum-com…

comment by reikonomusha · 2023-04-25 · in My thoughts on OCaml

…strong support for type checking is the main reason I was drawn from Scheme to CL, and Coalton ( https://github.com/coalton-lang/coalton ) is one of the most interesting Lisp projects I have encountered. Type checking can remove an entire…

comment by tmtvl · 2023-02-20 · in I still Lisp (2021)

I meant regarding types, I think the equivalent to the other link would be Coalton: https://github.com/coalton-lang/coalton

comment by freilanzer · 2023-02-16 · in The Little Learner: A Straight Line to Deep Learning

▲ 4

Coalton: Statically typed functional language that supercharges Common Lisp

story by dunefox · 2023-01-31 · 0 comments

…;-) Since the article's publication, this is now possible with the industrial-grade Coalton: https://github.com/coalton-lang/coalton/

comment by vindarel · 2023-01-31 · in Typed Lisp, A Primer (2019)

…that Maxima is just Common Lisp with more maths? If https://github.com/Shen-Language/shen-cl and https://github.com/coalton-lang/coalton/ exist, does it mean that Shen and Coalton are just a fancy way of writing Common Lisp in an immutable…

comment by phoe-krk · 2023-01-30 · in Lisping at JPL Revisited

…lisp language and interaction ergonomics, I'm always on the lookout for new developments, like https://github.com/coalton-lang/coalton , which has pushed me to start playing with sbcl. Maybe CCL has already solved this, but I'm not versed…

comment by whacked_new · 2023-01-29 · in Lisping at JPL Revisited

…and Coalton can get you as much compile-time type checking as you wish (Haskell-like on top of CL). https://github.com/coalton-lang/coalton/

comment by vindarel · 2023-01-18 · in Stop Building on Corporate-Controlled Languages

…really want to get familiar with structural editing [5] [0] https://github.com/phantomics/april [1] https://github.com/coalton-lang/coalton/ [2] https://renato.athaydes.com/posts/revisiting-prechelt-paper-... [3]…

comment by wwfn · 2023-01-10 · in Learn Lisp the Hard Way

Coalton is a good option to explore if you fancy trying AoC with Lisp: https://github.com/coalton-lang/coalton

comment by modernerd · 2022-12-14 · in Noulith: A new programming language by the current Advent of Code leader

…an optionally or gradually typed language pull that off well. Opinions on Coalton in Common Lisp? https://github.com/coalton-lang/coalton

comment by ducktective · 2022-11-30 · in Dynamic types have the potential to be more than "no static types"