Conversation

It has typeclasses! Well...it has *some* typeclasses. Some better than none, right? Three. Hardcoded. Uh

Rust is pretty much there too but somehow _it_ gets a pass from criticism.

Rust brings some new & unique stuff to the table. Plus they want to support HKTs. Elm does not (language-wise). Still a great DSL for UIs.

I'm aware of what Rust brings to the table. Have you looked at the HKT proposal. Not very fun.

I tend to trust their community engagement and discussion process.

Agreed! I get good feels from them too, but what does that have to do fact that at the end of the day the abstraction ceiling is too low?

Starting with having to Box(...) recursive datatypes and no TCO. Data race elimination is neat, I'll give them that.

No TCO, srsly?

Guaranteed TCO is pretty damn hard to implement in a memory safe way without a GC. There's a `become` keyword there in reserve though.

Personally I'm not a super big fan of implicit guaranteed TCO - would rather have a keyword and get an error when I break the optimization.

Replying to

That doesn't change the fact that I want it though!