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. …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
  2. …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?
  3. ▲ 2
    Coalton: A statically typed functional programming language for Common Lisp
    story by ducktective · 2022-09-06 · 0 comments
  4. ▲ 2
    Coalton is an efficient, statically typed functional programming language
    story by michaelwm · 2022-09-05 · 1 comment
  5. …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
  6. Flix https://flix.dev/ and coalton https://github.com/coalton-lang/coalton seem promising.
    comment by dunefox · 2022-06-25 · in OCaml Programming: Correct and Efficient and Beautiful
  7. ▲ 1
    A statically typed functional programming language that supercharges Common Lisp
    story by dunefox · 2022-06-21 · 0 comments
  8. …inference. For a type-racket equivalent, we now have Coalton, it's like a Haskell on top of CL: https://github.com/coalton-lang/coalton/ Its author says: -- Take this with a grain of salt, because I’m neither a user nor expert of Typed…
    comment by vindarel · 2022-05-03 · in Why Hy?
  9. Coalton comes to mind: https://github.com/coalton-lang/coalton It adds static typing to Common Lisp, while (I believe) still allowing one to escape to the dynamic world when needed. Sure, there are statically-typed languages, but I don't…
    comment by eadmund · 2022-04-22 · in Common Lisp Resources
  10. …there have been solutions over time, but in case you missed the latest and greatest take on it: https://github.com/coalton-lang/coalton
    comment by Jach · 2022-04-21 · in New blog about my journey to develop a Common Lisp 3D software
  11. …a sibling comment mentioned, you can have Haskell-level static typing in Common Lisp with Coalton: https://github.com/coalton-lang/coalton
    comment by reikonomusha · 2022-04-16 · in Using SBCL Common Lisp as a Dynamic Library
  12. You might want to look into Coalton as statically typed, functional language on top of Common Lisp: https://github.com/coalton-lang/coalton That said, Common Lisp while dynamically typed, is also strongly typed. Many type errors are…
    comment by cardanome · 2022-04-16 · in Using SBCL Common Lisp as a Dynamic Library
  13. …1. https://github.com/froggey/mezzano/ 2. https://www.cs.utexas.edu/users/moore/acl2/ 3. https://github.com/coalton-lang/coalton
    comment by moonchild · 2022-04-08 · in TypeScript as fast as Rust: TypeScript++
  14. This may help: https://github.com/coalton-lang/coalton
    comment by reikonomusha · 2022-02-02 · in Running Lisp in Production (2020)
  15. There is! Coalton: https://github.com/coalton-lang/coalton > Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp
    comment by vindarel · 2022-01-09 · in Land of Lisp (2010)
  16. …SBCL does pretty good compile-time type checking. It helps a lot during dev. And there's the new https://github.com/coalton-lang/coalton to have like Haskell atop CL.
    comment by vindarel · 2022-01-08 · in Land of Lisp (2010)
  17. …present in Common Lisp (ok the static types "full experience" leads you to something like Coalton: https://github.com/coalton-lang/coalton however the plain SBCL experience does have some compile-time type checking). Meanwhile many…
    comment by Jach · 2021-12-31 · in The Clojure Mindshare (2019)
  18. …tutorials, PRs, and bug reports. [0] They hang out on Discord https://discord.gg/cPb6Bc4xAH [1] https://github.com/coalton-lang/coalton [2] https://coalton-lang.github.io/20211129-aoc-contest/
    comment by reikonomusha · 2021-12-01 · in Advent of Code 2021
  19. ▲ 2
    Coalton: statically typed Common Lisp
    story by galfarragem · 2021-11-07 · 0 comments
  20. …up your sleeve and do the work. Fortunately, people have already done the work for you. [1] [1] https://github.com/coalton-lang/coalton
    comment by reikonomusha · 2021-10-27 · in Why Lisp? (2015)
  21. …some type guarantees while still being able to have all of the interactiveness CL devs are used to. https://github.com/coalton-lang/coalton
    comment by kaeland · 2021-10-27 · in Why Lisp? (2015)