Follow

@flesh A miserable little pile of types. 🍷

· · Web · 1 · 0 · 1

@flesh In a bit less jest, I like to think of it as a bit of a smart black box. You can tell it what to do and it'll do it if the type inside it is right.

@flesh Okay, not what I was aiming for. 😅
First of all, a monad is data. More concretely, it's a generic data type, usually wrapping two types.
And then you can give a monad a function and it'll call the function (and give you a new monad) if the data it's currently wrapping is of correct type.

@flesh Like the most popular modal is Maybe (sometimes called Option). It can hold either a thing or nothing. If you give it a function and it holds nothing, it'll do nothing. If you give it a function and it holds a thing, it'll apply the function to the thing and give you a new monad with the result.

Sign in to participate in the conversation
Awoo Space

Awoo.space is a Mastodon instance where members can rely on a team of moderators to help resolve conflict, and limits federation with other instances using a specific access list to minimize abuse.

While mature content is allowed here, we strongly believe in being able to choose to engage with content on your own terms, so please make sure to put mature and potentially sensitive content behind the CW feature with enough description that people know what it's about.

Before signing up, please read our community guidelines. While it's a very broad swath of topics it covers, please do your best! We believe that as long as you're putting forth genuine effort to limit harm you might cause – even if you haven't read the document – you'll be okay!