lambda_notation

u/lambda_notation@lemmy.ml
0 posts · 11 comments

Recent posts

No posts.

Recent comments

on Monads · c/programmer_humor · 2 pts · 304d

They're just an abstraction to model and contain implicits, for instance like IO (filesystems) or program state. Regular functions should produce the same output for the same input, if they do not you have implicit effects. You can think of it kinda like a class, or a context, or a module which has some functions to help work with the implicit effect. Central then is also that each such class, context, or module can be composed with others of the same kind, maintaining a lineage of the implicit effect.

Is the linux kernel and gnu userland a bastion of security? Of course not, but it is still magnitude orders better than M$ counterparts for a multitude of reasons. Not even M$ runs windows as a baseplate on Azure. It is a net positive for humanity if more people and orgs ran linux based operating systems.

"They used physics to do it" is just a laughably pathetic motivation. Nobel hated "abstract wankery" or "intellectual masturbation" and wanted to promote results which benefitted the common man and society directly. This is incidentally also why there doesn't exist a Nobel prize in economics. The nobel prize comitte has since long abandoned Nobel's will in this matter and it is anyones guess what the order of magnitude of spin Nobel's corpse has accumulated.

jfs+lvm on personal machines, ceph on storage, I used to use zfs on solaris and freebsd but haven't touched it in linux (there isn't any good reason, and I prefer to not break licensing)