Juuso pfp
Juuso

@juuso

It seems that Eilenberg-Moore categories have a connection to automatic parallelization, by interleaving monads with coinductive data types. This abstracts recursion morphisms, which corresponds to basic principles of GPGPU computing.
0 reply
0 recast
0 reaction