Skip to content

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

Notifications You must be signed in to change notification settings

hsavit1/awesome-functional-programming

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

55 Commits
 
 
 
 

Repository files navigation

Awesome Functional Programming Awesome

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.

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

Discussions (Quora, Stack Overflow, Reddit, etc)

Videos

Lectures

Tools

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

Repos

  • Idris Koans - Project for teaching Idris. A General Purpose Functional Programming with Dependent Types
  • Functional Javascript Workshop - A functional Javascript workshop.
  • J-Bob - The proof assistant from the book The Little Prover
  • Haskell Must Watch - A list of videos, talks and courses on Haskell.
  • Intro SML - Code, corrections and info on the book: Introduction to Programming using SML

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.

Based on the Awesome project

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published