9 ms·
Is any of this OCaml specific? You can check all boxes with TypeScript.
by koakuma-chan 1y ago
Is any of this OCaml specific? You can check all boxes with TypeScript.
- stefanos82 1y agoDoes TypeScript emit machine code? OCaml gives you this option, if you need it.
- procaryote 1y agoBut they say "we use ocaml [because it has types]" not "[because it can emit machine code]"
- koakuma-chan 1y agoI would go for Rust if I wanted machine code
- deleted 1y ago[deleted]
- a-french-anon 1y agoWell, TS transpiles to JS which then runs on Node, aka V8, a native JIT compiler. So yes, I guess?
- pjmlp 1y agoKind of, given that V8 performance is never going to be as good as AOT compiled language, and JIT needs warmup time. It is no accident that famous JavaScript tools keep being rewritten into C++, Dart, Go and Rust.
- zaphar 1y agoThose two type systems are not the same. Typescript has some soundness issues in the type system. They are there because they have to work seamless with javascript so it's understandable. And they improve many codebases that would have been otherwise written in javascript. But they do not in any way give you the same level of guarantees that OCaml, Haskell, or Rust would give you.
- koakuma-chan 1y agoFor all practical purposes I believe it does the same thing.
- zaphar 1y agoIf you are choosing ocaml they most definitely do not do the same thing for all practical purposes.
- phplovesong 1y agoNo...no you cant.
- yawaramin 1y agoIt's explained in the OP.