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. 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
  2. …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?
  3. 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
  4. …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
  5. …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
  6. 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
  7. …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++
  8. This may help: https://github.com/coalton-lang/coalton
    comment by reikonomusha · 2022-02-02 · in Running Lisp in Production (2020)
  9. 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)
  10. …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)
  11. …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)
  12. …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
  13. …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)
  14. …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)