{"id":41280,"url":"https://github.com/lambda-study-group/awesome-functional-studies","name":"awesome-functional-studies","description":"A curated list of functional programming resources to study the fp paradigm","projects_count":223,"last_synced_at":"2026-04-19T04:00:24.972Z","repository":{"id":38901975,"uuid":"109922809","full_name":"lambda-study-group/awesome-functional-studies","owner":"lambda-study-group","description":"A curated list of functional programming resources to study the fp paradigm","archived":false,"fork":false,"pushed_at":"2024-07-27T16:44:27.000Z","size":97,"stargazers_count":183,"open_issues_count":1,"forks_count":16,"subscribers_count":14,"default_branch":"master","last_synced_at":"2026-04-03T22:06:11.388Z","etag":null,"topics":["hacktoberfest","lambda-calculus","programming-languages"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/lambda-study-group.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"contributing.md","funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-11-08T03:25:35.000Z","updated_at":"2026-03-29T23:41:20.000Z","dependencies_parsed_at":"2025-03-26T00:45:43.439Z","dependency_job_id":null,"html_url":"https://github.com/lambda-study-group/awesome-functional-studies","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/lambda-study-group/awesome-functional-studies","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lambda-study-group%2Fawesome-functional-studies","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lambda-study-group%2Fawesome-functional-studies/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lambda-study-group%2Fawesome-functional-studies/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lambda-study-group%2Fawesome-functional-studies/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lambda-study-group","download_url":"https://codeload.github.com/lambda-study-group/awesome-functional-studies/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lambda-study-group%2Fawesome-functional-studies/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31994010,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-18T20:23:30.271Z","status":"online","status_checked_at":"2026-04-19T02:00:07.110Z","response_time":55,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"readme":"\n\n# Awesome Funcional Programming Studies\n\nEstudos de programação funcional maneiros.\n\n[Contributing.md](/contributing.md)\n\n## Summary\n\n- [Functional Paradigm](#paradigm)\n- [Lambda Calculus - Combinators](#lambda-calculus-combinators)\n- [Theory](#theory)\n- [Javascript](#javascript)\n- [Haskell](#haskell)\n- [Scala](#scala)\n- [SML](#sml)\n- [OCaml](#ocaml)\n- [Elixir](#elixir)\n- [Ruby](#ruby)\n- [Elm](#elm)\n- [Scheme](#scheme)\n- [Common Lisp](#common-lisp)\n- [Clojure](#clojure)\n- [Idris](#idris)\n- [ReasonML](#reasonml)\n\n## Paradigm\n\n- [Functional programming study plan](https://ericdouglas.github.io/2016/12/04/functional-programming-study-plan/)\n- [awesome functional programming](https://github.com/xgrommx/awesome-functional-programming)\n- [functional-programming-javascript](https://github.com/busypeoples/functional-programming-javascript)\n- [Hidden complexities of tail-call/tail-recursion optimization](http://lambda-the-ultimate.org/classic/message1532.html#1533)\n- [Erik Meijer: Functional Programming](https://www.youtube.com/watch?v=z0N1aZ6SnBk)\n- [Philip Wadler and Erik Meijer: On Programming Language Theory and Practice](https://youtu.be/9SBR_SnrEiI)\n- [How to Design Programs](http://www.htdp.org/)\n- [Introduction to Functional Programming (Prentice Hall International Series in Computing Science) ](https://www.amazon.com/Introduction-Functional-Programming-International-Computing/dp/0134841891)\n- [A Proof Assistant for Higher-Order Logic](http://isabelle.in.tum.de/doc/tutorial.pdf)\n- [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)\n- [C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals](https://www.youtube.com/playlist?list=PLTA0Ta9Qyspa5Nayx0VCHj5AHQJqp1clD)\n\n\n#### Courses\n\n- [Programming Languages](https://pt.coursera.org/learn/programming-languages) *****\n    - Curso em SML, Ruby e Scheme com uma abordagem a programação funcional muito interessante.\n- [fp-course](https://github.com/data61/fp-course)\n- [SICP](https://mitpress.mit.edu/sites/default/files/6515.pdf)\n    - Livro com teoria e exercicios em Scheme que era usado para ensinar introdução a computação do MIT.\n- [MIT 6.001 Structure and Interpretation, 1986](https://www.youtube.com/playlist?list=PLE18841CABEA24090)\n    - Playlist com as aulas da matéria Introdução à Computação, do MIT, baseada no SICP.\n- [How to Code - Simple Data](https://www.edx.org/course/how-to-code-simple-data) *****\n    - Curso em Inglês baseado no livro How to Design Programs citado na seção \"Paradigm\"\n- [How to Code - Complex Data](https://www.edx.org/course/how-to-code-complex-data)\n    - Continuação do curso acima.\n\n#### Papers\n\n- [Why Functional Programming Matters](https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf)\n- [Functional Programming should be your #1 priority for 2015](https://medium.com/@jugoncalves/functional-programming-should-be-your-1-priority-for-2015-47dd4641d6b9)\n\n#### Books\n- [Programação Funcional Para Desenvolvedores Java](https://www.amazon.com.br/Programa%C3%A7%C3%A3o-Funcional-Para-Desenvolvedores-Java/dp/857522316X)\n    - Ótimo livro pra quem tá acostumado com POO e quer começar a entender o paradigma funcional. Não precisa saber Java.\n- [Purely Functional Data Structures](https://www.cs.cmu.edu/~rwh/theses/okasaki.pdf)\n\n- [Algoritmos Funcionais](https://altabooks.com.br/produto/algoritmos-funcionais/) *****\n    - Ótimo livro pra quem está querendo ver lógica de programação funcional, utilizando Haskell e Hope. Não precisa saber essas linguagens.\n\n#### Videos\n- [Coding Tech - Functional Programming](https://www.youtube.com/playlist?list=PLFjq8z-aGyQ4gTpuAhnPEQBOz7Xz7wn_m)\n    - Playlist com diferentes vídeos sobre programação funcional, incluindo Type Systems, Reactive Programming, Introduções com JS, etc\n\n## Lambda Calculus-Combinators\n\n- [A Taste of the λ Calculus](http://www.flyingmachinestudios.com/programming/a-taste-of-the-lambda-calculus/)\n- [A Graphical Notation for the Lambda Calculus with Animated Reduction](http://dkeenan.com/Lambda/)\n- [Combinator Birds](http://www.angelfire.com/tx4/cus/combinator/birds.html)\n    - Summary of all combinators named by the book\n- [The SKI Combinator Calculus - a universal formal system](http://people.cs.uchicago.edu/~odonnell/Teacher/Lectures/Formal_Organization_of_Knowledge/Examples/combinator_calculus/)\n- [BCKW Combinators (Wikipedia)](https://en.wikipedia.org/wiki/B,_C,_K,_W_system)\n- [Ski Combinators (Wikipedia)](https://en.wikipedia.org/wiki/SKI_combinator_calculus)\n- [Mockingbirds and Simple Recursive Combinators in Ruby](https://github.com/raganwald-deprecated/homoiconic/blob/master/2011/11/mockingbirds.md)\n\n#### Talks\n- [Programming With Nothing](http://rubymanor.org/3/videos/programming_with_nothing/)\n\n#### Books\n- [Lambda-Calculus and Combinators: An Introduction](https://www.amazon.com/Lambda-Calculus-Combinators-Introduction-Roger-Hindley/dp/0521898854)\n- [To Mock a Mocking Bird](https://www.amazon.com/Mock-Mockingbird-Other-Logic-Puzzles/dp/0192801422)\n- [To Mock a Mockingbird and Other Logic Puzzles](https://www.amazon.com/exec/obidos/tg/detail/-/0394534913/104-1615637-3868724)\n- [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\u0026psc=1)\n\n#### Games\n\n- [AlligatorEggs - Game](http://worrydream.com/AlligatorEggs/)\n- [AlligatorEggs Combinator](http://metatoys.org/alligator/)\n- [Cube Composer - Game](https://david-peter.de/cube-composer/)\n\n\n## Theory\n\n#### Livros\n- [Category Theory for Programmers by Bartosz Milewski](https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/) *****\n    - Livro online da introdução a teoria das cateogorias para programadores do Bartosz Milewski.\n- [Type Theory \u0026 Functional Programming](https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf)\n- [The Algebra of Algebraic Data Types](http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/)\n- [Functors, Applicatives, And Monads In Pictures](http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html)\n- [Types and Programming Languages](https://www.cis.upenn.edu/~bcpierce/tapl/)\n- [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)\n\n#### Courses\n- [Video-series - Category theory for programmers by Bartosz Milewski](https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_) *****\n    - Video series das aulas do Bartosz Milewski de teoria das cateorias.\n- [Type Theory Foundations](https://www.youtube.com/playlist?list=PLGCr8P_YncjXRzdGq2SjKv5F2J8HUFeqN)\n    - Série de vídeos das aulas do Robert Harper (Carnegie Mellon U) sobre type theory.\n- [Proof Theory Foundations](https://www.youtube.com/playlist?list=PL_zaeQ6Mf5FAYNk3GsK9tdj_Ce-eIfH_b)\n    - Sério de vídeos das aulas do Frank Pfenning (Carnegie Mellon U) sobre proof theory.\n\n#### Videos\n\n- [Don't fear the monad - Brian Beckman](https://www.youtube.com/watch?v=ZhuHCtR3xq8)\n- [Brian Beckman: The Zen of Stateless State - The State Monad](https://www.youtube.com/watch?v=XxzzJiXHOJs)\n\n#### Blog posts / Papers\n\n- [Generators, iterators, control and continuations](http://gallium.inria.fr/blog/generators-iterators-control-and-continuations/) :star: :star: :star: :star:\n  + Artigo do Gagallium/Inria (em OCaml) sobre estruturas de dados, travessia destas e inversão de controle.\n- [Implementing, and Understanding Type Classes](http://www.okmij.org/ftp/Computation/typeclass.html) :star: :star: :star: :star: :star:\n  + O artigo explica o mecanismo de type classes de Haskell com paralelos encodings em OCaml\n\n## Javascript\n\n- [A Gentle Introduction to Functional JavaScript](https://github.com/ChetHarrison/A-Gentle-Introduction-to-Functional-JavaScript)\n- [Functional programming patterns for the non-mathematician](https://www.youtube.com/watch?v=AvgwKjTPMmM)\n- [functional-programming-javascript](https://github.com/busypeoples/functional-programming-javascript)\n\n#### Combinators\n- [Common combinators in JavaScript](https://gist.github.com/Avaq/1f0636ec5c8d6aed2e45)\n- [Combinators-js](https://github.com/benji6/combinators-js)\n- [Fantasy Combinators](https://github.com/fantasyland/fantasy-combinators)\n- [Fantasy Birds](https://github.com/fantasyland/fantasy-birds)\n\n#### Libs\n\n- [Fantasy Land](https://github.com/fantasyland/fantasy-land)\n- [Crocks](https://github.com/evilsoft/crocks)\n- [Union Types](https://github.com/paldepind/union-type)\n- [Ramda](ramdajs.com)\n- [Church Encoding in JS](https://github.com/benji6/church)\n- [Folktale](https://github.com/origamitower/folktale)\n\n#### Talks\n\n- [David Nolen: Immutability: Putting The Dream Machine To Work ](https://www.youtube.com/watch?v=SiFwRtCnxv4)\n- [Anjana Vakil: Learning Functional Programming with JavaScript - JSUnconf 2016](https://www.youtube.com/watch?v=e-5obm1G_FY)\n- [Anjana Vakil: Immutable data structures for functional JS | JSConf EU 2017](https://www.youtube.com/watch?v=Wo0qiGPSV-s)\n- [Pure JavaScript - Christian Johansen](https://vimeo.com/49384334)\n- [James Coglan: Practical functional programming: pick two | JSConf EU 2014](https://youtu.be/XcS-LdEBUkE)\n\n#### Blog posts / Papers\n\n- [Functional Programming In JavaScript — With Practical Examples](https://medium.freecodecamp.org/functional-programming-in-js-with-practical-examples-part-1-87c2b0dbc276)\n- [Thinking in Ramda Series](http://randycoulman.com/blog/2016/07/19/thinking-in-ramda-wrap-up/)\n- [Erick Elliot - Composing Software Series](https://medium.com/javascript-scene/composing-software-an-introduction-27b72500d6ea)\n- [An Intro to Functional Programming Concepts in JavaScript](https://medium.com/@collardeau/intro-to-functional-programming-concepts-in-javascript-b0650773139c)\n- [Why Curry Helps](https://hughfdjackson.com/javascript/why-curry-helps/)\n- [JavaScript and Type Thinking](https://medium.com/@yelouafi/javascript-and-type-thinking-735edddc388d)\n- [Lazy, composable, and modular JavaScript](https://codewords.recurse.com/issues/four/lazy-composable-and-modular-javascript)\n[Monads in JavaScript](https://curiosity-driven.org/monads-in-javascript)\n- [A Monad in Practicality: First-Class Failures](http://robotlolita.me/2013/12/08/a-monad-in-practicality-first-class-failures.html)\n- [Master the JavaScript Interview: What is Functional Programming?](https://medium.com/javascript-scene/master-the-javascript-interview-what-is-functional-programming-7f218c68b3a0)\n\n#### Books\n- [Mostly adequate guide to FP (in javascript)](https://github.com/MostlyAdequate/mostly-adequate-guide)\n- [Functional Light Programming](https://github.com/getify/functional-light-js)\n- [Functional Programming Jargon](https://github.com/hemanth/functional-programming-jargon)\n- [JavaScript Allongé, the \"Six\" Edition](https://leanpub.com/javascriptallongesix)\n- [Manning Functional Programming in JavaScript](https://www.manning.com/Livros/functional-programming-in-javascript)\n- [Functional Javascript O'relly](http://shop.oreilly.com/product/0636920028857.do)\n\n#### Courses\n- [fp-begginer - ramda](http://paqmind.com/courses/fp-beginner/)\n\n#### Videos\n- [Functional Programming in Javascript - funfunfunction](https://www.youtube.com/playlist?list=PL0zVEGEvSaeEd9hlmCXrk5yUyqUag-n84)\n\n## Haskell\n\n- [Functional Programming in Haskell](https://github.com/caiorss/Functional-Programming/blob/master/haskell/README.org)\n- [Category Theory](https://en.wikiLivros.org/wiki/Haskell/Category_theory)\n- [Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)](https://youtu.be/6COvD8oynmI?list=RD6COvD8oynmI)\n\n#### Videos\n- [A Totally Non-Terrifying, Practical Introduction to Type-Level Programming](https://www.youtube.com/watch?v=6FRJfEhlqyg)\n\n#### Courses\n\n- [School Of Haskell](https://www.schoolofhaskell.com/)\n- [Haskell Course - NPTEL](http://nptel.ac.in/courses/106106137/)\n- [Haskell Fast Hard](https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/haskell-fast-hard)\n- [FUNCTIONAL PROGRAMMING - University of Edinburgh](https://www.inf.ed.ac.uk/teaching/courses/inf1/fp/)\n- [Parallel and Concurrent Haskel](https://www.youtube.com/playlist?list=PLbgaMIhjbmEm_51-HWv9BQUXcmHYtl4sw)\n- [Haskell for Imperative Programmers](https://www.youtube.com/playlist?list=PLe7Ei6viL6jGp1Rfu0dil1JH1SHk9bgDV)\n- [Grupo de Estudos de Haskell (UFABC)](http://pesquisa.ufabc.edu.br/haskell/basico.html)\n- [Haskell Course - Glasgow University](https://www.futurelearn.com/courses/functional-programming-haskell)\n\n#### Books\n\n- [Learn You A Haskell For Great Good(Free)](http://learnyouahaskell.com/)\n- [Real World Haskell](http://book.realworldhaskell.org/)\n- [Write Yourself a Scheme in 48 Hours](https://upload.wikimedia.org/wikipedia/commons/a/aa/Write_Yourself_a_Scheme_in_48_Hours.pdf)\n    - An Introduction to Haskell through Example\n- [HaskellBook](http://haskellbook.com/)\n- [Write you a Haskell](http://dev.stephendiehl.com/fun/)\n    - Building a modern functional compiler from first principles.\n- [What I Wish I Knew When Learning Haskell](http://dev.stephendiehl.com/hask/)\n\n## Scala\n\n#### Videos\n- [Scala Monads: Declutter Your Code With Monadic Design](https://youtu.be/Mw_Jnn_Y5iA)\n- [Recursion Schemes Categorically](https://www.youtube.com/watch?v=PlFR6xBGphY)\n    - Apresentação da Oli junto com o Bartosz Milewski, no ScalaUA 2020\n- [Scaladores](https://www.youtube.com/c/scaladores/videos)\n    - Canal no youtube do grupo brasileiro sobre Scala\n\n#### Courses\n- [Coursera - Functional Programming Principles in Scala](https://www.coursera.org/learn/progfun1)\n    - Serie de cursos do coursera sobre Scala e programação funcional com o criado da linguagem.\n- [Scala With Cats](https://www.youtube.com/playlist?list=PLk2QkBPrDTjjf0oeODg-3wj-npZw_nA8P)\n    - Introdução à biblioteca Cats\n- [Introduction to Programming with Dependent Types](https://stepik.org/course/49181/promo)\n    - Curso mais avançado sobre programação com tipos dependentes.\n\n#### Books\n- [Functional Programming in Scala](https://www.manning.com/books/functional-programming-in-scala)\n- [Scala With Cats](https://underscore.io/books/scala-with-cats/)\n\n#### Comunidade\n- [Scaladores](http://scaladores.herokuapp.com/)\n\n## SML\n\n#### Courses\n- [The Little MLer](http://www.ccs.neu.edu/home/matthias/BTML/) ****\nAquele curso do cousera\n- [Programming Languages](https://pt.coursera.org/learn/programming-languages) *****\n    - Curso em SML, Ruby e Scheme com uma abordagem a programação funcional muito interessante.\n\n#### Books\n- [Introduction to Programming using SML](http://catalogue.pearsoned.co.uk/educator/product/Introduction-to-Programming-using-SML/9780201398205.page)\n\n## OCaml\n\n- [Telegram group - Reason \u0026 OCaml Brasil](https://t.me/reasonmlbrasil)\n\n#### OCaml docs\n- [OCaml Tutorials](http://ocaml.org/learn/tutorials/) *****\n- [Solution of 99 Problems](http://ocaml.org/learn/tutorials/99problems.html) *****\n- [Learn OCaml](http://ocaml.org/learn/) *****\n\n#### Books\n- [Real World OCaml](https://v1.realworldocaml.org/v1/en/html/index.html)\n- [OCaml for the Skeptical](https://www2.lib.uchicago.edu/keith/ocaml-class/functions.html)\n\n- [Try OCaml](https://try.ocamlpro.com/)\n- [Introduction to OCaml](https://blog.baturin.org/introduction-to-ocaml.html)\n- [Beginners guide to OCaml beginners guides](http://blog.nullspace.io/beginners-guide-to-ocaml-beginners-guides.html)\n- [Ocaml Structure of Ocaml](https://ocaml.org/learn/tutorials/structure_of_ocaml_programs.html)\n- [First steps in OCaml](https://caml.inria.fr/pub/docs/u3-ocaml/ocaml-steps.html)\n- [Functional Programming by Example - Ocaml](https://gitlab.com/cyberglot/Functional-Programming/tree/master/ocaml)\n\n\n## Erlang\n\n#### Books\n* [Learn you some Erlang for great good!](http://learnyousomeerlang.com/)\n* [Erlang in Anger](http://www.erlang-in-anger.com/)\n* [The Beam Book](https://happi.github.io/theBeamBook/)\n  * The Erlang Runtime System\n\n## Elixir\n\n#### Community\n- [ElixirBR telegram](https://t.me/elixirbr)\n- [Meetup ELUG](https://www.meetup.com/elug_sp/)\n- [Elixir Weekly](https://elixirweekly.net/)\n\n#### Videos\n- [Zero to Hero](https://www.youtube.com/playlist?list=PLaY7qWIrmqtFoZLvOvYRZG5hl367UybRp)\n- [Elixir: A Mini-Documentary](https://www.youtube.com/watch?v=lxYFOM3UJzo)\n\n#### Talks\n- [Phoenix a Web Framework for the New Web - José Valim](https://www.youtube.com/watch?v=bk3icU8iIto)\n- [The Elixir of Life - Fabio Akita](https://www.youtube.com/watch?v=8Ng6TfAj7Sk)\n\n#### Cast\n- [ElixirCasts](https://elixircasts.io/)\n\n#### Books\n- [Elixir In Action](https://www.manning.com/books/elixir-in-action)\n- [Erlang in Anger(Free)](http://www.erlang-in-anger.com/)\n- [Programming Elixir 1.6](https://pragprog.com/book/elixir16/programming-elixir-1-6)\n- [Programming Phoenix](https://pragprog.com/book/phoenix/programming-phoenix)\n- [Adopting Elixir](https://pragprog.com/book/tvmelixir/adopting-elixir)\n- [Metaprogramming Elixir](https://pragprog.com/book/cmelixir/metaprogramming-elixir)\n\n#### Courses\n- [Getting started](https://elixir-lang.org/getting-started/introduction.html)\n- [Try Elixir - CodeSchool](https://www.codeschool.com/courses/try-elixir)\n- [Elixir School](https://elixirschool.com/)\n- [30 Days Of Elixir](https://github.com/seven1m/30-days-of-elixir)\n- [Discover Elixir Phoenix](https://www.ludu.co/course/discover-elixir-phoenix/)\n- [Elixir FP](https://github.com/kblake/functional-programming)\n- [Koans Exercices](http://elixirkoans.io/)\n- [Joy Of Elixir](https://joyofelixir.com/toc.html)\n- [CheatSheet](https://media.pragprog.com/titles/elixir/ElixirCheat.pdf)\n- [Elixir Style Guide](https://github.com/christopheradams/elixir_style_guide)\n- [Elixir and Erlang packages and resources](https://elixir.libhunt.com/)\n- [Learn x in y](https://learnxinyminutes.com/docs/elixir/)\n- [Elixir 4noobs](https://github.com/aleDsz/elixir4noobs)\n\n## Ruby\n- [Mockingbirds and Simple Recursive Combinators in Ruby](https://github.com/raganwald-deprecated/homoiconic/blob/master/2011/11/mockingbirds.md)\n\n\n## Elm\n\n#### Learn By Example\n- [Try-elm](http://try-elm/examples)\n- [Elm-lang - Examples](http://elm-lang.org/examples)\n- [Elm-lang - Time travel Debug](http://debug.elm-lang.org/edit/Mario.elm)\n- [Learn You a Elm](http://learnyouanelm.github.io/)\n\n#### Stuff\n- [React Elm Components](https://github.com/evancz/react-elm-components)\n    - Interop de React com Elm(Colocar componentes ELM no React)\n\n#### Courses\n- [Start Building Web Apps using Elmlang today](http://courses.knowthen.com/courses/enrolled/86520)\n\n#### Community\n- [Telegram Elm Brasil](https://t.me/elmbrasil)\n    - Grupo do tele brasileiro de Elm\n- [Elm Lang Slack](https://elmlang.slack.com)\n    - Slack de ELM\n- [Elm Weekly Newsletter](https://elmweekly.nl)\n\n#### Books\n- [Beginning Elm](https://elmprogramming.com)\n    - Livro online de Elm explicando diversos conceitos da linguagem com exemplos de código e diagramas\n- [Practical Elm](https://korban.net/elm/book/)\n    - Livro de Elm do Alex Korban\n- [Elm in Action](https://www.manning.com/books/elm-in-action)\n    - Livro de Elm do Richard Feldman\n\n## Scheme\n- [Functional Programming by Example - Scheme](https://github.com/caiorss/Functional-Programming/blob/master/scheme/README.org)\n- [SICP](https://mitpress.mit.edu/sites/default/files/6515.pdf)\n    - Livro com teoria e exercicios em Scheme que era usado para ensinar introdução a computação do MIT.\n- [SICP Distilled](http://www.sicpdistilled.com/)\n\n## Common Lisp\n\n- [Telegram Group - CommonLispBrasil](https://t.me/commonlispbr)\n\n#### Books\n- [Practical Common Lisp](http://www.gigamonkeys.com/book/) *****\n- [On Lisp](http://www.paulgraham.com/onlisp.html) *****\n- [Lisp In Small Pieces](https://www.amazon.com/Lisp-Small-Pieces-Christian-Queinnec/dp/0521545668) ****\n- [Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp] (https://github.com/norvig/paip-lisp)  ****\n\n## Clojure\n#### Books\n1. Básico: [Clojure for the brave and true](https://www.braveclojure.com/clojure-for-the-brave-and-true/)\n1. Básico: [Programming Clojure 2ed](https://pragprog.com/book/shcloj2/programming-clojure)\n1. Intermediário Básico: [The Joy of Clojure](https://www.manning.com/books/the-joy-of-clojure-second-edition)\n1. Intermediário Avançado\\*: [Clojure Applied: From Practice to Practitioner](https://pragprog.com/book/vmclojeco/clojure-applied)\n1. Avançado: [Mastering Clojure Macros](https://pragprog.com/book/cjclojure/mastering-clojure-macros)\n- [The Ultimate Guide to Clojure Concurrency](https://www.amazon.com.br/Ultimate-Guide-Clojure-Concurrency-comprehensive-ebook/dp/B0751GD147)\n    - Livro do Eric Normand, responsável pelo site [LispCast](https://lispcast.com/)\n\n#### Comunidade\n- [clj-br](https://github.com/clj-br)\n- [clojurians](http://clojurians.net/)\n- [Clojure Brasil (Telegram)](https://web.telegram.org/#/im?p=@clojurebrasil)\n\n##### ClojureBridge SP\n\n@ClojureBridgeSP no Twitter\n- [Material dos workshops](https://github.com/ClojureBridgeSP)\n- [Curriculum](http://clojurebridgesp.github.io/curriculum)\n\n#### Courses\n- [exercism.io](http://exercism.io/languages/clojure/about)\n- [Clojure Academy](https://clojurecademy.com/)\n- [Hacker Rank - Functional Programming Path](https://www.hackerrank.com/domains/fp/intro)\n- [Clojure Koans](http://clojurekoans.com/)\n- [Clojure Katas](http://clojurekatas.org/)\n- [Wonderland Clojure Katas](https://github.com/gigasquid/wonderland-clojure-katas)\n- [4Clojure](http://www.4clojure.com/)\n\n#### Sites\n- [Lambda Calculus: The Y combinator in clojure](http://blog.klipse.tech/lambda/2016/08/07/pure-y-combinator-clojure.html)\n- [Clojure ToolBox](https://www.clojure-toolbox.com/)\n    - Guia de libraries e tools em Clojure\n- [Clojure Styleguide](https://github.com/bbatsov/clojure-style-guide)\n    - Guia de estilo e organização de codigo em Clojure\n- [Clojure By Example](https://kimh.github.io/clojure-by-example/)\n    - Guia de Clojure por meio de exemplos\n- [Clojure CheatSheet](https://clojure.org/api/cheatsheet)\n    - CheatSheet de funções em clojure\n- [Clojure Design Patterns](http://mishadoff.com/blog/clojure-design-patterns/)\n\n## ClojureScript\n\n#### Books\n* [ClojureScript: Up And Running](http://shop.oreilly.com/product/0636920025139.do)\n* [Clojure Cookbook](http://clojure-cookbook.com/)\n* [Learning ClojureScript](https://www.packtpub.com/web-development/learning-clojurescript)\n\n#### Courses\n- [Modern ClojureScript](https://github.com/magomimmo/modern-cljs)\n- [ClojureScript Workshop](https://www.niwi.nz/cljs-workshop/)\n\n## Idris\n\n### Books\n- [Type-Driven Development with Idris](https://www.manning.com/books/type-driven-development-with-idris)\n- [Software Foundations](https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf)\n- [Gentle Introduction to Dependent Types with Idris](https://leanpub.com/gidti)\n\n### Sites\n- [The Idris tutorial](http://docs.idris-lang.org/en/latest/tutorial/index.html)\n\n### Talks\n- [Type-Driven Development in Idris — Edwin Brady](https://www.youtube.com/watch?v=X36ye-1x_HQ)\n- [Idris: Practical Dependent Types with Practical Examples — Brian McKenna](https://www.youtube.com/watch?v=4i7KrG1Afbk)\n- [Type-driven Development of Communicating Systems in Idris — Edwin Brady](https://www.youtube.com/watch?v=IQO9N0Y8tcM)\n\n### Blog posts\n- [10 things Idris improved over Haskell](https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/)\n- [Tests vs. Types](http://kevinmahoney.co.uk/articles/tests-vs-types/)\n\n### Papers\n- [Programming and Reasoning w/ Side-Effects in Idris](https://eb.host.cs.st-andrews.ac.uk/drafts/eff-tutorial.pdf)\n- [Programming and Reasoning w/ Algebraic Effects and Dependent Types](https://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf)\n\n\n## ReasonML\n\n- [Discord group - ReasonBR](https://discord.gg/mb7VXG)\n\n### Talks\n- [ReasonML e ReScript: O ECMAScript de 2077! (Meetanços)](https://youtu.be/Hoed0aZGbJY)\n- [Lambda/IO - Workshop A Trindade ReasonML, React e GraphQL na Hash](https://youtu.be/I_wZ_nsWld8)\n- [ECMAScript 2077 (ReasonML) - Gabriel Rubens](https://www.youtube.com/watch?v=q1gPfQHpVjo)\n","created_at":"2024-01-13T21:18:06.220Z","updated_at":"2026-04-19T04:00:24.972Z","primary_language":null,"list_of_lists":false,"displayable":true,"categories":["Javascript","Haskell","Scala","Clojure","Elixir","Elm","OCaml","Theory","Lambda Calculus-Combinators","Paradigm","Idris","SML","Ruby","Scheme","Common Lisp","ClojureScript","ReasonML"],"sub_categories":["Talks","Sites","Books","Blog posts","Papers"],"projects_url":"https://awesome.ecosyste.ms/api/v1/lists/lambda-study-group%2Fawesome-functional-studies/projects"}