Brooklyn Zelenka

Hm, yeah, I definitely agree that's a useful feature! I was under the impression that Dialyzer does missing cases analysis, no?

> /me wishes Elixir had Hindley-Milner Typing... Yup, me too! (Actually, I wish that I could work in a dependently typed language, but le sigh). With luck, Alpaca will save...

Hey @hariroshan 👋 This Issue is from the earliest days of the project, and `defadt` has since been renamed to `defdata`, and the syntax changed quite a lot as well....

> Is there a fix for this. I also tried > `defdata Clock, validate: mod do` **Validators and filters do not exist yet.** This Issue is an idea for a...

> A Haskell or PureScript record would be a simple map in Elixir, right? A Haskell _record_ is here modeled with an Elixir struct

> the way Haskell and PureScript smart constructors Haskell's smart constructors are just regular functions without the handy sugar, and generally hiding the normal constructor. ## Special Syntax Yes, this...

Hey @hariroshan 👋 > I've been search for a good tutorial on understanding this Monad but I'm unable to grasp the concept. http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html > Can anybody explain how to use...

> {:Custom, red, green, blue} The purpose of using structs is to enable protocols, and thus type classes for Witchcraft. I'm not aware of a way to implement a protocol...

Yeah, I had played around with making changes similar to what you describe above in type_class, but I also need to get these libs out the door 😉 (They've been...

@paulruescher, you've expressed interest in doing some work on the Witchcraft suite. Would you like to give this a look? Totally happy to walk you through how the library works...