A more general pillar of functional languages is referential transparency, which does not rule out mutability. It simply means that a function’s output is deter

A more general pillar of functional languages is referential transparency, which does not rule out mutability. It simply means that a function’s output is determined by its input alone. Have a look at Clean, uniqueness types and linear types in general, for instance.