|
|
|
|
|
|
by troupo
872 days ago
|
|
|
And if your type system is expressive ... you might still need to write tests to make sure that your types are correct and give you back the result you actually want :) I've seen people build type-level DSLs. Sure they encode a lot of logic in types... but are you sure that logic is correct? :) |
|
|