2 ms·
Plenty of new research languages are coming out with linear types. Building a mainstream language is extremely expensive these days, to the point that probably
by lmm 3y ago
Plenty of new research languages are coming out with linear types.
Building a mainstream language is extremely expensive these days, to the point that probably only a handful of companies can attempt it. I work in Scala which teeters on the edge of mainstream, and it's not the language itself that needs major backing, it's all the other stuff - IDEs, library repositories, build tools, profilers. I would love to leap into e.g. Idris, which does have linear types, but who's going to write an IDE for it? Even Rust struggles with this.
And it's very hard to retrofit linear types onto an existing language, if you can even get a quorum in favour of doing so. Haskell is trying, and I wish them well, but it's not going to be easy, and again they're barely mainstream.
- nequo 3y ago> Even Rust struggles with this. The Rust language server seems really good. What have you been missing there?
- thoasdfwdas 3y agoIt was years before we had rust-analyzer.
- shepmaster 3y agoA year and a half doesn't seem like bad turnaround time to me. shrug On June 27, 2016, Microsoft announced a collaboration with Red Hat and Codenvy to standardize [Language Server Protocol]'s specification — https://en.wikipedia.org/wiki/Language_Server_Protocol https://en.wikipedia.org/wiki/Language_Server_Protocol vs initial Date: 2017-12-21 22:25:45 +0300 — https://github.com/rust-lang/rust-analyzer/commit/a63222cd240d9b5405826783603f3b391c90885d https://github.com/rust-lang/rust-analyzer/commit/a63222cd24...
- thoasdfwdas 3y agoI've been using rust since 2010