4 ms·
I mean, why not just write Rust at that point? Required static typing is fundamentally at odds with the design intent of the language.
by oivey 1y ago
I mean, why not just write Rust at that point? Required static typing is fundamentally at odds with the design intent of the language.
- trealira 1y agoA lot of people want a garbage collected Rust without all the complexity caused by borrow checking rules. I guess it's because Rust is genuinely a great language even if you ignore that part of it.
- logicchains 1y agoIsn't garbage collected Rust without a borrow checker just OCaml?
- johnisgood 1y agoPretty much, I would say, in fact, I like OCaml better if we put the borrow checker aside.
- pjmlp 1y agoThankfully, like many other languages that rather combine models instead of going full speed into affine types, OCaml is getting both. Besides the effects type system initially introduced to support multicore OCaml, Jane Street is sponsoring the work for explicit stack allocation, unboxed types, modal types. See their YouTube channel.
- johnisgood 1y agoYeah, I have watched a couple of videos and read blog posts from Jane Street. They are helping OCaml a lot!
- codr7 1y agoOr even better imo, Reason ML.
- johnisgood 1y agoI have not used Reason ML as I have not had the reason to. :D But apparently the target audience is JavaScript / TypeScript developers, and I think it is mainly used for web development IIRC, whereas OCaml is much more general-purpose and even low-level at times. Jane Street is doing a great job at contributing to OCaml itself and its libraries.
- codr7 1y agoI didn't use it for JS at all, I used it for the sane syntax.
- Elucalidavah 1y ago> a garbage collected Rust By the way, wouldn't it be possible to have a garbage-collecting container in Rust? Where all the various objects are owned by the container, and available for as long as they are reachable from a borrowed object.
- morsecodist 1y agoIsn't this what Rc is?
- throwaway48476 1y agoOnly for synchronous immutable data.
- coolcase 1y agoIs Go that language?
- throwaway48476 1y agoRust syntax is much nicer than go. Also enums
- spookie 1y agoD and Go exist. There are alternatives out there
- tgv 1y agoNot only that: Rust is considerably faster and more reliable. Since you're not writing the code yourself, Rust would be an objectively better choice. Who are we trying to fool?