Hacker GitHub

← All repos

coalton-lang/coalton

View on GitHub ↗ ★ 1,786 Common Lisp

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

71 mentions on Hacker News by 31 people: 7 stories, 64 comments · first 2021-10-27 · latest 2026-07-10

Mentions per year 71 mentions · busiest year 2023 (23)
20082026
AllStoriesComments NewestTopOldest
  1. 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
  2. …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
  3. 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
  4. 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]
  5. …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)
  6. 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
  7. …+ 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
  8. > 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
  9. 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
  10. …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?
  11. …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
  12. …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
  13. …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
  14. …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
  15. …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
  16. …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
  17. …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
  18. …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"?
  19. 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"?
  20. 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"?
  21. …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)
  22. 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
  23. …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
  24. …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
  25. …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
  26. …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
  27. …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
  28. 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
  29. …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)
  30. …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?
  31. …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
  32. …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)
  33. 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?
  34. 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?
  35. > 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?
  36. …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?
  37. …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
  38. …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
  39. …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)
  40. 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
  41. …;-) 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)
  42. …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
  43. …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
  44. …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
  45. …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
  46. 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
  47. …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"
  48. …because CL, unlike so many other languages, really lets you extend it. Want a static type system? https://github.com/coalton-lang/coalton/ Want pattern matching? No need to wait for PEP 636, https://github.com/guicho271828/trivia/ If all…
    comment by Jach · 2022-11-08 · in From Common Lisp to Julia
  49. …least I think). https://flix.dev/ looks very cool. Also, recently someone posted this here on HN: https://github.com/coalton-lang/coalton It's a statically-typed, functional language embedded in Lisp, with many of the FP goodies.
    comment by graboid · 2022-09-17 · in Ask HN: What programming languages are you excited about?
  50. …typing for ahead-of-time more-correct programs the Coalton library. A ML/Haskell as a CL library. https://github.com/coalton-lang/coalton/ > Static typing for faster or leaner programs SBCL > WebAssembly Common Lisp running natively over…
    comment by vindarel · 2022-07-11 · in Guile Steel: a proposal for a systems Lisp