@gcouprie why not types instead?
I use the type system heavily and even found OpenSSL bugs applying stronger types. Math still needs tests though.
-
-
That said, we could model stuff with a stronger model, but I worry about object code bloat. We'll see in the future.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.