Found 2 bookmarks
Newest
Programming is Mathematics
Programming is Mathematics
This is why I respect the Functional Programming movement: they get it. Functional Programmers understand that (at a minimum) 50 years of research and refinement is a pretty good thing to stake your data types on. ​ Stick to actual mathematics. You'll have to learn it eventually, you may as well not cloud your own thinking in the process. ​ Mathematics is the simplest and most precise language mankind has ever invented, and you should be able to speak it.
·λπω.com·
Programming is Mathematics
zurry and unzurry
zurry and unzurry
When working with a monad, you work in its Kleisli category which is another example of a CCC. The above discussion relating function evaluation to function composition, would then relate Kleisli evaluation (=) to Kleisli composition (=). Woah, is `bind` just monadic function evaluation?
·tangledw3b.wordpress.com·
zurry and unzurry