We're not mainstream. We could be in the business of attracting mainstream folk. How do we do that, when we're so weird, and when so many people tell us that we're worthless? Asks a dependently typed functional programmer.
I’d also put the odds of no other mainstream language having Rust-style lifetimes in the next 20 years at 50%. Static typing moves *very* slowly in practice. It’s not even clear the direction of the trend: Go is an example of a successful backlash against PLT in general.
-
-
Agreed re Go: I think the most likely next set of mainstream languages will be somewhat anti-types again; even those safety-focused, might be more automata-baed, or immutable-dataflow or such. Taste & patience for type-system adventures seems to be quite cyclical.
-
I thought Swift was adding ownership types. Has that changed?
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.