infernu
Carp
Our great sponsors
infernu | Carp | |
---|---|---|
2 | 84 | |
337 | 5,393 | |
- | 0.0% | |
0.0 | 0.7 | |
over 5 years ago | about 1 year ago | |
Haskell | Haskell | |
GNU General Public License v2.0 only | Apache License 2.0 |
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.
infernu
-
The TypeScript Experience
Or maybe a sound type system can only be achieved either by limiting JavaScript or with a different language that compiles to JavaScript?
-
Features of a dream programming language: 2nd draft.
Very constrained. Since "constraints liberate, liberties constrain", as Bjarnason said. Inspired by Golang's minimalism, and Elm's guardrails. For learnability and maintainability. Since discipline doesn't scale (obligatory xkcd: with too much power, and the wrong nudges, all it takes is a moment of laziness/crunch-time to corrupt a strong foundation), and a complex language affords nerd-sniping kinds of puzzles, and bikeshedding and idiomatic analysis-paralysis. Counter-inspired by Haskell. The virtue of functional programming is that it subtracts features that are too-powerful/footguns (compared to OOP), namely: mutation & side-effects. The language designers should take care of and standardize all the idiomacy (natural modes of expression in the language). "Inside every big ugly language there is a small beautiful language trying to come out." -- sinelaw. The language should assume the developer is an unexperienced, lazy, (immediately) forgetful, and habitual creature. As long as software development is done by mere humans. This assumption sets the bar (the worst case), and is a good principle for DX, as well as UX. The constrained nature of the language should allow for quick learning and proficiency. Complexity should lie in the system and domain, not the language. When the language restricts what can be done, it's easier to understand what was done (a smaller space of possibilities reduces ambiguity and increases predictability, which gives speed for everyone, at a small initial learning cost). The language should avoid Pit of Despair programming, and leave the programmer in the Pit of Success: where its rules encourage you to write correct code in the first place. Inspired by Eric Lippert, but also by Rust.
Carp
- Carp: A statically typed Lisp, without a GC, for real-time applications
- How to Write a (Lisp) Interpreter (In Python)
-
Roc – A fast, friendly, functional language
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 structures under the hood".
-
Ask HN: Looking for statically typed, No-GC and compiled Lisp/scheme
Looking for a personal project so open-source would be great, but maturity/production readiness is not really a factor.
The only significant thing i can find so far is https://github.com/carp-lang/Carp.
Anything notable that i might have missed ?
- NASA just sent a software update to a spacecraft 12B miles away
-
Lisp in Space
Not CL, but there is ulisp (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.
- Carp
-
Yet nobody questions ABAP, Lua, Julia, Groovy or Scala, both of them are under Lisp in TIOBE Index
by their powers combined
- Good languages for writing compilers in?
-
Emerging Rust GUI libraries in a WASM world
Everybody is trying to make a more user-friendly Rust. The problem is that it is not clear yet whether that's possible, and if it is, how it may look. I know Vale and have tried it, though it's extremely early to judge anything so far. It does have a much stronger theoretical background 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
What are some alternatives?
ascii-art-to-unicode - Small program to convert ASCII box art to Unicode box drawings.
awesome-lisp-companies - Awesome Lisp Companies
ekg-carbon - An EKG backend to send statistics to Carbon (part of Graphite monitoring tools)
sectorlisp - Bootstrapping LISP in a Boot Sector
argon2 - Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function
ferret - Ferret is a free software lisp implementation for real time embedded control systems.
gotta-go-fast - A command line utility for practicing typing and measuring your WPM and accuracy.
Fennel - Lua Lisp Language
hascard - flashcard TUI with markdown cards
femtolisp - a lightweight, robust, scheme-like lisp implementation
quokka - Repository for Quokka.js questions and issues
hy - A dialect of Lisp that's embedded in Python