Explore >> Select a destination

You are here

 henko.net
Functional foundations ?? ยท Henrik Jernevad
| | mmhaskell.com
Functional Programming vs. Object Oriented Programming - Monday Morning Haskell
1.9 parsecs away

Travel
| |
| | degoes.net
A Glossary of Functional Programming - John A De Goes
0.8 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | noelwelsh.com
Noel Welsh: What Functional Programming Is, What it Isn't, and Why it Matters
1.4 parsecs away

Travel
| |
| | programmingmadecomplicated.wordpress.com
What are types? Part 1 - Programming, Made Complicated
37.4 parsecs away

Travel
| There are these things that, depending on your definition, many or all programming languages use: 'types'. There's also a rich mathematical study of types in Type Theory which, along with related disciplines, has many connections to logic and proof. Why? Often, they take the form of explicit 'annotations' to program artefacts, big and small. For...