Comments (10)
Have you looked at the Haskell Book yet? Chris Allen (one of the author of the book) also has a great list of online resources. Julie Moronuki (the other author) also has online classes at https://typeclasses.com/
A plethora of texts:
https://github.com/Mzk-Levi/texts
https://github.com/cohomolo-gy/haskell-resources
Edit: Some more resources:
PureScript:
-
Phil Freeman: PureScript by Example (most up to date version maintained by Dustin Whitney)
https://github.com/dwhitney/purescript-book -
Various resource by Justin Woo:
https://purescript-resources.readthedocs.io
https://psc-package.readthedocs.io
https://spacchetti.readthedocs.io -
Alex Kelley: Make the Leap from JavaScript to PureScript
https://hackernoon.com/make-the-leap-from-javascript-to-purescript-5b35b1c06fef -
Vincent Orr: Functional Programming Concepts in Purescript
https://egghead.io/courses/functional-programming-concepts-in-purescript
(caveat: for v0.11.7. For breaking changes in v0.12 see https://github.com/purescript/purescript/releases/tag/v0.12.0 )
Category Theory
-
Bartosz Milewski: Category Theory for Programmers
https://github.com/hmemcpy/milewski-ctfp-pdf -
"Seven Sketches of Compositionality" by Brendan Fong & David Spivak and "Operad of wiring diagrams" by Spivak.
(A nice summary in this Twitter thread.)
Other:
-
Julie Moronuki & Chris Allen: Haskell Programming from First Principles (aka Haskell Book)
-
Harry Garrood's A guide to the PureScript numeric hierarchy
https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io -
Brian Lonsdorf: Professor Frisby Introduces Composable Functional JavaScript
https://egghead.io/courses/professor-frisby-introduces-composable-functional-javascript -
Docs of the Witchcraft/Algae/Quark/TypeClass elixir packages
repo: https://github.com/expede/witchcraft
https://hexdocs.pm/witchcraft/readme.html
https://hexdocs.pm/algae/readme.html
https://hexdocs.pm/type_class/readme.html
https://hexdocs.pm/quark/readme.html
from witchcraft.
I feel a bit ashamed for not recommending the Witchcraft docs above, because they explain the type classes well in a concise manner. I have been intimidated by these terms before but just reading the docs on Semigroup and Monoid dispelled much of my fears. I even feel confident enough to start tackling Monad:)
(Thank you @expede for working on this and making it so beginner-friendly! This project feels to be really underappreciated.)
@imranismail @AleksandarFilipov What are your experiences after 2 months?
from witchcraft.
I was inspired by, https://youtu.be/psdG5iV57q0 thats how i found this project
Now i'm working on http://learnyouahaskell.com/
Please keep feeding us with resources ;)
Edit:
Another supernice haskell resource (video tutorials, really nicely narrated)
https://haskell-at-work.com/episodes.html
from witchcraft.
@toraritte well, I derailed into the world of Haskell. But the language where i'm of most use is still elixir so my intentions are to get back here.
from witchcraft.
These are useful to me:
- https://mostly-adequate.gitbooks.io/mostly-adequate-guide
- http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html
from witchcraft.
I've tried folktale and it's amazing how much I've improved the codebase with concepts such as Result/Either.
You may be interested in Algae (docs for Algae.Either
: https://hexdocs.pm/algae/Algae.Either.html). These instances have Witchcraft instances, which you'll be familiar with from folktale
😄 Some have different names, but the main ones you'll probably want are Witchcraft.Chain.bind/2
(AKA >>>
).
Also, if you're just looking for more happy-path error handling and nothing else, check out Exceptional. There's also an article and conference talk on Exceptional.
Are there any recommended materials on how to use this?
Here's a couple conference talks, in case they're helpful:
- Elixir London 2017
- ElixirDaze 2018 (yes, they have the wrong title listed)
from witchcraft.
(Thank you @expede for working on this and making it so beginner-friendly! This project feels to be really underappreciated.)
Hooray thanks! I'm very glad that it's appreciated 🎉🎉🎉 You've made my day 😄
from witchcraft.
Sorry in advance for this spam, but I'm starting to appreciate Witchcraft and its supporting libraries more and more. I was trying to find const/2
in Witchcraft, but it was in Quark. Most of my studies were pretty much lacking any formal math, and never heard of combinator calculus even after trying to get into PureScript and Haskell.
I think the Witchcraft-way of organizing functionality is more principled, because usually const/2
is shoved into semi-arbitrary modules (such as Prelude
in Haskell, Data.Function
in PureScript), but Witchcraft just made me realize that there is a formal mathematical background behind it. (This Stackoverflow answer about Haskell's const
also helped to realize this connection.)
Thanks again!
edit: I just realized another thing, please correct me if this is not accurate: many PureScript modules have Data
and Control
namespaces, and roughly mapping them would Algae and Witchcraft, respectively, I think. (Although the Functor
type class is Data.Functor
there...)
from witchcraft.
PureScript modules have Data and Control namespaces, and roughly mapping them would Algae and Witchcraft, respectively, I think
That's correct 👍
Algae also provides additional functionality for bootstrapping an ADT-style DSL into Elixir. It can be used without Witchcraft, but the functionality from it adds a lot of power 💪
from witchcraft.
I've tried folktale and it's amazing how much I've improved the codebase with concepts such as Result/Either.
You may be interested in Algae (docs for
Algae.Either
: https://hexdocs.pm/algae/Algae.Either.html). These instances have Witchcraft instances, which you'll be familiar with fromfolktale
😄 Some have different names, but the main ones you'll probably want areWitchcraft.Chain.bind/2
(AKA>>>
).Also, if you're just looking for more happy-path error handling and nothing else, check out Exceptional. There's also an article and conference talk on Exceptional.
Are there any recommended materials on how to use this?
Here's a couple conference talks, in case they're helpful:
- Elixir London 2017
- ElixirDaze 2018 (yes, they have the wrong title listed)
Great project! Just started using Elixir, and this was exactly what I was hoping to find 🥇 . I'm a bit curious why there is no Algae.Result that implements the error monad? I see that Algae.Either is a more powerful version , but I like the explicit :error instead of :left 😜 If I make this, would you be interested in a pull request?
from witchcraft.
Related Issues (20)
- `chain/1` disappears from iex
- Bring in line with latest community standards HOT 1
- Address ^^^ deprecation HOT 2
- Publishing new version is required to support Elixir 1.13 HOT 4
- `Witchcraft.Chain.do_notation/2` intentionally ignores `chainer`
- Add GenStage support for arrows
- Witchcraft IO monad? HOT 1
- homepage HOT 1
- Unable to use Witchcraft, iex (1.8.1) HOT 4
- More informative FailedCheckError messages
- fmap alias <~ is not working HOT 2
- How to use Witchcraft and Exceptional in the same module ?
- Dialyzer and .Proto modules HOT 2
- Applicative, preserving mempties of each element HOT 1
- Right and left sparrows HOT 1
- elixir 1.12 : then/2 conflicts with Kernel.then/2 HOT 5
- unable to use witchcraft HOT 4
- `use Witchcraft` fails when excepting functions defined in `Kernel` HOT 2
- Functor.map behaviour on tuples HOT 1
- Benchmarks compilation error HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from witchcraft.