Courses, etc.

Articles

Courses, etc.

Dependent types, type theory

Projects

Articles

Community

• Functional Programming Discord server
• Haskell - Community page
• Elixir Status

Courses, etc.

• - knight/haskell-mooc), [2](https://github.com/mikkom/haskell-mooc/tree/master/exercises), [3](https://github.com/dandax123/haskell-mooc-solutions), [4](https://github.com/bobbrahms/haskell-mooc/tree/master/exercises), [5](https://github.com/Qualia91/haskell-mooc/tree/master/exercises), [6](https://github.com/davide-butera/haskell-mooc/tree/master/exercises), [7](https://github.com/lucastarche/haskell-mooc/tree/master/exercises), [8](https://github.com/shyba/haskell-mooc/tree/master/exercises))
• - course/tree/master/src/Course)
• x - mooc/blob/141495e219cb8c48564de7da49ddb55d45830daa/exercises/Set5a.hs#L99-L107)
• - for-rails-developers/54624/18))

Dependent types, type theory

Exercises

• 1 - 2023-haskell-template), [3](https://github.com/samcoy3/advent-of-code-template), [4](https://github.com/lsmor/template-advent-of-code), [5](https://github.com/pabloariasal/advent-of-code-2021-haskell), [6](https://github.com/ambroslins/AdventOfCode), [7](https://github.com/bereal/AdventOfCodeHaskell)
• - functional-programming/7411), [Haskell solutions](https://github.com/josevalim/nested-map-reduce-traversal/tree/master/haskell), more Haskell solutions: [1](https://gist.github.com/TristanCacqueray/fc8fb5cbba7a0391341e73b80a90b2e8), [2](https://gist.github.com/goldfirere/ed1450872afd324ed656e2807b8dfcc0), [3](https://github.com/danielc777888/toy-problems/blob/main/nested-map-reduce-traversal/Recursion.hs), [4](https://gist.github.com/lazamar/305e8808f8975258f6acea4d20fd3405))

More resources

• awesome-learning-haskell
• "Resources" section in The Haskell Guide
• Haskell Books
• Haskell - Documentation (books, courses, etc.) - ->
• The Soul of Erlang & Elixir
• "Learning" page on the Elixir site - ->

Projects

• Haskell Tutorial and Cookbook
• Game Development

Reference

• Hoogle

Ruby

• Avoid Mutation — Functional Style in Ruby
• Boundaries
• source - effects are great ideas, and that I've borrowed them for my OO. My initial goal for every new object I write is that it not change, and that it not have side effects. This obviously can't suit every object, but I've been pleasantly surprised about how much can be done under these constraints, and how much the constraints simplify code."*
• source - oriented coding. But trying to program in a 'fully FP' style in Ruby can be like paddling a kayak with a canoe paddle. Upstream. […] Your best bet for effective development is to learn to 'code with the grain' [of the language you're using]. And when you get right down to it, Ruby's grain is object-oriented."*
• This blog series by Tim Riley
• Hanami - 01-01&type=repositories), [2](https://github.com/search?q=hanami+app+pushed%3A%3E2022-01-01&type=repositories), [3](https://github.com/search?q=hanami+application+pushed%3A%3E2022-01-01&type=repositories), [4](https://github.com/search?q=hanami+software+pushed%3A%3E2022-01-01&type=repositories)).
• dry-rb - ->

TypeScript

• Purify - ts](https://gcanti.github.io/fp-ts/)
• TypeScript for Functional Programmers
• How to Write TypeScript Like a Haskeller
• TypeScript resources in my "Learn Ruby" list

• Roctris
• roc-wasm4
• roc-ray
• Joy
• Kingfisher

Community

• Roc Zulip Chat

• The raw file of this list - out sections for Haskell and Elixir (another one I *probably* won't learn).