3 ms·
> It’s less simple than many systems languages because it has a very strong type system. I don’t think that’s the case, somehow most ML derived languages ended
by mbel 10mo ago
> It’s less simple than many systems languages because it has a very strong type system.
I don’t think that’s the case, somehow most ML derived languages ended up with stronger type system and cleaner syntax.
- steveklabnik 10mo agoRust's most complained about syntax, the lifetime syntax, was borrowed from an ML: OCaml.
- yoyohello13 10mo agoOne of the design goals of rust is explicitness. I think if Rust had type elision, like many other functional languages, it would go a long way to cleaning up the syntax.
- stingraycharles 10mo agoIs ML a systems language? Sorry, maybe my definition is wrong, but I consider a systems language something that’s used by a decent amount of OS’es, programming languages and OS utilities. I assume you’re talking about OCaml et al? I’m intruiged by it, but I’m coming from a Haskell/C++ background. Rust is somewhat unique in terms of system language this because it’s the first one that’s not “simple” like C but still used for systems tools, more than Go is as far as I’m aware. Which probably has to do with its performance characteristics being close to the machine, which Go cannot do (ie based on LLVM, no GC, etc)
- dontlaugh 10mo agoThere is no other ML-like that is as low level. Except perhaps ATS, which has terrible syntax.