Estudos Funcionais

Repositório com materiais de estudo sobre programação funcional em diversas linguagens ou a parte mais teórica da programação funcional.

• Linguagens específicas
  • Coq
  • Elm
  • Erlang
  • Haskell
  • Idris
  • C++
  • Javascript
  • PHP
  • Python
  • Scala
  • Ocaml
  • Purescript
  • Racket
  • Clojure
  • Elixir
• Teoria
  • Cálculo Lambda
  • Teoria dos Tipos
  • Teoria das Categorias
• Outras coleções
  • coleção extensa sobre programação funcional

---

Linguagens específicas

Coq

• Videos

  • PT-BR

  • ENG

    • Gabriel Claramunt - Introduction to Coq - Part 1 of 2 - λC 2017
    • Gabriel Claramunt - Introduction to Coq - Part 2 of 2 - λC 2017

• Livros

  • PT-BR
  • ENG
    • Software Foundations - Logical Foundations

Elm

• Videos
  • PT-BR
  • ENG
    • Murphy Randle - Jump starting Your Elm Skills - Part 1 of 2 - λC 2017
    • Murphy Randle - Jump starting Your Elm Skills - Part 2 of 2 - λC 2017

Erlang

• Videos
  • PT-BR
  • ENG
    • LambdaConf 2015 - Introduction to Erlang Steven Proctor
• Livros
  • ENG
    • Learn You Some Erlang for great good!

Haskell

• Cursos

  • ENG
    • Introduction to Functional Programming
    • Functional Programming in Haskell
    • Computational Formal Semantics with Haskell )

• Videos\Palestras

  • PT-BR
    • Programação Funcional com Haskell
    • Marcelo Camargo - Monâdas, monoides e functores
  • ENG
    • What I Wish I Knew When Learning Haskell 2.3 ( Stephen Diehl )
    • Fun never stops. Introduction to Haskell Programming language by Paul Szulc
    • Aachen - Functional Programming with Haskell
    • Bartosz Milewski - Parallel and Concurrent Haskell

• Livros

  • PT-BR
    • Aprender Haskell será um grande bem para você!
  • ENG
    • Real World Haskell
    • Learn You a Haskell For Greater Good!
    • Learn Haskell Fast and Hard
    • CIS 194: Introduction to Haskell (2016)

Idris

• Videos
  • PT-BR
  • ENG
    • Brian McKenna - Write Some Idris

C++

• Videos

  • PT-BR
  • ENG
    • Practical Functional Programming in C++

• Livros

  • PT-BR
  • ENG

• Artigos

  • PT-BR
  • ENG
    • Functional programming in C++

Javascript

• Videos

  • PT-BR
  • ENG
    • Anjana Vakil: Learning Functional Programming with JavaScript

• Livros

  • ENG
    • Professor Frisby's mostly adequate guide to FP (in javascript)

PHP

• Videos

  • PT-BR
    • Programação Funcional em PHP
  • ENG

• Livros

  • PT-BR
  • ENG

• Artigos

  • PT-BR
    • Functional Programming in PHP
  • ENG
    • Programação Funcional em PHP

Python

• Artigos (helpers)

  • PT-BR
    • map(), reduce(), filter() e lambda
  • ENG

• Videos

  • PT-BR
  • ENG
    • Daniel Kirsch - Functional Programming in Python
    • Calen Pennington Immutable Programming Writing Functional Python
    • Reuben Cummings - A Functional Programming Approach to Data Processing in Python - 1 of 2 - λC 2017
    • Reuben Cummings - A Functional Programming Approach to Data Processing in Python - 2 of 2 - λC 2017

Scala

• Scala tutorial
• Tutorial Cat
• http://joelabrahamsson.com/programming/scala/
• https://docs.scala-lang.org/getting-started-sbt-track/getting-started-with-scala-and-sbt-on-the-command-line.html
• http://scalatutorials.com/tour/interactive_tour_of_scala_operators_are_methods.html
• https://www.youtube.com/watch?v=DxrLPZD1Hxw&feature=youtu.be

Ocaml

• Livros
  • Real World Ocaml

PureScript

• http://try.purescript.org/?backend=behaviors&session=80b26002-69d8-27ea-ac9a-3d4f965d06b5

Racket

-How to Design Programs, Second Edition

Clojure

• https://github.com/yieldbot/flambo
• http://practicalli.github.io/clojure/
• https://learnxinyminutes.com/docs/pt-br/clojure-pt/
• https://www.youtube.com/watch?v=ciGyHkDuPAE&feature=youtu.be
• https://programming-pages.com/2012/01/16/recursion-in-clojure/
• http://www.onyxplatform.org/learn/

Elixir

• Livros

  • Programming Elixir 1.3
  • Elixir in Action
  • Introducing Elixir
  • The Little Elixir and OTP Guidebook
  • Elixir Cookbook

• Comunidades

  • Elixir Forum
  • Elixir in Slack

• Cursos

  • Elixir School.

• Sites

  • Site da linguagem
  • Forum
  • Github

Teoria

Fundamentação

• How functional programming mattered
• Advanced Functional Programming
• Matemática Fundacional para Computação
• The Carnap Book

Cálculo Lambda

• Videos
  • PT-BR
  • ENG
    • Adam McCullough - Greek Classics: Lambda Calculus For Beginners - λC 2017

Data Strucutres

• RRB-Trees: Efficient Immutable Vectors

• Livros

Teoria das Categorias

• Texto

  • Functors, Applicatives, And Monads In Pictures
  • Category Theory for Programmers

• Videos

  • PT-BR
  • ENG
    • Bartosz Milewski - Category Theory I
    • Bartosz Milewski - Category Theory II
    • A Pragmatic Introduction to Category Theory—Daniela Sfregola

Teoria dos Tipos

• The algebra (and calculus!) of algebraic data types