How to use? about witchcraft HOT 10 OPEN

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.

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

• Elixir London 2017
• ElixirDaze 2018 (yes, they have the wrong title listed)

from witchcraft.

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

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.

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

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