Tony Morris

All programming is related to mathematics. Denialists weep. Haskell makes the relationship more obvious. There is no stronger relationship.

@dibblego this is not always true, sometimes we also have to encode arbitrary human activity/rules/preferences

@etorreborre Show me one such example and I will do cartwheels down the street naked right now. Not joking.

@dibblego 10 years ago I had a look at a system for managing radio frequencies attributions. It was hard to find the maths in there

@etorreborre Sure it might be hard -- it's not always obvious. That's the point. It is definitely there though.

@dibblego some of the rules were only there for political reasons. That'd be hard (and unproductive) to model

@etorreborre private thoughts do not eschew the mathematics.

@dibblego probably, but all sorts of constraints force you to accept that as arbitrary if you want to complete your programming *now*