Nu is the greatest fixed point of a functor F
. It is a computation that
can generate a coinductive infinite structure on demand.
In Haskell this can more aptly be expressed as: data Nu g = forall s . Nu (s -> g s) s
- Companion:
- object
trait Serializable
class Object
trait Matchable
class Any