AwesomeList

444 awesome lists. 23 categories. 409 curators. I feel lucky.
Computer Science

Functional Programming

👽 A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.

lucasviolalucasviola/awesome-functional-programmingUpdated 448 31 25

Contents

Awesome Functional Programming Awesome

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

Blog posts

Papers

Wikis

  • 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

Books

Communities

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

Videos

Lectures

Platforms

  • [Paqmind.com] – Guides and challenges to learn and improve in programming. All content is CS and FP oriented.

Tools

  • Isabelle/HOL - Generic proof assistant based on Higher Order Logic

Repos

People

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

License

CC0

To the extent possible under law, Lucas Viola has waived all copyright and related or neighboring rights to this work.

Built With LoveBuilt With LoveSearch by