undefined | Better HN

0 pointsgregors4y ago0 comments

I'll politely disagree with you and illustrate the many many many unicorns that were brought into existence under dynamic languages. And places such as Shopify which are after-the-fact adding typing to previously untyped languages.

Every single bug that has ever existed in static languages passed the type-checker. There are benefits in types to be sure but cornering the market on "growing and lasting" is definitely not one of them. If anything I'd say types let you refactor quicker - dynamic languages let you launch faster.

I should also note that I don't mean dependent type languages which I haven't actually shipped anything professionally but I'm extremely curious about.

0 comments

tluyben24y ago

So you launch and the you add (dependent) types. That works and is quite a good way imho: when you start writing you miss a lot of details so you want to freely experiment and when parts get clearer and become stable you can rewrite, reactor, add types and proofs.

j / k navigate · click thread line to collapse

0 pointsgregors4y ago0 comments

I should also note that I don't mean dependent type languages which I haven't actually shipped anything professionally but I'm extremely curious about.

0 comments

tluyben24y ago

j / k navigate · click thread line to collapse