Carp, a compiled Lisp with type inference and a borrow checker
blog.veitheller.de
Carp, a compiled Lisp with type inference and a borrow checker
1–10 of 112 posts
Re: Carp, a compiled Lisp with type inference and a borrow checker
#2> Carp compiles to C...It also likely doesn’t matter much, because chances are your machine has a C compiler.
Whether or not I can compile the code is only one of the many concerns to consider when picking between C and LLVM.
Re: Carp, a compiled Lisp with type inference and a borrow checker
#3Clojure + Rust => Carp?
Re: Carp, a compiled Lisp with type inference and a borrow checker
#4From their github (https://github.com/carp-lang/Carp)
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 reliability
- Ownership tracking enables a functional programming style while still using mutation of cache friendly data structures under the hood
- No hidden performance penalties – allocation and copying is explicit
- Straight-forward integration with existing C code
Re: Carp, a compiled Lisp with type inference and a borrow checker
#5From their github ( https://github.com/carp-lang/Carp ) 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 reliability - Ownership tracking enables a functional programming style while still using mutation of cache friendly data structures under the hood - No hidden performance penalties – allocation and…
This actually sounds like exactly what I’ve been wanting! I use Clojure and it’s great, but I’ve been wanting to use something to interop with some C++ code but while I like C++ more than most, I’d rather write in Clojure (or something like it). Awesome!
Re: Carp, a compiled Lisp with type inference and a borrow checker
#6Clojure + Rust => Carp?
My first thought as well.
Re: Carp, a compiled Lisp with type inference and a borrow checker
#7Add an interface to Caffe or Torch and this could be even cooler. I wanna try this out. Looks like a better prescheme from s48.org
Re: Carp, a compiled Lisp with type inference and a borrow checker
#8Looks really good. Might give it a shot. What's the concurrency story?
Re: Carp, a compiled Lisp with type inference and a borrow checker
#9I really want to like Carp but I somehow feel that the Rusty memory model does not fit the Lisp philosophy... all the borrowing story comes from a basis mutability.
I wish for something more Clojurish based on immutable data. Then one can exploit the power of inferred type linearity/affinity to transparently build safe "transients" and other cool stuff. Maybe some day I should write such Lisp myself on top of my C++ immutable data structures [1] :-)
Re: Carp, a compiled Lisp with type inference and a borrow checker
#10Clojure + Rust => Carp?
It sounds like arrays are mutable in Carp, so it doesn't feel like Clojure to me.
As far as I understand, Clojure is also not big on macros, while Carp appears to be.