atennapel / plang Goto Github PK

REPL
:let Bool = t -> t -> t
done
:let true = Bool \a b -> a
done
:let false = Bool \a b -> b
done
:let if = \ c a b -> (\Bool f -> f a b) c
done
if
[Fn] : (Bool -> ('0 -> ('0 -> '0)))
:let Unit = t -> t
done
:let unit = Unit \x -> x
done
:let ifl = \c a b -> (if c a b) unit
done
ifl
[Fn] : (Bool -> ((Unit -> '0) -> ((Unit -> '0) -> '0)))
ifl true (\x -> false) (\x -> true)
TypeError: cannot unify (Unit -> ?0) ~ Bool