feldspar-language
Carp
Our great sponsors
| feldspar-language | Carp | |
|---|---|---|
| 0 | 34 | |
| 40 | 4,524 | |
| - | 1.2% | |
| 0.0 | 8.3 | |
| 7 months ago | about 1 month ago | |
| Haskell | Haskell | |
| BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
feldspar-language
We haven't tracked posts mentioning feldspar-language yet.
Tracking mentions began in Dec 2020.
Carp
-
Lisp for games
Most Lisp implementations use a garbage collector. Carp looks like an interesting one without GC. I'm sure there are others as well.
-
Features of a dream programming language: 2nd draft.
No Garbage-Collector (GC), but also no garbage. Deterministic Object lifetimes, and Ownership tracking (affinity type system). Inspired by Rust and Carp. Alternatively, the language could take inspiration from concatenative programming languages which doesn't generate garbage by design, and uses the stack heavily. Garbage is a symptom of memorizing, which is tedious for the programmer, as well as the compiler, as well as the runtime. Garbage comes when you have to clean up something you memorised (allocated memory for, but somehow stopped using further on). Concatenative programming is closely related to FP through continuation-passing style (CPS) and tail-call optimization (TCO).
-
What is haskell used for ?
Haskell happens to be one of the most hard-core functional languages, which brings some interesting features to the table. It's used a lot for academic research, writing compilers for other languages (e.g. Carp, Idris etc.), it's used for making generative art and music, or by many large companies and startups in the financial and tech sectors. Most famously, Facebook uses Haskell for its spam detection algorithms.
-
The Clojure Mindshare (2019)
I love Clojure, but I do miss static types. I'm hoping Carp[0] (mentioned in the article) comes into its own. It seems like it could become my ideal language. The other problem I have with lisps in general is that they seem to encourage clever programming that is hard to read / debug (or maybe they just attract developers who value brevity over clarity... not sure).
-
Bubbleos, a Self-Contained OS
In the “Immediate plans (say, March 2019)” (yes, most of this project is 2¾ years old, though there have been spasms of activity in some areas from time to time since):
> Leconscrip: a memory-safe low-level statically-typed imperative language without garbage collection and with Lisp syntax, […]
I think producing anything even vaguely useful of this description in under a month was fairly wildly unrealistic. The only path to memory safety without garbage collection (… unless you’re willing to forego references altogether, which would generally disqualify usefulness) is some form of ownership tracking, and that’s a fairly lightly-trodden and lightly-documented path. There are very few examples of such languages even if you skip Lispness—I think Cyclone was the first (a research project spanning 2001–2006; and correct me if there was prior art), and Rust is the only even vaguely mainstream one. Making a language with these features using Lisp syntax (which I presume to include macros, otherwise is it even 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, garbage-collection-free language with Lisp syntax. I wish Carp and any other attempts well.)
- Clojure, but without the JVM?
- Carp - A statically typed lisp, without a GC, for real-time applications.
-
Hacker News top posts: Oct 15, 2021
Carp – A statically typed Lisp, without a GC, for real-time applications\ (67 comments)
- Carp – A statically typed Lisp, without a GC, for real-time applications
What are some alternatives?
sectorlisp - Bootstrapping LISP in a Boot Sector
awesome-lisp-companies - Awesome Lisp Companies
Fennel - Lua Lisp Language
femtolisp - a lightweight, robust, scheme-like lisp implementation
trivial-gamekit - Simple framework for making 2D games
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
nim-esp8266-sdk - Nim wrapper for the ESP8266 NON-OS SDK
hy - A dialect of Lisp that's embedded in Python
ferret - Ferret is a free software lisp implementation for real time embedded control systems.
awesome-clojure-likes - Curated list of Clojure-like programming languages.
babashka - Native, fast starting Clojure interpreter for scripting
alga