Awesome Functional Programming
Based on the Awesome project
What is this about?
On the last decade, functional programming has gained a new found power due to its
declarative characteristics which, some would say, are very effective for parallel computing
and for the whole usage of Moores Law.
This repo gathers some material on Functional Programming such as blog posts, papers, videos,
tools, etc. and also aims to clarify some of the theoretical subjects behind it.
Want to contribute? Please refer to this first.
Table of Contents
- nLab - A wiki-lab with articles, discussion and tools from the point of view of category theory, which is the main math behind FP.
- Haskell/Category Theory - A good overview on Category Theory applied to Haskell from Wikibooks.
- Haskell Wiki
- Lambda the Ultimate - Community focused on discussing researches, papers
and hot topic on academia. Very high tech discussion level.
- FP Complete - Community focused on helping companies and students on learning and implementing Functional Programming in Haskell. Hosters of one of the most famous Haskell learning centers: School of Haskell
- Haskellers - The meeting point for Haskell Programmers
- ElixirLangMoscow - Russian Elixir community
Discussions (Quora, Stack Overflow, Reddit, etc)
- [Paqmind.com] – Guides and challenges to learn and improve in programming. All content is CS and FP oriented.
- Isabelle/HOL - Generic proof assistant based on Higher Order Logic
- Simon Peyton Jones - One of the creators of the Haskell Language and the Glasgow Haskell Compiler. Microsoft Researcher.
- Philip Wadler - Professor of Theoretical Computer Science at the University of Edinburgh, author of the famous paper Propositions as Types. One of the main people behind Java Generics Types.
- Matthias Felleisen - Author of many books such as How to Design Programs, and The Little Schemer.
- Erik Meijer - Former software architect for Microsoft, Functional Programming researcher, gives lectures on FP, Software Design and Reactive programming.
- Brian Beckman - Former Microsoft Researcher, actual Software Engineer at Amazon. Contributed to implementing FP features to inumerous Microsoft technologies such as C#, LINQ and F#
To the extent possible under law, Lucas Viola has waived all copyright and related or neighboring rights to this work.