3 ms·
Not really sure that a type system is going to guarantee that your program generates the correct result for every possible input.
by rerdavies 8mo ago
Not really sure that a type system is going to guarantee that your program generates the correct result for every possible input.