This category holds links for operating systems (OSs) based on, or which use heavily, functional programming and languages, and related topics, for which this is the main rationale.