u/_lazyLambda

Tonight at 5pm EST we will be diving into effect systems starting with effectful via the Servant-effectful library and also if time permits, looking into building a quick demo of Bluefin.

The core focus of our sessions are how to interact with the haskell ecosystem as it is a truly unique language with respect to documentation, both by having little traditional documentation style but also by being a self documenting language and all that means for getting shit done with haskell as a real world language. We also really seek to cater to our audience so if you have questions about Servant or haskell in general, please consider the stream a help session.

Personally I am curious about Effect systems as a more intuitive way to drive home the core value of haskell to intermediate programmers, especially since they remove logical errors that can happen with monad transformers as the structure becomes more complex (eg how ExceptT e (StateT s m) a isnt the same as StateT s (ExceptT e m) a despite feeling like it should be the same behavior.

Link: https://m.twitch.tv/typifyprogramming/home

Been a minute since I hosted a stream as I've been on vacation. Most recently, we were streaming Saturday mornings but will now be doing every Wednesday at 5 pm in the hopes this will work better for anyone in whichever timezone who'd like to watch.

We've done a number of very focused sessions however I just want this session to be a really fun one so we are going back to Servant, the first library I learned about in haskell and we are going to build a simple authenticated CRUD API to store and retrieve nicknames.

The core focus of our sessions are how to interact with the haskell ecosystem as it is a truly unique language with respect to documentation, both by having little traditional documentation style but also by being a self documenting language and all that means for getting shit done with haskell as a real world language. We also really seek to cater to our audience so if you have questions about Servant or haskell in general, please consider the stream a help session.

We do try to naturally progress the stream to being a more thorough implementation by the end so that if time permits, we will attempt to swap Servant into my Jenga framework.

Link: https://www.twitch.tv/typifyprogramming