3 ms·
There is also Erlang and Elixir which while functional aren't typed. There are some static analysis tools though.
by LeonidasXIV 9y ago
There is also Erlang and Elixir which while functional aren't typed. There are some static analysis tools though.
- nickjj 9y agoI'm just getting into Elixir now but even without it being statically typed, it does catch a ton of errors and present warnings at compile time. It's remarkably useful so far. I feel like I have an extra level of protection compared to Ruby or Python.
- MaxBarraclough 9y agoErlang is dynamically typed. It's certainly not untyped - it's assembly and Forth that are untyped.
- seanmcdirmid 9y agoDynamic typing (like static typing) is a spectrum, actually. You can flag method missing errors at a minimum, but in a nominally dynamically typed system, you could flag class mismatches before you ever got to a dispatch error.
- MaxBarraclough 9y agoSure, I didn't say it wasn't. My point was that 'untyped' should not be conflated with 'dynamically typed'. They're worlds apart.