Explore >> Select a destination
|
You are here 
|
asthasr.github.io | ||
| | | | |
mmhaskell.com
|
|
| | | | | [AI summary] This article compares Functional Programming and Object Oriented Programming paradigms, discussing their key differences, strengths, weaknesses, and how Haskell fits into the functional paradigm. | |
| | | | |
programmingzen.com
|
|
| | | | | Learn how to remove duplicates from a list in Elixir leveraging the Enum module and by writing a recursive function from scratch. | |
| | | | |
programmingmadecomplicated.wordpress.com
|
|
| | | | | 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... | |
| | | | |
www.parsonsmatt.org
|
|
| | | I think that the Curry Howard correspondence is one of the coolest things ever.Philip Wadler's "Propositions as Types" paper sends chills down my spine.Getti... | ||
