Y
Hacker News
new
|
ask
|
show
|
jobs
by
Vinnl
1336 days ago
You ensure contract correctness by encoding it in the types. However, while developing, you might still be figuring out the contract.