search

witchcrafters / witchcraft

Monads and other dark magic for Elixir
https://witchcrafters.github.io
MIT License
1.19k stars 57 forks source link

How to use? #54

Open imranismail opened 6 years ago

imranismail commented 6 years ago

Are there any recommended materials on how to use this?

I've tried folktale and it's amazing how much I've improved the codebase with concepts such as Result/Either.

Is http://learnyouahaskell.com/ a good start?

toraritte commented 6 years ago

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:

Category Theory

Other:

AleksandarFilipov commented 6 years ago

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

toraritte commented 6 years ago

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?

AleksandarFilipov commented 5 years ago

@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.

kpanic commented 5 years ago

These are useful to me:

expede commented 5 years ago

@toraritte

(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 😄

expede commented 5 years ago

@imranismail

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:

toraritte commented 5 years ago

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...)

expede commented 5 years ago

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 💪

askasp commented 4 years ago

@imranismail

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:

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?