/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

 existentialtype.wordpress.com
Dynamic Languages are Static Languages | Existential Type
| | loup-vaillant.fr
What is good code? (part 2)
2.6 parsecs away

Travel
| | Good code is cheap code that meets our needs. Here I try to evaluate various mechanisms in this light.
| | gavinhoward.com
Designing a Type System | Gavin D. Howard
1.5 parsecs away

Travel
| | There are 8 questions that must be answered to design a good type system. In this post, I attempt to do just that.
| | danluu.com
Literature review on the benefits of static types
2.1 parsecs away

Travel
| |
| | mmhaskell.com
Functional Programming vs. Object Oriented Programming - Monday Morning Haskell
22.4 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.