Login

Recent searches

No recent searches

Search options

Only available when logged in.
fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

9.9K
active users

fosstodon.org: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#monadic

0 posts0 participants0 posts today
dorotaC<p>Ever wanted to use <a href="https://fosstodon.org/tags/Rust" class="mention hashtag" rel="tag">#<span>Rust</span></a> to manipulate images like iterators?</p><p>image<br /> .map(to_rgb)<br /> .filter(|r, g, b| b &gt; 100)<br /> .collect();</p><p>Well, I don&#39;t quite have that, but I do have a <a href="https://fosstodon.org/tags/monadic" class="mention hashtag" rel="tag">#<span>monadic</span></a>-ish library called <a href="https://fosstodon.org/tags/obraztam" class="mention hashtag" rel="tag">#<span>obraztam</span></a>.</p><p><a href="https://framagit.org/dcz/obraztam" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">framagit.org/dcz/obraztam</span><span class="invisible"></span></a></p><p>It&#39;s <a href="https://fosstodon.org/tags/immutable" class="mention hashtag" rel="tag">#<span>immutable</span></a>-first, it has .map() and .zip() and it optimizes to <a href="https://fosstodon.org/tags/SIMD" class="mention hashtag" rel="tag">#<span>SIMD</span></a> instructions. Can be easily parallelized even more.</p><p>I used it to detect <a href="https://fosstodon.org/tags/laser" class="mention hashtag" rel="tag">#<span>laser</span></a> beams in the picture!</p><p><a href="https://fosstodon.org/tags/graphics" class="mention hashtag" rel="tag">#<span>graphics</span></a> <a href="https://fosstodon.org/tags/monad" class="mention hashtag" rel="tag">#<span>monad</span></a> <a href="https://fosstodon.org/tags/iterator" class="mention hashtag" rel="tag">#<span>iterator</span></a></p>
Volkan Özçelik<p>mo: Monads, but in Go</p><p><a href="https://github.com/samber/mo" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">github.com/samber/mo</span><span class="invisible"></span></a></p><p><a href="https://z2h.dev/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://z2h.dev/tags/mo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mo</span></a> <a href="https://z2h.dev/tags/monads" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monads</span></a> <a href="https://z2h.dev/tags/monadic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monadic</span></a> <a href="https://z2h.dev/tags/go" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>go</span></a> <a href="https://z2h.dev/tags/libraries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>libraries</span></a></p>
xameer<p>How do you turn k*n 2d list l (vector) to n*k 2d list?<br>You make a <a href="https://ioc.exchange/tags/recursive" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>recursive</span></a> call <br>One way to get somewhat reliable answer is refining the type of l till its precise and do a case expression search in <a href="https://ioc.exchange/tags/idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>idris</span></a> which happens by <a href="https://ioc.exchange/tags/monadic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monadic</span></a> plumbing</p>
ExploreLive feeds
About