2 ms·
Quick question, does design by contract, ie. invariants and so on, warrant calling dependent typing? I'm currently learning OCL, and Haskell next, hence the que
by posterboy 10y ago
Quick question, does design by contract, ie. invariants and so on, warrant calling dependent typing? I'm currently learning OCL, and Haskell next, hence the question.