README.md

functional-guy

Functional Programming Guild for Great Good!

Can programming be liberated from the von Neumann style?

General

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.

Chapters

• Chapter1. Inception
• Chapter2. The foundation
• Chapter3. Haskell's Type System
• Chapter4. IO in Haskell
• Chapter5. Functors Applicatives & Monads
• Chapter6. Computational effects
• Chapter7. FSharp microservices
• Chapter8. JavaScript libraries

Computability theory

• 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 Calcullus

• Lambda calculus
• Fixed-point combinators in JavaScript: Memoizing recursive functions
• SKI combinator calculus

FP articles

• 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.

FP Video

• "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

Haskell books

• 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

Haskell articles

• 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

Haskell tools

• 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

Functional JavaScript

• Professor frisby's mostly adequate guide
• Fantasy Land
• Fantas, Eel, and Specification
• Eric Elliott - Composing Software: The Book
• James Sinclair Blog

F#

• Ploeh - the IO container
• Writing custom F# LINQ query builder

Other

• Structure and interpretation of computer programs MIT
• Implementing GADT's in OOP