Top 50 Awesome List

Higher Education

Higher Education

lucasviola/awesome-functional-programming

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

Oct 9th, 2020

What is this about?

Books

  • Learn you a Haskell - Book, but you can read it online for free as well. Very beginner friendly.
  • Feb 7th, 2020

    What is this about?

    Repos

  • Parsing With Haskell Parser Combinatorsstars87 - A step-by-step guide to parsing using Haskell parser combinators.
  • Jul 12th, 2019

    What is this about?

    Repos

  • Bowstars604 - Companion library for Typed Functional Programming in Swift.
  • Jan 2nd, 2018

    What is this about?

    Papers

  • The implementation of Functional Programming Languages - A paper by Simon Peyton Jones
  • Aug 2nd, 2017

    What is this about?

    Platforms

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

    What is this about?

    Repos

  • Functional Programming Jargonstars17.7k - Project for providing a glossary for FP, and make learning FP easier.
  • Jan 20th, 2016

    What is this about?

    Repos

  • Haskell Must Watchstars1.1k - A list of videos, talks and courses on Haskell.
  • Dec 7th, 2015

    What is this about?

    Repos

  • Intro SML - Code, corrections and info on the book: Introduction to Programming using SML
  • Functional Programming In JavaScriptstars302 - List of functional programming resources in JavaScript.
  • Nov 30th, 2015

    What is this about?

    Papers

  • From Higher-Order Logic to Haskell: There and Back Again
  • Translating Haskell to Isabelle
  • What is this about?

    Wikis

  • Haskell/Category Theory - A good overview on Category Theory applied to Haskell from Wikibooks.
  • Haskell Wiki
  • Nov 6th, 2015

    What is this about?

    Papers

  • Why Functional Programming Matters
  • Nov 3rd, 2015

    What is this about?

    People

  • 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#
  • Erik Meijer - Former software architect for Microsoft, Functional Programming researcher, gives lectures on FP, Software Design and Reactive programming.
  • Matthias Felleisen - Author of many books such as How to Design Programs, and The Little Schemer.
  • 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.
  • Simon Peyton Jones - One of the creators of the Haskell Language and the Glasgow Haskell Compiler. Microsoft Researcher.
  • Nov 2nd, 2015

    What is this about?

    Blog posts

  • Personal thoughts on the current functional programming bandwagon
  • What is this about?

    Repos

  • J-Bobstars377 - The proof assistant from the book The Little Prover
  • Oct 30th, 2015

    What is this about?

    Tools

  • Isabelle/HOL - Generic proof assistant based on Higher Order Logic
  • Oct 29th, 2015

    What is this about?

    Repos

  • Functional Javascript Workshopstars2k - A functional Javascript workshop.
  • Idris Koansstars169 - Project for teaching Idris. A General Purpose Functional Programming with Dependent Types
  • What is this about?

    Papers

  • Template Meta-Programming for Haskell - Paper about generating code at compile-time in Haskell
  • Sound and Decidable Type Inference for Functional Dependencies - Another very famous paper on Type Inference by the main creator of Haskell and GHC
  • Tradeoffs between Unique Types and Monads
  • What is this about?

    Discussions (Quora, Stack Overflow, Reddit, etc)

  • Hidden complexities of tail-call/tail-recursion optimization
  • Why dont more programmers use Haskell
  • What is this about?

    Lectures

  • The Algebra of Algebraic Data Types - Very good explanation
  • C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals - Series of Lectures from one of the creators of Haskell
  • Adventure with types in Haskell - Simon Peyton Jones - Lectures about Haskells strong Type System by Simon Peyton Jones.
  • What is this about?

    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.
  • What is this about?

    Books

  • The Little Prover - Talks about
  • What is this about?

    Communities

  • Lambda the Ultimate - Community focused on discussing researches, papers
  • What is this about?

    Videos

  • Dont fear the Monad - Explanation on
  • Last Checked At: 2022-08-15T14:48:39.090Z
    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