News for hackers. Stuff that matters.

A comment on Ask HN: Who regrets choosing Elixir?. Parent comment

Re:Ask HN: Who regrets choosing Elixir? by pavel_lishin on Monday May 25, 2020 @05:12PM (#23305041)
> Analogies are a great way to explain things, but not so much a great way to prove things.

What are we proponents of static types being asked to prove?

> But in the vast majority of modern software, it mostly just matters that you catch and fix bugs quickly--whether you catch those bugs at compile time or runtime is usually not as critical.

I would argue that catching bugs at compile time, before you ship them, is vastly preferable to catching them at run time.

[ Parent | on HN ]
Re:Ask HN: Who regrets choosing Elixir? by kerkeslager on Monday May 25, 2020 @11:53PM (#23307257)
> What are we proponents of static types being asked to prove?

Your arguments for why you think static types are better.

> I would argue that catching bugs at compile time, before you ship them, is vastly preferable to catching them at run time.

I would argue that you're only doing the benefit part of a cost-benefit analysis, which isn't very useful.

[ Parent | on HN ]