There are really only two types of computations: calculating stuff about an unchanging thing, and calculating a new version of a thing that is changing over time. Recognizing this simplified debate about functional versus imperative programming.
-
-
Then the whole of the functional versus imperative debate is: how simple, efficient, and scalable are their facilities for writing the program logic part of F?
-
Indeed, I think in other words the functional/imperative really is sizeof(F) vs sizeof(T). And that should also show that it's not a dichotomy, but a continuum
End of conversation
New conversation -
-
-
I agree, I'm just saying that the distinction between T0,T1,T2... being the same type (a new version of a thing), and being a different type (computing a thing from a thing), doesn't seem at a glance to be "the" fundamental distinction. Even if in some contexts it can actually be
-
Is it just me or form T0, T1, T2 etc. a Monoid and F is the Endofunctor between?
End of conversation
New conversation -
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.