Skip to content

Resources & Reading List

This is a non-exhaustive list of resources to further explore the intersection of philosophy and code. It's updated whenever possible.

Philosophy Of Mathematics

  1. Philosophy of Mathematics - SEP
  2. Introduction to Mathematical Philosophy - Bertrand Russell

Philosophy Of Computer Science

  1. Philosophy of Computer Science - SEP
  2. The Blackwell Guide to the Philosophy of Computing and Information - Edited by Luciano Floridi
  3. Gödel's Incompleteness Theorems - SEP

Functional Programming

  1. What Is Functional Programming and Why Use It?
  2. Functional Programming Paradigm
  3. Why Functional Programming Matters ? - John Hughes, University Of Glasgow
  4. Why Isn't Functional Programming the Norm? – Richard Feldman
  5. Functional Programming in 40 Minutes • Russ Olsen • GOTO 2018
  6. Functional Programming & Haskell - Computerphile
  7. Elixir in 100 Seconds
  8. Learning Functional Programming with JavaScript - Anjana Vakil - JSUnconf
  9. Haskell in 100 Seconds
  10. Haskell for Imperative Programmers
  11. A Gentle Introduction To Haskell - About Monads
  12. What is a Monad? - Computerphile

Lambda Calculus

  1. Lambda Calculus - Computerphile
  2. Church Encodings
  3. Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
  4. A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II

People

  1. Alonzo Church
  2. Giuseppe Peano