Jon Purdy

Here’s an alternative design, which seems better: If a variable is mentioned multiple times, it needs the `clone` trait. If using the default `clone` implementation, the value is copied implicitly...

Ideally Kitten, or a Kitten wrapper around a C implementation. Haskell shouldn’t really be involved.

What specific changes would you suggest—could you give any examples? I’m not sure what you mean by “go all in”. Some people are interested in Kitten because they come from...

I’m definitely open to allowing this style with named parameters, I just don’t really want to *enforce* it. Essentially everything either is, or could be, implemented as sugar for point-free...

> Local vars go on the return stack, is that right? In the latest version of the compiler that I’ve been working on (nothing pushed publicly yet), both locals and...

@dmbarbour A `parseType` function sounds perfectly feasible—it could just call the compiler, actually—but I wonder how useful it would actually be. @bjz Yes, they would have exactly the same syntax,...

Thanks for bringing this to my attention. I was aware of this bug, but unfortunately I haven’t found a great way to solve it yet. Essentially, each entry in the...

Makem in Kitten and movem to Beta.

We can add a `mut` operator with a special typing rule: Γ ⊢ e : ∀H. (R… → S… +Mut<H> +P), H ∉ free(R… → S… +P) ------------------------------------------------------ Γ ⊢...

Hey @strager, @lewurm, @LiraNuna, do you have any thoughts on this? I’m trying to work out a nice API for casting, and it’d be useful to have some feedback so...