

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’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.