undefined | Better HN

0 pointsLeonidasXIV8y ago0 comments

There is also Erlang and Elixir which while functional aren't typed. There are some static analysis tools though.

0 comments

4 comments · 2 top-level

Erlang is dynamically typed. It's certainly not untyped - it's assembly and Forth that are untyped.

Dynamic 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.

MaxBarraclough8y ago

Sure, I didn't say it wasn't.

My point was that 'untyped' should not be conflated with 'dynamically typed'. They're worlds apart.

nickjj8y ago

I'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.

j / k navigate · click thread line to collapse