Who would have thought that the programming languages of the 21st century will be built upon foundations of logic theory from the 19th and 20th?
Related
Everything Your Professor Failed to Tell You About Functional Programming
linuxjournal.com · · Page
when we embrace the math, sometimes the loss in flexibility is more than compensated for by the increase in…
Refactoring Ruby with Monads
codon.com · · Page
When I say "Monads aren't difficult, and you are smart enough to understand them," I'm now going to link to
CS240h: Functional Systems in Haskell
scs.stanford.edu · · Page
CS240h: Functional Systems in Haskell #haskell #systems #programming #functional
Certified Programming with Dependent Types
adam.chlipala.net · · Page
Certified Programming with Dependent Types latest update September 26, 2013
Python vs Haskell : An unsatisfying exercise in comparative code linguistics
sandersn.com · · Page
ongoing · Concur.next — The Laundry List
tbray.org · · Page