/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 asthasr.github.io
On Symbolic Logic | data Blog = Blog { me :: Programmer, posts :: [Opinion] }
| | programmingzen.com
Remove Duplicates From List in Elixir | Programming Zen
5.3 parsecs away

Travel
| | Learn how to remove duplicates from a list in Elixir leveraging the Enum module and by writing a recursive function from scratch.
| | mmhaskell.com
Functional Programming vs. Object Oriented Programming - Monday Morning Haskell
5.5 parsecs away

Travel
| | [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.
| | programmingmadecomplicated.wordpress.com
What are types? Part 1 - Programming, Made Complicated
4.7 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...
| | aartaka.me
Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?
10.7 parsecs away

Travel
| Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus.