Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.
Awesome Lists | Featured Topics | Projects
https://github.com/lambda-study-group/awesome-functional-studies

A curated list of functional programming resources to study the fp paradigm
https://github.com/lambda-study-group/awesome-functional-studies
List: awesome-functional-studies
hacktoberfest lambda-calculus programming-languages
Last synced: 5 days ago
JSON representation
A curated list of functional programming resources to study the fp paradigm
Host: GitHub
URL: https://github.com/lambda-study-group/awesome-functional-studies
Owner: lambda-study-group
Created: 2017-11-08T03:25:35.000Z (almost 7 years ago)
Default Branch: master
Last Pushed: 2022-06-24T03:22:55.000Z (over 2 years ago)
Last Synced: 2024-05-21T17:06:06.687Z (6 months ago)
Topics: hacktoberfest, lambda-calculus, programming-languages
Homepage:
Size: 94.7 KB
Stars: 174
Watchers: 13
Forks: 15
Open Issues: 0
Metadata Files:
- Readme: README.md
- Contributing: contributing.md
Awesome Lists containing this project

ultimate-awesome - awesome-functional-studies - A curated list of functional programming resources to study the fp paradigm. (Other Lists / PowerShell Lists)
README

        

# Awesome Funcional Programming Studies

Estudos de programação funcional maneiros.

[Contributing.md](/contributing.md)

## Summary

- [Functional Paradigm](#paradigm)

- [Lambda Calculus - Combinators](#lambda-calculus-combinators)

- [Theory](#theory)

- [Javascript](#javascript)

- [Haskell](#haskell)

- [Scala](#scala)

- [SML](#sml)

- [OCaml](#ocaml)

- [Elixir](#elixir)

- [Ruby](#ruby)

- [Elm](#elm)

- [Scheme](#scheme)

- [Common Lisp](#common-lisp)

- [Clojure](#clojure)

- [Idris](#idris)

- [ReasonML](#reasonml)

## Paradigm

- [Functional programming study plan](https://ericdouglas.github.io/2016/12/04/functional-programming-study-plan/)

- [awesome functional programming](https://github.com/xgrommx/awesome-functional-programming)

- [functional-programming-javascript](https://github.com/busypeoples/functional-programming-javascript)

- [Hidden complexities of tail-call/tail-recursion optimization](http://lambda-the-ultimate.org/classic/message1532.html#1533)

- [Erik Meijer: Functional Programming](https://www.youtube.com/watch?v=z0N1aZ6SnBk)

- [Philip Wadler and Erik Meijer: On Programming Language Theory and Practice](https://youtu.be/9SBR_SnrEiI)

- [How to Design Programs](http://www.htdp.org/)

- [Introduction to Functional Programming (Prentice Hall International Series in Computing Science) ](https://www.amazon.com/Introduction-Functional-Programming-International-Computing/dp/0134841891)

- [A Proof Assistant for Higher-Order Logic](http://isabelle.in.tum.de/doc/tutorial.pdf)

- [The Implementation of Functional Programming Languages](https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fslpj-book-1987%2Fstart.htm)

- [C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals](https://www.youtube.com/playlist?list=PLTA0Ta9Qyspa5Nayx0VCHj5AHQJqp1clD)

#### Courses

- [Programming Languages](https://pt.coursera.org/learn/programming-languages) *****

    - Curso em SML, Ruby e Scheme com uma abordagem a programação funcional muito interessante.

- [fp-course](https://github.com/data61/fp-course)

- [SICP](https://mitpress.mit.edu/sites/default/files/6515.pdf)

    - Livro com teoria e exercicios em Scheme que era usado para ensinar introdução a computação do MIT.

- [MIT 6.001 Structure and Interpretation, 1986](https://www.youtube.com/playlist?list=PLE18841CABEA24090)

    - Playlist com as aulas da matéria Introdução à Computação, do MIT, baseada no SICP.

- [How to Code - Simple Data](https://www.edx.org/course/how-to-code-simple-data) *****

    - Curso em Inglês baseado no livro How to Design Programs citado na seção "Paradigm"

- [How to Code - Complex Data](https://www.edx.org/course/how-to-code-complex-data)

    - Continuação do curso acima.

#### Papers

- [Why Functional Programming Matters](https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf)

- [Functional Programming should be your #1 priority for 2015](https://medium.com/@jugoncalves/functional-programming-should-be-your-1-priority-for-2015-47dd4641d6b9)

#### Books

- [Programação Funcional Para Desenvolvedores Java](https://www.amazon.com.br/Programa%C3%A7%C3%A3o-Funcional-Para-Desenvolvedores-Java/dp/857522316X)

    - Ótimo livro pra quem tá acostumado com POO e quer começar a entender o paradigma funcional. Não precisa saber Java.

- [Purely Functional Data Structures](https://www.cs.cmu.edu/~rwh/theses/okasaki.pdf)

- [Algoritmos Funcionais](https://altabooks.com.br/produto/algoritmos-funcionais/) *****

    - Ótimo livro pra quem está querendo ver lógica de programação funcional, utilizando Haskell e Hope. Não precisa saber essas linguagens.

#### Videos

- [Coding Tech - Functional Programming](https://www.youtube.com/playlist?list=PLFjq8z-aGyQ4gTpuAhnPEQBOz7Xz7wn_m)

    - Playlist com diferentes vídeos sobre programação funcional, incluindo Type Systems, Reactive Programming, Introduções com JS, etc

## Lambda Calculus-Combinators

- [A Taste of the λ Calculus](http://www.flyingmachinestudios.com/programming/a-taste-of-the-lambda-calculus/)

- [A Graphical Notation for the Lambda Calculus with Animated Reduction](http://dkeenan.com/Lambda/)

- [Combinator Birds](http://www.angelfire.com/tx4/cus/combinator/birds.html)

    - Summary of all combinators named by the book

- [The SKI Combinator Calculus - a universal formal system](http://people.cs.uchicago.edu/~odonnell/Teacher/Lectures/Formal_Organization_of_Knowledge/Examples/combinator_calculus/)

- [BCKW Combinators (Wikipedia)](https://en.wikipedia.org/wiki/B,_C,_K,_W_system)

- [Ski Combinators (Wikipedia)](https://en.wikipedia.org/wiki/SKI_combinator_calculus)

- [Mockingbirds and Simple Recursive Combinators in Ruby](https://github.com/raganwald-deprecated/homoiconic/blob/master/2011/11/mockingbirds.md)

#### Talks

- [Programming With Nothing](http://rubymanor.org/3/videos/programming_with_nothing/)

#### Books

- [Lambda-Calculus and Combinators: An Introduction](https://www.amazon.com/Lambda-Calculus-Combinators-Introduction-Roger-Hindley/dp/0521898854)

- [To Mock a Mocking Bird](https://www.amazon.com/Mock-Mockingbird-Other-Logic-Puzzles/dp/0192801422)

- [To Mock a Mockingbird and Other Logic Puzzles](https://www.amazon.com/exec/obidos/tg/detail/-/0394534913/104-1615637-3868724)

- [An Introduction to Functional Programming Through Lambda Calculus](https://www.amazon.com.br/gp/product/0486478831/ref=ppx_yo_dt_b_asin_title_o05_s00?ie=UTF8&psc=1)

#### Games

- [AlligatorEggs - Game](http://worrydream.com/AlligatorEggs/)

- [AlligatorEggs Combinator](http://metatoys.org/alligator/)

- [Cube Composer - Game](https://david-peter.de/cube-composer/)

## Theory

#### Livros

- [Category Theory for Programmers by Bartosz Milewski](https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/) *****

    - Livro online da introdução a teoria das cateogorias para programadores do Bartosz Milewski.

- [Type Theory & Functional Programming](https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf)

- [The Algebra of Algebraic Data Types](http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/)

- [Functors, Applicatives, And Monads In Pictures](http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html)

- [Types and Programming Languages](https://www.cis.upenn.edu/~bcpierce/tapl/)

- [Fundamentos da Programação Lógica e Funcional](https://www.amazon.com.br/Fundamentos-Programa%C3%A7%C3%A3o-Funcional-Princ%C3%ADpio-Resolu%C3%A7%C3%A3o/dp/8523011412)

#### Courses

- [Video-series - Category theory for programmers by Bartosz Milewski](https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_) *****

    - Video series das aulas do Bartosz Milewski de teoria das cateorias.

- [Type Theory Foundations](https://www.youtube.com/playlist?list=PLGCr8P_YncjXRzdGq2SjKv5F2J8HUFeqN)

    - Série de vídeos das aulas do Robert Harper (Carnegie Mellon U) sobre type theory.

- [Proof Theory Foundations](https://www.youtube.com/playlist?list=PL_zaeQ6Mf5FAYNk3GsK9tdj_Ce-eIfH_b)

    - Sério de vídeos das aulas do Frank Pfenning (Carnegie Mellon U) sobre proof theory.

#### Videos

- [Don't fear the monad - Brian Beckman](https://www.youtube.com/watch?v=ZhuHCtR3xq8)

- [Brian Beckman: The Zen of Stateless State - The State Monad](https://www.youtube.com/watch?v=XxzzJiXHOJs)

#### Blog posts / Papers

- [Generators, iterators, control and continuations](http://gallium.inria.fr/blog/generators-iterators-control-and-continuations/) :star: :star: :star: :star:

  + Artigo do Gagallium/Inria (em OCaml) sobre estruturas de dados, travessia destas e inversão de controle.

- [Implementing, and Understanding Type Classes](http://www.okmij.org/ftp/Computation/typeclass.html) :star: :star: :star: :star: :star:

  + O artigo explica o mecanismo de type classes de Haskell com paralelos encodings em OCaml

## Javascript

- [A Gentle Introduction to Functional JavaScript](https://github.com/ChetHarrison/A-Gentle-Introduction-to-Functional-JavaScript)

- [Functional programming patterns for the non-mathematician](https://www.youtube.com/watch?v=AvgwKjTPMmM)

- [functional-programming-javascript](https://github.com/busypeoples/functional-programming-javascript)

#### Combinators

- [Common combinators in JavaScript](https://gist.github.com/Avaq/1f0636ec5c8d6aed2e45)

- [Combinators-js](https://github.com/benji6/combinators-js)

- [Fantasy Combinators](https://github.com/fantasyland/fantasy-combinators)

- [Fantasy Birds](https://github.com/fantasyland/fantasy-birds)

#### Libs

- [Fantasy Land](https://github.com/fantasyland/fantasy-land)

- [Crocks](https://github.com/evilsoft/crocks)

- [Union Types](https://github.com/paldepind/union-type)

- [Ramda](ramdajs.com)

- [Church Encoding in JS](https://github.com/benji6/church)

- [Folktale](https://github.com/origamitower/folktale)

#### Talks

- [David Nolen: Immutability: Putting The Dream Machine To Work ](https://www.youtube.com/watch?v=SiFwRtCnxv4)

- [Anjana Vakil: Learning Functional Programming with JavaScript - JSUnconf 2016](https://www.youtube.com/watch?v=e-5obm1G_FY)

- [Anjana Vakil: Immutable data structures for functional JS | JSConf EU 2017](https://www.youtube.com/watch?v=Wo0qiGPSV-s)

- [Pure JavaScript - Christian Johansen](https://vimeo.com/49384334)

- [James Coglan: Practical functional programming: pick two | JSConf EU 2014](https://youtu.be/XcS-LdEBUkE)

#### Blog posts / Papers

- [Functional Programming In JavaScript — With Practical Examples](https://medium.freecodecamp.org/functional-programming-in-js-with-practical-examples-part-1-87c2b0dbc276)

- [Thinking in Ramda Series](http://randycoulman.com/blog/2016/07/19/thinking-in-ramda-wrap-up/)

- [Erick Elliot - Composing Software Series](https://medium.com/javascript-scene/composing-software-an-introduction-27b72500d6ea)

- [An Intro to Functional Programming Concepts in JavaScript](https://medium.com/@collardeau/intro-to-functional-programming-concepts-in-javascript-b0650773139c)

- [Why Curry Helps](https://hughfdjackson.com/javascript/why-curry-helps/)

- [JavaScript and Type Thinking](https://medium.com/@yelouafi/javascript-and-type-thinking-735edddc388d)

- [Lazy, composable, and modular JavaScript](https://codewords.recurse.com/issues/four/lazy-composable-and-modular-javascript)

[Monads in JavaScript](https://curiosity-driven.org/monads-in-javascript)

- [A Monad in Practicality: First-Class Failures](http://robotlolita.me/2013/12/08/a-monad-in-practicality-first-class-failures.html)

- [Master the JavaScript Interview: What is Functional Programming?](https://medium.com/javascript-scene/master-the-javascript-interview-what-is-functional-programming-7f218c68b3a0)

#### Books

- [Mostly adequate guide to FP (in javascript)](https://github.com/MostlyAdequate/mostly-adequate-guide)

- [Functional Light Programming](https://github.com/getify/functional-light-js)

- [Functional Programming Jargon](https://github.com/hemanth/functional-programming-jargon)

- [JavaScript Allongé, the "Six" Edition](https://leanpub.com/javascriptallongesix)

- [Manning Functional Programming in JavaScript](https://www.manning.com/Livros/functional-programming-in-javascript)

- [Functional Javascript O'relly](http://shop.oreilly.com/product/0636920028857.do)

#### Courses

- [fp-begginer - ramda](http://paqmind.com/courses/fp-beginner/)

#### Videos

- [Functional Programming in Javascript - funfunfunction](https://www.youtube.com/playlist?list=PL0zVEGEvSaeEd9hlmCXrk5yUyqUag-n84)

## Haskell

- [Functional Programming in Haskell](https://github.com/caiorss/Functional-Programming/blob/master/haskell/README.org)

- [Category Theory](https://en.wikiLivros.org/wiki/Haskell/Category_theory)

- [Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)](https://youtu.be/6COvD8oynmI?list=RD6COvD8oynmI)

#### Videos

- [A Totally Non-Terrifying, Practical Introduction to Type-Level Programming](https://www.youtube.com/watch?v=6FRJfEhlqyg)

#### Courses

- [School Of Haskell](https://www.schoolofhaskell.com/)

- [Haskell Course - NPTEL](http://nptel.ac.in/courses/106106137/)

- [Haskell Fast Hard](https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/haskell-fast-hard)

- [FUNCTIONAL PROGRAMMING - University of Edinburgh](https://www.inf.ed.ac.uk/teaching/courses/inf1/fp/)

- [Parallel and Concurrent Haskel](https://www.youtube.com/playlist?list=PLbgaMIhjbmEm_51-HWv9BQUXcmHYtl4sw)

- [Haskell for Imperative Programmers](https://www.youtube.com/playlist?list=PLe7Ei6viL6jGp1Rfu0dil1JH1SHk9bgDV)

- [Grupo de Estudos de Haskell (UFABC)](http://pesquisa.ufabc.edu.br/haskell/basico.html)

- [Haskell Course - Glasgow University](https://www.futurelearn.com/courses/functional-programming-haskell)

#### Books

- [Learn You A Haskell For Great Good(Free)](http://learnyouahaskell.com/)

- [Real World Haskell](http://book.realworldhaskell.org/)

- [Write Yourself a Scheme in 48 Hours](https://upload.wikimedia.org/wikipedia/commons/a/aa/Write_Yourself_a_Scheme_in_48_Hours.pdf)

    - An Introduction to Haskell through Example

- [HaskellBook](http://haskellbook.com/)

- [Write you a Haskell](http://dev.stephendiehl.com/fun/)

    - Building a modern functional compiler from first principles.

- [What I Wish I Knew When Learning Haskell](http://dev.stephendiehl.com/hask/)

## Scala

#### Videos

- [Scala Monads: Declutter Your Code With Monadic Design](https://youtu.be/Mw_Jnn_Y5iA)

- [Recursion Schemes Categorically](https://www.youtube.com/watch?v=PlFR6xBGphY)

    - Apresentação da Oli junto com o Bartosz Milewski, no ScalaUA 2020

- [Scaladores](https://www.youtube.com/c/scaladores/videos)

    - Canal no youtube do grupo brasileiro sobre Scala

#### Courses

- [Coursera - Functional Programming Principles in Scala](https://www.coursera.org/learn/progfun1)

    - Serie de cursos do coursera sobre Scala e programação funcional com o criado da linguagem.

- [Scala With Cats](https://www.youtube.com/playlist?list=PLk2QkBPrDTjjf0oeODg-3wj-npZw_nA8P)

    - Introdução à biblioteca Cats

- [Introduction to Programming with Dependent Types](https://stepik.org/course/49181/promo)

    - Curso mais avançado sobre programação com tipos dependentes.

#### Books

- [Functional Programming in Scala](https://www.manning.com/books/functional-programming-in-scala)

- [Scala With Cats](https://underscore.io/books/scala-with-cats/)

#### Comunidade

- [Scaladores](http://scaladores.herokuapp.com/)

## SML

#### Courses

- [The Little MLer](http://www.ccs.neu.edu/home/matthias/BTML/) ****

Aquele curso do cousera

- [Programming Languages](https://pt.coursera.org/learn/programming-languages) *****

    - Curso em SML, Ruby e Scheme com uma abordagem a programação funcional muito interessante.

#### Books

- [Introduction to Programming using SML](http://catalogue.pearsoned.co.uk/educator/product/Introduction-to-Programming-using-SML/9780201398205.page)

## OCaml

- [Telegram group - Reason & OCaml Brasil](https://t.me/reasonmlbrasil)

#### OCaml docs

- [OCaml Tutorials](http://ocaml.org/learn/tutorials/) *****

- [Solution of 99 Problems](http://ocaml.org/learn/tutorials/99problems.html) *****

- [Learn OCaml](http://ocaml.org/learn/) *****

#### Books

- [Real World OCaml](https://v1.realworldocaml.org/v1/en/html/index.html)

- [OCaml for the Skeptical](https://www2.lib.uchicago.edu/keith/ocaml-class/functions.html)

- [Try OCaml](https://try.ocamlpro.com/)

- [Introduction to OCaml](https://blog.baturin.org/introduction-to-ocaml.html)

- [Beginners guide to OCaml beginners guides](http://blog.nullspace.io/beginners-guide-to-ocaml-beginners-guides.html)

- [Ocaml Structure of Ocaml](https://ocaml.org/learn/tutorials/structure_of_ocaml_programs.html)

- [First steps in OCaml](https://caml.inria.fr/pub/docs/u3-ocaml/ocaml-steps.html)

- [Functional Programming by Example - Ocaml](https://gitlab.com/cyberglot/Functional-Programming/tree/master/ocaml)

## Erlang

#### Books

* [Learn you some Erlang for great good!](http://learnyousomeerlang.com/)

* [Erlang in Anger](http://www.erlang-in-anger.com/)

* [The Beam Book](https://happi.github.io/theBeamBook/)

  * The Erlang Runtime System

## Elixir

#### Community

- [ElixirBR telegram](https://t.me/elixirbr)

- [Meetup ELUG](https://www.meetup.com/elug_sp/)

- [Elixir Weekly](https://elixirweekly.net/)

#### Videos

- [Zero to Hero](https://www.youtube.com/playlist?list=PLaY7qWIrmqtFoZLvOvYRZG5hl367UybRp)

- [Elixir: A Mini-Documentary](https://www.youtube.com/watch?v=lxYFOM3UJzo)

#### Talks

- [Phoenix a Web Framework for the New Web - José Valim](https://www.youtube.com/watch?v=bk3icU8iIto)

- [The Elixir of Life - Fabio Akita](https://www.youtube.com/watch?v=8Ng6TfAj7Sk)

#### Cast

- [ElixirCasts](https://elixircasts.io/)

#### Books

- [Elixir In Action](https://www.manning.com/books/elixir-in-action)

- [Erlang in Anger(Free)](http://www.erlang-in-anger.com/)

- [Programming Elixir 1.6](https://pragprog.com/book/elixir16/programming-elixir-1-6)

- [Programming Phoenix](https://pragprog.com/book/phoenix/programming-phoenix)

- [Adopting Elixir](https://pragprog.com/book/tvmelixir/adopting-elixir)

- [Metaprogramming Elixir](https://pragprog.com/book/cmelixir/metaprogramming-elixir)

#### Courses

- [Getting started](https://elixir-lang.org/getting-started/introduction.html)

- [Try Elixir - CodeSchool](https://www.codeschool.com/courses/try-elixir)

- [Elixir School](https://elixirschool.com/)

- [30 Days Of Elixir](https://github.com/seven1m/30-days-of-elixir)

- [Discover Elixir Phoenix](https://www.ludu.co/course/discover-elixir-phoenix/)

- [Elixir FP](https://github.com/kblake/functional-programming)

- [Koans Exercices](http://elixirkoans.io/)

- [Joy Of Elixir](https://joyofelixir.com/toc.html)

- [CheatSheet](https://media.pragprog.com/titles/elixir/ElixirCheat.pdf)

- [Elixir Style Guide](https://github.com/christopheradams/elixir_style_guide)

- [Elixir and Erlang packages and resources](https://elixir.libhunt.com/)

- [Learn x in y](https://learnxinyminutes.com/docs/elixir/)

- [Elixir 4noobs](https://github.com/aleDsz/elixir4noobs)

## Ruby

- [Mockingbirds and Simple Recursive Combinators in Ruby](https://github.com/raganwald-deprecated/homoiconic/blob/master/2011/11/mockingbirds.md)

## Elm

#### Learn By Example

- [Try-elm](http://try-elm/examples)

- [Elm-lang - Examples](http://elm-lang.org/examples)

- [Elm-lang - Time travel Debug](http://debug.elm-lang.org/edit/Mario.elm)

- [Learn You a Elm](http://learnyouanelm.github.io/)

#### Stuff

- [React Elm Components](https://github.com/evancz/react-elm-components)

    - Interop de React com Elm(Colocar componentes ELM no React)

#### Courses

- [Start Building Web Apps using Elmlang today](http://courses.knowthen.com/courses/enrolled/86520)

#### Community

- [Telegram Elm Brasil](https://t.me/elmbrasil)

    - Grupo do tele brasileiro de Elm

- [Elm Lang Slack](https://elmlang.slack.com)

    - Slack de ELM

- [Elm Weekly Newsletter](https://elmweekly.nl)

#### Books

- [Beginning Elm](https://elmprogramming.com)

    - Livro online de Elm explicando diversos conceitos da linguagem com exemplos de código e diagramas

- [Practical Elm](https://korban.net/elm/book/)

    - Livro de Elm do Alex Korban

- [Elm in Action](https://www.manning.com/books/elm-in-action)

    - Livro de Elm do Richard Feldman

## Scheme

- [Functional Programming by Example - Scheme](https://github.com/caiorss/Functional-Programming/blob/master/scheme/README.org)

- [SICP](https://mitpress.mit.edu/sites/default/files/6515.pdf)

    - Livro com teoria e exercicios em Scheme que era usado para ensinar introdução a computação do MIT.

- [SICP Distilled](http://www.sicpdistilled.com/)

## Common Lisp

- [Telegram Group - CommonLispBrasil](https://t.me/commonlispbr)

#### Books

- [Practical Common Lisp](http://www.gigamonkeys.com/book/) *****

- [On Lisp](http://www.paulgraham.com/onlisp.html) *****

- [Lisp In Small Pieces](https://www.amazon.com/Lisp-Small-Pieces-Christian-Queinnec/dp/0521545668) ****

- [Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp] (https://github.com/norvig/paip-lisp)  ****

## Clojure

#### Books

1. Básico: [Clojure for the brave and true](https://www.braveclojure.com/clojure-for-the-brave-and-true/)

1. Básico: [Programming Clojure 2ed](https://pragprog.com/book/shcloj2/programming-clojure)

1. Intermediário Básico: [The Joy of Clojure](https://www.manning.com/books/the-joy-of-clojure-second-edition)

1. Intermediário Avançado\*: [Clojure Applied: From Practice to Practitioner](https://pragprog.com/book/vmclojeco/clojure-applied)

1. Avançado: [Mastering Clojure Macros](https://pragprog.com/book/cjclojure/mastering-clojure-macros)

- [The Ultimate Guide to Clojure Concurrency](https://www.amazon.com.br/Ultimate-Guide-Clojure-Concurrency-comprehensive-ebook/dp/B0751GD147)

    - Livro do Eric Normand, responsável pelo site [LispCast](https://lispcast.com/)

#### Comunidade

- [clj-br](https://github.com/clj-br)

- [clojurians](http://clojurians.net/)

- [Clojure Brasil (Telegram)](https://web.telegram.org/#/im?p=@clojurebrasil)

##### ClojureBridge SP

@ClojureBridgeSP no Twitter

- [Material dos workshops](https://github.com/ClojureBridgeSP)

- [Curriculum](http://clojurebridgesp.github.io/curriculum)

#### Courses

- [exercism.io](http://exercism.io/languages/clojure/about)

- [Clojure Academy](https://clojurecademy.com/)

- [Hacker Rank - Functional Programming Path](https://www.hackerrank.com/domains/fp/intro)

- [Clojure Koans](http://clojurekoans.com/)

- [Clojure Katas](http://clojurekatas.org/)

- [Wonderland Clojure Katas](https://github.com/gigasquid/wonderland-clojure-katas)

- [4Clojure](http://www.4clojure.com/)

#### Sites

- [Lambda Calculus: The Y combinator in clojure](http://blog.klipse.tech/lambda/2016/08/07/pure-y-combinator-clojure.html)

- [Clojure ToolBox](https://www.clojure-toolbox.com/)

    - Guia de libraries e tools em Clojure

- [Clojure Styleguide](https://github.com/bbatsov/clojure-style-guide)

    - Guia de estilo e organização de codigo em Clojure

- [Clojure By Example](https://kimh.github.io/clojure-by-example/)

    - Guia de Clojure por meio de exemplos

- [Clojure CheatSheet](https://clojure.org/api/cheatsheet)

    - CheatSheet de funções em clojure

- [Clojure Design Patterns](http://mishadoff.com/blog/clojure-design-patterns/)

## ClojureScript

#### Books

* [ClojureScript: Up And Running](http://shop.oreilly.com/product/0636920025139.do)

* [Clojure Cookbook](http://clojure-cookbook.com/)

* [Learning ClojureScript](https://www.packtpub.com/web-development/learning-clojurescript)

#### Courses

- [Modern ClojureScript](https://github.com/magomimmo/modern-cljs)

- [ClojureScript Workshop](https://www.niwi.nz/cljs-workshop/)

## Idris

### Books

- [Type-Driven Development with Idris](https://www.manning.com/books/type-driven-development-with-idris)

- [Software Foundations](https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf)

- [Gentle Introduction to Dependent Types with Idris](https://leanpub.com/gidti)

### Sites

- [The Idris tutorial](http://docs.idris-lang.org/en/latest/tutorial/index.html)

### Talks

- [Type-Driven Development in Idris — Edwin Brady](https://www.youtube.com/watch?v=X36ye-1x_HQ)

- [Idris: Practical Dependent Types with Practical Examples — Brian McKenna](https://www.youtube.com/watch?v=4i7KrG1Afbk)

- [Type-driven Development of Communicating Systems in Idris — Edwin Brady](https://www.youtube.com/watch?v=IQO9N0Y8tcM)

### Blog posts

- [10 things Idris improved over Haskell](https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/)

- [Tests vs. Types](http://kevinmahoney.co.uk/articles/tests-vs-types/)

### Papers

- [Programming and Reasoning w/ Side-Effects in Idris](https://eb.host.cs.st-andrews.ac.uk/drafts/eff-tutorial.pdf)

- [Programming and Reasoning w/ Algebraic Effects and Dependent Types](https://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf)

## ReasonML

- [Discord group - ReasonBR](https://discord.gg/mb7VXG)

### Talks

- [ReasonML e ReScript: O ECMAScript de 2077! (Meetanços)](https://youtu.be/Hoed0aZGbJY)

- [Lambda/IO - Workshop A Trindade ReasonML, React e GraphQL na Hash](https://youtu.be/I_wZ_nsWld8)

- [ECMAScript 2077 (ReasonML) - Gabriel Rubens](https://www.youtube.com/watch?v=q1gPfQHpVjo)