3 ms·

I am not claiming static typing is free. But it is also untrue that you have to "add declarations and type casts". With type inference, you don't actually hav

by Peaker 14y ago

I am not claiming static typing is free. But it is also untrue that you have to "add declarations and type casts". With type inference, you don't actually have to.

Goladus 14y ago
But you have to use a language with type inference. That's still a cost. Maybe not a big one, but that was my point (and I'm definitely nitpicking a bit, I realize that.)
- dllthomas 14y ago
  A constraint is only possibly a cost - if it forces behavior you wouldn't have chosen otherwise.
  - Goladus 14y ago
    True, but free usually means freedom from both cost and restraint, so the point doesn't change much. I should have said "constraint" rather than "cost". Though the original commenter did follow-up, clarifying that the common interpretation of "free" doesn't closely match the point he'd intended to make
    - dllthomas 14y ago
      Fair.