[achikin]

I ask myself is the type system that great if you need to write times more LOC just for the sake of it? More lines lead to more bugs exponentially.

As for the spec - the benefit of it is that you are not forced to add it everywhere. You can cover crucial points of program only and leave the rest uncluttered.

[goodoldneon]

It’s extremely reductive to say “more lines = more bugs”. Are Perl one-liners the most bug-free way to write software?

Types drastically reduce bugs.