Mario Pastorelli@mapastr·Oct 21, 2017It has typeclasses! Well...it has *some* typeclasses. Some better than none, right? Three. Hardcoded. Uh11
Yawar Amin.cad@yawaramin·Oct 21, 2017Rust 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.12
deech@deech·Oct 21, 2017I'm aware of what Rust brings to the table. Have you looked at the HKT proposal. Not very fun.11
Yawar Amin.cad@yawaramin·Oct 21, 2017I tend to trust their community engagement and discussion process.11
deech@deech·Oct 21, 2017Agreed! 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?31
deech@deech·Oct 21, 2017Starting with having to Box(...) recursive datatypes and no TCO. Data race elimination is neat, I'll give them that.11
Brendan Zabarauskas@brendanzab·Oct 23, 2017Guaranteed TCO is pretty damn hard to implement in a memory safe way without a GC. There's a `become` keyword there in reserve though.11
Brendan Zabarauskas@brendanzabReplying to @brendanzab @carnivorous8008 and 4 othersPersonally 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.12:16 AM · Oct 23, 2017·Twitter Web Client1 Like
Brendan Zabarauskas@brendanzab·Oct 23, 2017Replying to @brendanzab @carnivorous8008 and 4 othersThat doesn't change the fact that I want it though!1
Yawar Amin.cad@yawaramin·Oct 23, 2017Replying to @brendanzab @carnivorous8008 and 3 othersI’m a Rust noob. Does it have compile-time recursion-to-iteration transforms like Scala & Clojure?1
Brendan Zabarauskas@brendanzab·Oct 23, 2017You can package up imperative loops into iterators, then chain them in a more functional way.1