3 ms·
That's a very good thing for a language to have, indeed. But Go isn't the best thing to look into for productivity-via-the-type-system. What is (barring the pur
by mmirate 9y ago
That's a very good thing for a language to have, indeed. But Go isn't the best thing to look into for productivity-via-the-type-system. What is (barring the purely functional languages' learning curve) is most any ML descendant; albeit Rust in particular if Go-like performance is desirable.
- crimsonalucard 9y agoRust is descended from ml? Isn't Rust a algol based language? Is it functional?
- FreeFull 9y agoOCaml was a really strong influence on Rust. The first Rust compiler was written in OCaml. Rust's traits are also similar to Haskell's typeclasses.
- mmirate 9y agoRust also has discriminated unions, structural pattern matching and local type inference.
- mmirate 9y agoIn addition to typeclasses, Rust has discriminated unions (ergo algebraic datatypes), structural pattern matching, first-class functions, local type inference, and an exclusive/nonexclusive dichotomy of references which serves as a useful proxy for mutability.