Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Fixed/
:
(
Recursive
t
) ~ (
Fixed
t
)
:
Supertype
(
Fixed
t
) ~ (
t
(
Fixed
t
)
)
The only one polymoprhic primitive that is not a
functor
.
It comes from a definition of
fixed point
.