3 ms·
> I really don't like not knowing what format data is in. Which is orthogonal to what the type is The shape of the data is much simpler to handle in Elixir th
by peoplefromibiza 3y ago
> I really don't like not knowing what format data is in.
Which is orthogonal to what the type is
The shape of the data is much simpler to handle in Elixir than in, to name one, Java.
> a vast number of possible errors caught at compile time
if it's a vast number, usually it's because either:
- you're not familiar with the code base (and you'll make a vast number of other kinds of errors)
- you're making a huge refactory and you're used to rely on a compile-driven workflow, but there are so many alternative ways to handle them
> things go wrong in production
the usual wisdom applies here: static typing does not replace input validation, be it user provided data or function parameters
- solidninja 3y agoStatic typing can replace input validation though - if you make illegal states unrepresentable. That way you bake validation into your types e.g. using refined types: https://blog.rockthejvm.com/refined-types/ https://blog.rockthejvm.com/refined-types/ in Scala