Top 50 Awesome List

lucasviola/awesome-functional-programming

Computer Science  2 years ago  809
👽 A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.
View byDAY/WEEK/README
View on Github

Awesome Functional Programming Awesome

Based on the Awesomestars220.2k 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

Despite the name, this post actually clarifies some baisc concepts on Functional Programming, explains some of the History of FP and the implementation of FPs features on imperative languages and talks about all the fuss on declarative programming and why it has become so popular in the last few years.

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

a theorem prover called JBob for writing proofs in LISP.

Communities

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

one of the most obscure topics of Functional Programming by Microsoft researcher Brian Beckman.

just too humble about his creation.

Lectures

on the relationship between math and Algebraic Data Types, which is the Type System of some very common FP Languages such as Haskell and ML.

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.

ON THIS PAGE

  1. Awesome Functional Programming Awesome
  2. What is this about?
  3. Table of Contents
  4. Blog posts
  5. Papers
  6. Wikis
  7. Books
  8. Communities
  9. Discussions (Quora, Stack Overflow, Reddit, etc)
  10. Videos
  11. Lectures
  12. Platforms
  13. Tools
  14. Repos
  15. People
  16. License
Last Checked At: 2022-09-21T14:03:43.554Z
Previous
ossu/computer-science
Next
dspinellis/awesome-msr

About

Track your favorite github awesome repo, not just star it. trackawesomelist.com provides website, newsletter, RSS for tracking the popular awesome list by daily and weekly.
Contact us: [email protected]
Track Awesome List - Track your favorite Github awesome repos, not just star them | Product Hunt

Subscribe

Subscribe to our weekly newsletter to receive the awesome updates! We never send spam and you can unsubscribe instantly with one click. Here's past issues.

Links

Follow us on TwitterSubscribe us on TelegramSubmit awesome list repoNewsletterDonateSitemap