Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
sfba.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for the San Francisco Bay Area. Come on in and join us!

Administered by:

Server stats:

2.3K
active users

sfba.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#monad

0 posts0 participants0 posts today
Esparta :ruby:<p>''All told, a <a href="https://ruby.social/tags/monad" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monad</span></a> in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of endofunctors and unit set by the identity endofunctor.”</p><p><a href="https://stackoverflow.com/a/3870310" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">stackoverflow.com/a/3870310</span><span class="invisible"></span></a></p>
Jencel Panic<p>A <a href="https://mathstodon.xyz/tags/monad" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monad</span></a> is when you know how to convert $M (M a)$ to $M a$, but not $M a$ to $a$.</p><p><a href="https://mathstodon.xyz/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>categorytheory</span></a> <a href="https://mathstodon.xyz/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a></p>
Gabe Wachob 🐵🐴👨‍💻👨‍🎤🐮<p>Whenever someone writes a blog or tries to explain the concept of <a href="https://sfba.social/tags/monad" class="mention hashtag" rel="tag">#<span>monad</span></a> they claim its just a simple concept with fancy words... and then completely fail to explain the concept. Lots of verbiage about functions and closures and math theory, but no actual explanation of what they are in a common language like Python or Java or Swift, etc. Just Haskell (and strangely, C#, but not helpful to me, at least).</p><p>Finally discovered that its coming from the Functional Programming camp, which explains why the gaslighting about being &quot;simple&quot;. I guess its simple if you assume you are working in a completely functional programming -- but if you don&#39;t state that out loud, all the &quot;simple explanations&quot; in the world don&#39;t matter if your description isn&#39;t grounded in something I know about.</p><p>Turns out that the Apple Combine Framework is close to monads (and functional programming) --- I get that its not exactly the same, but at least I can ground my understanding now... </p><p><a href="https://www.hackingwithswift.com/interviews/daniel-steinberg-what-are-monads" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">hackingwithswift.com/interview</span><span class="invisible">s/daniel-steinberg-what-are-monads</span></a></p>
Gabe Wachob 🐵🐴👨‍💻👨‍🎤🐮<p>I&#39;ve been a professional <a href="https://sfba.social/tags/SoftwareEngineer" class="mention hashtag" rel="tag">#<span>SoftwareEngineer</span></a> for decades, and I still have no idea what a <a href="https://sfba.social/tags/Monad" class="mention hashtag" rel="tag">#<span>Monad</span></a> is. </p><p>Every time I try to read up, I seem to get descriptions that are highly abstract and confusing. It reminds me a bit of first learning what a &quot;tensor&quot; is... most people have very simple examples of tensors, but can&#39;t explain why it is a &quot;thing&quot; relative to other things.</p><p>Clearly &quot;monad&quot; solves a problem of some kind, but I haven&#39;t the foggiest idea what it is.</p><p>Please enlighten me. 😁</p>
ExploreLive feeds
About