3 ms·
I agree, but it is an extra level above c. Same with using a more advanced type system, more easily encoding problem constraints in that type system.
by foxes 5y ago
I agree, but it is an extra level above c. Same with using a more advanced type system, more easily encoding problem constraints in that type system.