3 ms·
Every time you write a refinement on a type, you're actually writing a contract. You can gracefully move between types and contracts this way, and also between
by skrishnamurthi 13y ago
Every time you write a refinement on a type, you're actually writing a contract. You can gracefully move between types and contracts this way, and also between thinking of them as checked assertions vs tested ones. The goal is to make this migration more and more seamless.
- pjmlp 13y agoYes, I although I have used a multitude of dynamic languages on my career I tend to lean on the static type languages with type inference side.