3 ms·
OCaml had this figured out many years ago. Elixir/Erlang's dynamism can be particularly good compared to other dynamic languages if you lean into it properly.
by sodapopcan 3y ago
OCaml had this figured out many years ago. Elixir/Erlang's dynamism can be particularly good compared to other dynamic languages if you lean into it properly. But yes, the world is loving static typing right now, and I'm actually a bit excited myself with their ideas for Elixir's type system.
- pxeger1 3y agoWhat exactly do you mean that OCaml has figured out?
- sodapopcan 3y agoIt's a statically typed language that doesn't require explicit type declarations (in most cases, at least).
- sodapopcan 3y agoEr, to clarify, I mean it has very strong type inference. If you're making a record or complex type then yes, you still need to define the type, so maybe that is what OP was actually talking about?