Our great sponsors
-
pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen (by the-little-typer)
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
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 mix of languages going on here. Quite unusual that they don't mention anything about concurrency anywhere. The docs do say that there's a fork function, but there's no real information. Maybe the expectation is for developers to use C concurrency primitives?
That's basically this[0] book, is it not?
[0] https://thelittletyper.com
Somewhat related; Not statically typed nor maintained, but nice work nonetheless [0].
[0] https://github.com/barak/stalin
Related posts
- Carp: A statically typed Lisp, without a GC, for real-time applications
- Ask HN: Looking for statically typed, No-GC and compiled Lisp/scheme
- NASA just sent a software update to a spacecraft 12B miles away
- Carp
- Yet nobody questions ABAP, Lua, Julia, Groovy or Scala, both of them are under Lisp in TIOBE Index