Hacker GitHub

← All repos

carp-lang/Carp

View on GitHub ↗ ★ 6,082 Haskell

A statically typed lisp, without a GC, for real-time applications.

105 mentions on Hacker News by 84 people: 19 stories, 86 comments · first 2016-03-18 · latest 2026-10-07

Mentions per year 105 mentions · busiest year 2021 (17)
20082026
AllStoriesComments NewestTopOldest
  1. …to stem out of this.. I wonder what the status of Carp is -- a Lisp with a borrow checker: https://github.com/carp-lang/Carp And I'm not a React developer, but from what I know of it, it struck me as something a Lisp hacker would come up…
    comment by so-cal-schemer · 2026-10-07 · in RacketCon Is Saturday
  2. Another really interesting Lisp that I recently came across: https://github.com/carp-lang/Carp
    comment by hardwaresofton · 2026-06-18 · in Clojure Hosted on Go
  3. …integration with existing C code > * Lisp macros, compile time scripting and a helpful REPL [1]: https://github.com/carp-lang/Carp
    comment by foresterre · 2026-05-10 · in Show HN: Rust but Lisp
  4. https://github.com/carp-lang/Carp might be of interest. It's a statically typed lisp.
    comment by nicoty · 2026-04-29 · in Why I still reach for Lisp and Scheme instead of Haskell
  5. https://github.com/carp-lang/Carp
    comment by yogthos · 2025-09-06 · in Developing a Space Flight Simulator in Clojure
  6. …of a Clojure-like language with a completely static type system (with affine typing), see Carp. https://github.com/carp-lang/Carp I don't see why there can't be a Carp mode in jank, with bridges in place to connect the Clojurey world from…
    comment by Jeaye · 2025-07-09 · in The Jank programming language
  7. …GC is not acceptable, like real time processing, or constrained hardware like microcontrollers. [0] https://github.com/carp-lang/Carp [1] https://prescheme.org
    comment by Zambyte · 2025-04-25 · in Nothing Janky About This New Programming Language
  8. https://github.com/carp-lang/Carp
    comment by valorzard · 2025-02-04 · in Roc rewrites the compiler in Zig
  9. …for the ability to reason about "where an object currently is" lexicographically. I think Carp ( https://github.com/carp-lang/Carp ) is a much more interesting contender for a native clojure, simply because it has lexical ownership.
    comment by j-pb · 2025-01-30 · in From C++ to Clojure: Jank language promises best of both
  10. …I've been following it for a bit. Carp [0] is another one that I've been following. [0]: https://github.com/carp-lang/Carp
    comment by packetlost · 2024-12-17 · in Crunch – a Scheme compiler with a minimal runtime
  11. Obligatory reference to Carp[1], the lisp that uses borrow checking; the "rust" of lisps. 1: https://github.com/carp-lang/Carp
    comment by djha-skin · 2024-09-14 · in Lisp implemented in Rust macros
  12. …abandoned. The existing head maintainer and major contributor has moved on to other things. https://github.com/carp-lang/Carp/issues/1460#issuecomment-2...
    comment by dleslie · 2024-06-23 · in The Pre-Scheme Restoration
  13. https://github.com/carp-lang/Carp is a recent attempt to create a similar language, but with a Rust-inspired borrow checker. though it looks like prescheme would end up being less dependent on C ultimately, this is another option in the…
    comment by voidhorse · 2024-06-21 · in The Pre-Scheme Restoration
  14. Carp ? https://github.com/carp-lang/Carp
    comment by NikkiA · 2024-05-31 · in SBCL: New in Version 2.4.5
  15. …most people will call something with macros and s-expressions, a reasonable, if brutalist, lisp. 0: https://github.com/carp-lang/Carp
    comment by j-pb · 2024-05-27 · in LO – simple WASM native language
  16. …[0] seems to be dormant... [0] https://www.eriksvedang.com/carp Edit: It is indeed dormant[1]. [1] https://github.com/carp-lang/Carp/issues/1460#issuecomment-2...
    comment by aredox · 2024-05-17 · in Make a game with Hoot for the Lisp Game Jam
  17. A few other languages I think deserve a mention: * Carp: https://github.com/carp-lang/Carp * Nim: https://nim-lang.org/ * Zig: https://ziglang.org/ * Austral: https://borretti.me/article/introducing-austral
    comment by brabel · 2024-05-08 · in The search for easier safe systems programming
  18. Carp - https://github.com/carp-lang/Carp - "A statically typed lisp, without a GC, for real-time applications." where it's "Ownership tracking enables a functional programming style while still using mutation of cache-friendly data…
    comment by redbar0n · 2023-11-22 · in Roc – A fast, friendly, functional language
  19. Carp is a statically-typed Lisp: https://github.com/carp-lang/Carp
    comment by noaoh · 2023-10-24 · in NASA just sent a software update to a spacecraft 12B miles away
  20. …( http://www.ulisp.com/ ) for microcontrollers, supposed to be really tiny, and there is Carp ( https://github.com/carp-lang/Carp ) which is without a GC so seems suitable for real-time stuff.
    comment by capableweb · 2023-08-06 · in Lisp in Space
  21. …than V, but even the theory is not completely clear at this point. There is also Carp by the way: https://github.com/carp-lang/Carp
    comment by brabel · 2023-04-28 · in Emerging Rust GUI libraries in a WASM world
  22. …playing with the language there is usually always someone to answer questions on the Gitter[1]. [0] https://github.com/carp-lang/Carp/blob/master/docs/Embedded.... [1] https://app.gitter.im/#/room/#eriksvedang_Carp:gitter.im
    comment by timdeve · 2023-03-11 · in Carp lang: statically typed Lisp, no GC
  23. …Boy Advance by using Carp's C interoperability; you can play an emulated version online[2]. [1]: https://github.com/carp-lang/Carp/blob/master/docs/CInterop.... [2]: https://radicorn.do.timdeve.com/
    comment by seabass-labrax · 2023-03-10 · in Carp lang: statically typed Lisp, no GC
  24. …Common Lisp or even Clojure. If your bag is interactive development, then that might be a bummer. https://github.com/carp-lang/Carp/blob/master/docs/Manual.md...
    comment by LispSporks22 · 2023-03-10 · in Carp lang: statically typed Lisp, no GC
  25. More on memory management https://github.com/carp-lang/Carp/blob/master/docs/Memory.md And yes is Open Source (Apache Licence)
    comment by fbn79 · 2023-03-10 · in Carp lang: statically typed Lisp, no GC
  26. Found this page to be a nice intro to the syntax and semantics: https://github.com/carp-lang/Carp/blob/master/docs/LanguageG... This part hits a real sweet spot for me: > Carp borrows its looks from Clojure but the runtime semantics are…
    comment by philbo · 2023-03-10 · in Carp lang: statically typed Lisp, no GC
  27. They have documentation about that: https://github.com/carp-lang/Carp/blob/master/docs/Memory.md It's interesting to see it's implemented in Haskell, looks like Clojure, has certain Rust-like semantics, and compiles to C. Quite an eclectic…
    comment by tmtvl · 2022-12-17 · in Carp – a statically typed, non-GC Lisp language
  28. …in that page looks intriguing. That's just SDL[0] though; they implemented basic SDL bindings. [0] https://github.com/carp-lang/Carp/blob/master/core/SDL.carp
    comment by tluyben2 · 2022-12-17 · in Carp – a statically typed, non-GC Lisp language
  29. https://github.com/carp-lang/Carp Clojure like syntax, Rust like internals.
    comment by djha-skin · 2022-12-07 · in Loopr: A Loop/Reduction Macro for Clojure
  30. Have a look at Carp for real-time applications: https://github.com/carp-lang/Carp Carp is a statically-typed, GC-less Lisp that implements Rust’s borrow-checking. It is implemented in Haskell and compiles to C. It shares some syntax with…
    comment by pgt · 2022-12-02 · in Show HN: Programming Google Flutter with Clojure
  31. Are you familiar with Carp [1]? [1] https://github.com/carp-lang/Carp
    comment by wunki · 2022-10-07 · in Building a Startup on Clojure
  32. …there is http://www.ulisp.com/ SBCL still needs garbage collection. There are also https://github.com/carp-lang/Carp and https://github.com/bakpakin/Fennel I haven't used these. Would be great if low-level and embedded engineers could chime
    comment by ducktective · 2022-10-03 · in Emacs-like editors written in Common Lisp
  33. …if you're interested. Uses ownership like Rust instead of GC, sort of a rust-like typed lisp. 1: https://github.com/carp-lang/Carp
    comment by djha-skin · 2022-10-03 · in I Just Can't Kick Lisp
  34. This project might fit that description https://github.com/carp-lang/Carp
    comment by josephferano · 2022-09-12 · in Ask HN: What would be your “perfect” programming language?
  35. …Erik Svedäng's nifty little statically typed Lisp. It's like Scheme with a Rust-y memory model: https://github.com/carp-lang/Carp
    comment by myco_logic · 2022-06-17 · in Ante: A low-level functional language
  36. Or make Webassembly text extensible then we could have something like https://github.com/carp-lang/Carp/blob/master/docs/LanguageG...
    comment by Existenceblinks · 2022-06-08 · in TC39 Proposal: Type Annotations
  37. Take a look at Carp https://github.com/carp-lang/Carp
    comment by doublec · 2022-06-06 · in What is a programmable programming language? (2019)
  38. And maybe carp? https://github.com/carp-lang/Carp
    comment by piethesailorman · 2022-02-10 · in Racket 8.4
  39. …/ debug (or maybe they just attract developers who value brevity over clarity... not sure). [0] https://github.com/carp-lang/Carp
    comment by christophilus · 2021-12-31 · in The Clojure Mindshare (2019)
  40. …Lisp syntax?) is even more lightly-trodden and I suspect more difficult on average, though Carp < https://github.com/carp-lang/carp > looks to be having a go at that. (I’m definitely interested in the concept of a memory-safe,…
    comment by chrismorgan · 2021-11-22 · in Bubbleos, a Self-Contained OS
  41. …There are some Lisps that have borrowed Clojure's syntax: - Janet <https://janet-lang.org/> - Carp <https://github.com/carp-lang/Carp> There are a variety of other Lisp-like languages listed here: https://github.com/dundalek/awesome-lisp-la…
    comment by naruhodo · 2021-11-03 · in Differences with other Lisps
  42. …So I immediately went to the manual, and CTRL+F'd for cons. Carp has the following restriction: https://github.com/carp-lang/Carp/blob/master/docs/Manual.md > If you're calling a dynamic function (something defined with defndynamic, or a…
    comment by dragontamer · 2021-10-15 · in Carp – A statically typed Lisp, without a GC, for real-time applications
  43. An overview of it's deficiencies: https://github.com/carp-lang/Carp/issues/1317
    comment by rurban · 2021-10-15 · in Carp – A statically typed Lisp, without a GC, for real-time applications
  44. …memory management, with borrowed refs similar to Rust, but evidently without tracking mutability: https://github.com/carp-lang/Carp/blob/master/docs/Memory.md The omission of the kind of mutability tracking that eases multithreading seems…
    comment by kragen · 2021-10-15 · in Carp – A statically typed Lisp, without a GC, for real-time applications
  45. …Carp manages memory [1]. [0] https://www.reddit.com/r/haskell/comments/d5d13i/is_it_possi... [1] https://github.com/carp-lang/Carp/blob/master/docs/Memory.md
    comment by protomikron · 2021-10-15 · in Carp – A statically typed Lisp, without a GC, for real-time applications
  46. …more theoretical approach is using linear types which require all values to be "consumed" [2] 1: https://github.com/carp-lang/Carp/blob/master/docs/LanguageG... 2: https://www.cs.utexas.edu/users/hunt/research/hash-cons/hash...
    comment by vnorilo · 2021-10-15 · in Carp – A statically typed Lisp, without a GC, for real-time applications
  47. Check out https://github.com/carp-lang/Carp From the readme: > The key features of Carp are the following: > - Automatic and deterministic memory management (no garbage collector or VM) > - Inferred static types for great speed and…
    comment by yawaramin · 2021-09-03 · in Joker: A small interpreted dialect of Clojure written in Go
  48. …it takes a cue from Rust and brings deterministic memory management & ownership into a Lisp. [1] https://github.com/carp-lang/Carp
    comment by aaron-santos · 2021-07-12 · in (Risp (In (Rust) (Lisp)))
  49. …with it a tiny bit, but it has an ownership memory model inspired by Rust. Pretty neat project! [1] https://github.com/carp-lang/Carp
    comment by rgrmrts · 2021-06-25 · in Cl-bodge: a cross-platform Common Lisp game and application framework
  50. …depending on your platform and task. Ferret ( https://github.com/nakkaya/ferret ) and Carp ( https://github.com/carp-lang/Carp ) are both Lisp-like low level languages. Both seem to be fairly experimental in nature though. > anything but C…
    comment by d110af5ccf · 2021-05-05 · in uLisp