A lot of complexity in the tax code comes it using a mishmash of type systems. Why is it hard calculating what someone's income tax is? Well, when you dig into it, income isn't an integer. It's an arbitrary object which can support a stupidly high number of interfaces.
-
-
Aww that’s a shame, I find modelling those sorts of things in a type system to be really valuable, if only for clarity of thought, like a lightweight application of formal verification techniques. Great analogy though!
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.