Lambda-MA / estudos_funcionais

Repositório com materiais de estudo sobre programação funcional em geral ou programação funcional em diversas linguagens.

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