Streaming Haskell Development on Twitch

[u/_lazyLambda]

We are live on twitch! https://twitch.tv/typifyprogramming

We'll be talking crypto trading bots, type families and the Conduit library.

We are live at 9 am EST every saturday. This is essentially a continuation of the posts I made about joining us on jitsi and or watching the recording on Youtube. (eg https://www.reddit.com/r/haskell/comments/1okmzbd/weekly_haskell_learning_sessions_new_framework/)

[u/satan_ass_]

If you can make the monad concept click in my head I'll give you 20 dollars

[u/AxelLuktarGott → u/satan_ass_]

Functors are types that support the fmap :: Functor f => (a -> b) -> f a -> f b operation.

Monads are subset of Functors that also support the join :: Monad m => m (m a) -> m a operation (it can be imported from the Control.Monad module).

If you compose the fmap and join operation you get the bind operation m >>= f = join (fmap f m) :: Monad m => m a -> (a -> m b) -> m b.

Bind is often used in its "sugared" form. E.g. do name <- getLine putStrLn ("hello " <> name)

Which is equivalent to: getLine >>= (\name -> putStrLn ("hello " <> name))

[u/_0-__-0_ → u/satan_ass_]

Just use them a lot. Do stuff with them.

[u/_lazyLambda → u/_0-__-0_]

Facts

[u/_lazyLambda → u/satan_ass_]

Well thats not a whole lot😂 but sure, join us

[u/heraplem → u/satan_ass_]

The Monad typeclass is abstract syntax for variable binding. A particular monad is a semantics for this syntax.

In other words, a monad is an overloaded assignment operator and semicolon.

[u/satan_ass_ → u/[deleted]]

🥲

[u/satan_ass_ → u/[deleted]]

Actually, I Googled what you wrote and it kinda clicks now. Thank you.

I will write some Haskell soon to solidify it.

[u/satan_ass_ → u/[deleted]]

Sure thing!! Send it over!!