Haskell’s
In Haskell, the fixfix function takes some f :: a -> a and returns the least defined x such that f x = x
Example. fix (3 :) gives an infinite list of 3s. The result isn’t ⊥ because f ⊥ = 3:⊥ ≠ ⊥.
fixfix function takes some f :: a -> a and returns the least defined x such that f x = x
Example. fix (3 :) gives an infinite list of 3s. The result isn’t ⊥ because f ⊥ = 3:⊥ ≠ ⊥.