|
|
|
|
|
|
by tancop
30 days ago
|
|
|
> I assume Racket contracts can handle your concern about relating functions and types contracts are not real types enforced by the compiler/runtime. that means you need to keep them in sync manually and you dont get performance benefits from typed vm instructions. you also lose a big safety net that makes sure you always call a function that can handle the values you pass in. the whole industry has been moving towards ml style strong types for the last 10 years and its for a good reason |
|
|