News for hackers. Stuff that matters.

A comment on Carp, a compiled Lisp with type inference and a borrow checker.

Re:Carp, a compiled Lisp with type inference and a borrow ch... by Veedrac on Saturday November 25, 2017 @09:19PM (#15779126)
It seemed they don't distinguish between mutable and immutable references (?). Does Carp not handle the issue of shared mutability, eg. iterator invalidation, like Rust?
[ Parent | on HN ]
Re:Carp, a compiled Lisp with type inference and a borrow ch... by eriksvedang on Saturday November 25, 2017 @09:30PM (#15779155)
Correct, not at the moment. Overall the type system is less expressive but also less dependent on annotations. Differentiating between immutable and mutable refs is probably coming though, it’s a useful distinction for sure.
[ Parent | on HN ]
Re:Carp, a compiled Lisp with type inference and a borrow ch... by chombier on Sunday November 26, 2017 @03:56AM (#15780068)
Is there a documentation about the type system somewhere?
[ Parent | on HN ]