λ Tony's blog λ
The weblog of Tony Morris

feed for Parametricity Parametricity

Tags

Applicative (2), Apply (1), Bayes' Theorem (1), Bind (1), C# (1), Code Comprehension (1), Comonad (1), Conondale (1), DNS (1), Fibonacci (1), Function (1), Functional Programming (1), Functor (2), General (11), Haskell (6), Health (10), Husqvarna (1), Identifiers (1), Imbil (1), Internet Filter (1), Java (1), KTM (4), Law (7), Mapping (4), Memoisation (1), Monad (3), Motorcycle (8), Mubbip woo (1), Parametricity (1), Philosophy (24), Programming (171), Project Euler (2), Ride Report (4), Road Rules (1), Scala (9), Sport (3), State (1), Supermoto (1), Teaching (1), Theorems for Free (1), Transformers (1), Yowie (1), foldLeft (1), foldRight (1), foldl (1), foldr (1), list (1)