Can programming be liberated from the von Neumann style?
The goal of this guild members is to learn the fp paradigm and not a speciffic programming language. Members of this guild will use the principles of fp paradigm in various programming languages like:
- Haskell
- Lisp
- F#
- C#
- Scala
- Clojure
- JavaScript
- Elm
- Go
- Rust
Because we all need a common language to communicate and share ideas we will learn and embrace the following languages:
- Lambda Calculus
- Haskell
- Category Theory
During our meetings and presentations we will try to connect our ideas with implementations (where possible) with other programming languages.
Chapter1. InceptionChapter2. The foundationChapter3. Haskell's Type SystemChapter4. IO in HaskellChapter5. Functors Applicatives & MonadsChapter6. Computational effectsChapter7. FSharp microservicesChapter8. JavaScript libraries
- David Hilbert
- Entscheidungsproblem
- Kurt Gödel
- Gödel's incompleteness theorems
- Gödel's General recursive function
- Alonzo Church
- Lambda calculus
- Alan Turing
- The Turing Machine
- Church–Turing thesis
- Lambda calculus
- Fixed-point combinators in JavaScript: Memoizing recursive functions
- SKI combinator calculus
- The Rise and Fall and Rise of Functional Programming
- THINGS I WISH SOMEONE HAD EXPLAINED ABOUT FUNCTIONAL PROGRAMMING
- Applicative vs Normal evaluation form
- Normal, Applicative and Lazy Evaluation
- Bartosz Milewski - Category Theory 5.2: Algebraic Data Types
- Bartosz Milewski - Simple Algebraic Data Types
- Monads and Effects by Bartosz Milewski
- Eugenio Moggi, Notions of Computation and Monads. This is a hard core research paper that started the whole monad movement in functional languages.
- "Propositions as Types" by Philip Wadler
- Why Functional Programming Matters by John Hughes at Functional Conf 2016
- Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
- Lambda World 2019 - A Series of Unfortunate Effects - Robert M. Avram
- Lambda World 2019 - A categorical view of computational effects - Emily Riehl
- "Everything Old is New Again: Quoted Domain Specific Languages" by Philip Wadler
- Hitler reacts to Functional Programming
- Christopher Allen, Julie Moronuki - Haskell programming from first principles - 2016
- Get Programming with Haskell by Will Kurt
- Learn You a Haskell for Great Good!
- Real World Haskell by Bryan O'Sullivan, Don Stewart, and John Goerzen
- Vasile Cuzmin - Getting started with Haskell
- Lexi Lambda - An opinionated guide to Haskell in 2018
- Stack vs. Platform vs. Cabal
- Haskell vs. Ada vs. C++ vs. Awk vs. ...An Experiment in Software Prototyping Productivity
- The Haskell Tool Stack
- The Haskell Cabal
- Haskell Platform
- Hoogle - Haskell search engine; you can search a function by its type/definition. Just fill the definition in the search box!
- haskell repl