My point was about the need to rely on external libraries. I'm not a fan of that approach. I don't care for it in Rust or JavaScript, and I get a similar vibe from Gleam.
I’d prefer a GC language with exhaustive matching on discriminated union types. Maybe “go + typescript type system + higher kinded types”. Swift is in the ballpark and would be a lot more appealing with the go tooling.
Ocaml? It garbage collected, primarily functional but with options for an imperative style when necessary. Of course its std isn't very good. I think Jane Street has done a lot improve things, but the whole ecosystem is still kind of a mess.
I just can’t with the OCaml header files. Like what the hell all the types are inferred but you’re gonna make me write a header file for each module???
Yes, thank you for pointing that out...
My point was about the need to rely on external libraries. I'm not a fan of that approach. I don't care for it in Rust or JavaScript, and I get a similar vibe from Gleam.
Agree. My dream:
Go stdlib and tooling
+
A good programming language
Odin?
Not the GP but while Odin has a syntax similar to Go, it has manual memory management instead of a GC, that's a pretty big difference.
Obviously, but it's an extremely well design language with a batteries included approach to the standard library.
I’d prefer a GC language with exhaustive matching on discriminated union types. Maybe “go + typescript type system + higher kinded types”. Swift is in the ballpark and would be a lot more appealing with the go tooling.
But fill in the blank with your preference :)
Ocaml? It garbage collected, primarily functional but with options for an imperative style when necessary. Of course its std isn't very good. I think Jane Street has done a lot improve things, but the whole ecosystem is still kind of a mess.
I just can’t with the OCaml header files. Like what the hell all the types are inferred but you’re gonna make me write a header file for each module???