Veit Heller

As we have them now, what is left to do here?

The map is an unfortunate side effect of the internal implementation bleeding out. We had an idea to implement a dynamic types and a protocol dispatcher (see #1177) but the...

Might the experiment have been [gt.carp](https://github.com/hellerve/gt.carp)? It implements a system for cooperative coroutines connected with channels. Sadly the system isn’t quite sound yet, because the borrow checker cannot figure out...

A little point for the future: I’d suggest asking question in the chat rather than opening an issue, just because questions generate a bit of noise for the maintainers. This...

The thing I proposed informally before is allowing for a special call that cleans up all references in a function before that function ends (basically the after-function cleanup, but as...

This example feels a little wrong to me generally: I feel like the thread shouldn’t have a reference to the lambda here but own it (would mean to require copying...

I can add this to #1373 or open a new PR with this functionality.

I played around with this a bit. The offending function is this one: https://github.com/carp-lang/Carp/blob/330dc52308c157c9c833b157cf0eb29dd9ca8327/src/Eval.hs#L1005-L1011 It’s clearly part of it’s intended behavior to show these errors. We can instead ignore those...

Somewhat, but it’s important to note that C works with arbitrary forms: ``` > (defdynamic x '(Int.+ 1 1)) > (c x) int _3 = Int__PLUS_(1, 1); ```

I think this is because it’s parsed as `(register 1 Foo Int "1Foo")`. See also: ``` > (+ 1x) Can't find symbol 'x' at REPL:3:5. Traceback: (+ 1 x) at...