Comment by tmtvl | Hacker News Reader

Comment by tmtvl | Hacker News Reader

Parent Full thread

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?

From that link:

    (defn say-hi [text]
      (while true
        (if (< (length &text) 10)
          (println "Too short!")
          (println &text))))

Surprisingly similar to Rust, though I wonder if borrowing-by-default wouldn't be more readable than adding & everywhere. If you really need to give something ownership, you could have a sigil that maps to (move <var>)

> Maybe the expectation is for developers to use C concurrency primitives?

My guess is that they simply haven't thought much about this yet. One step at a time.

That's correct, concurency is not supported right now. I have a POC for using pthread but essentially the borrow checker is not aware of it and so it's quite unsafe.

Note: I'm a contributor.

Reply on news.ycombinator.com