Show newer

@monorail a n y w a y look into monadic parsing sometime it's very cool

@monorail if you ever look into coding a monadic parser with nondeterministic output i think the idea of list-monad-as-parallel-universes might click into place fur you

pedantry 

@monorail the data types are not monads; the data type and the implementations of the wrapper and the runner functions are what constitute a monad. i mention this because i know of two monads on List; similarly, you could feasibly define two very diffurent kinds of monads around lazy evaluation

@monorail as far as the purractical considerations go, yes, you get it, that’s what you use a monad fur

the thing to observe that you didn’t mention is that the interface to this abstraction/contextualization is extremely general, and exactly reusable line-fur-line with other abstractions, which is neat

#Jortage — after Stripe shitcanned my account due to them no longer allowing donations on their platform (my account was in good standing, as it has been for years), all recurring donations are gone. Currently, we're receiving $340.47/mo out of the $340.47/mo we need to break even!!!!!!!!!!!!!!!!!!

JORTAGE IS FULLY FUNDED!

(100.00%) ■■■■■■■■■■
last updated June 04 23:17 PDT

Please consider pitching in on the new payment processor if you can!

Pick one.

when i have gone away
ripe berries
the moon wanes

after a long nap
in envelopes
the bright moon arrives

Show older
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.