Conversation

This Tweet is unavailable. Learn more

Mario Pastorelli

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

1

1

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

3

3

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.

1

2

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

1

1

I tend to trust their community engagement and discussion process.

1

1

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?

3

1

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

1

1

Matt "summoning arachnogods" Olson

@carnivorous8008

No TCO, srsly?

1

1

Brendan Zabarauskas

Replying to

@carnivorous8008

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.

12:14 AM · Oct 23, 2017Twitter Web Client

Brendan Zabarauskas

Replying to

@carnivorous8008

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.

2

1

Brendan Zabarauskas

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

1