News for hackers. Stuff that matters.
Re:The Python Paradox Is Now the Scala Paradox (2009) by sotojuan on Saturday September 17, 2016 @01:13PM (#12521346)
For what it's worth:

http://erlang.org/doc/apps/dialyzer/dialyzer_chapter.html

http://elixir-lang.org/getting-started/typespecs-and-behavio...

Not the same as TypeScript or Haskell, but may help.

Note that Erlang/Elixir programmers don't care about most runtime errors as we use Supervisors to restart processes that may crash because of them.

Re:The Python Paradox Is Now the Scala Paradox (2009) by acjohnson55 on Monday September 19, 2016 @09:27AM (#12531235)
> Note that Erlang/Elixir programmers don't care about most runtime errors as we use Supervisors to restart processes that may crash because of them.

That doesn't give me a whole lot of comfort. A program that handles crashes gracefully doesn't fix its own mistake. Supervision is great, but it's even better to not have the crash in the first place.