News for hackers. Stuff that matters.
Re:Goodbye, Object Oriented Programming (2016) by whitepoplar on Friday April 27, 2018 @05:43PM (#16944625)
Thank you! Do you have any thoughts on Elixir/Erlang/LFE? Elixir is dynamic, but seems to have many of the benefits of a static type system by use of Dialyzer, Erlang's static type analysis tool.
Re:Goodbye, Object Oriented Programming (2016) by pbiggar on Friday April 27, 2018 @06:01PM (#16944805)
I have no experience with Erlang sadly. I did my PhD on static analysis though, and my general opinion is that the difference between a language designed for analysis (eg via a type system), and one that isn't, is night and day.
Re:Goodbye, Object Oriented Programming (2016) by kazinator on Saturday April 28, 2018 @12:17PM (#16948303)
In that respective order, too.

You could have caught that had you assigned night and day different types, instead of having it blow up 19 hours later in the field like this.