@dibblego this is not always true, sometimes we also have to encode arbitrary human activity/rules/preferences
All programming is related to mathematics. Denialists weep. Haskell makes the relationship more obvious. There is no stronger relationship.
-
-
-
@etorreborre Show me one such example and I will do cartwheels down the street naked right now. Not joking. - Show replies
New conversation -
-
-
@dibblego Let's put it differently. Mathematics is the universal language of science. If programming wants to be science, math is the way. -
@loverdos Why distort it? - Show replies
New conversation -
-
-
@ovoschehranenie Yes.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@ovoschehranenie Yes. The undeniable relationship is even more obvious. To be clear, convoluted and non-obvious does not imply not there.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego I'm related to my Auntie Maureen but that doesn't make me a Ward Sister.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego All programming is related to binary. Denialists weep. Machine code makes the relationship more obvious. So what?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego prop : Programming = Math; prop = refl; qedThanks. 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.