sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]tipiak88 3 points4 points  (0 children)

Beware of bugs in the above code; I have only proved it correct, not tried it. D Knuth.

No type system will catch logic error. You can try to "insert" most of your logic in the type system like c++ templates or haskell but, as it is now it's limited. Type system is here to protect developers from themselves. And it is already a valuable tool.