Reduce type checking complexity and in the future better inference.
Context
Unification may be painful to implement but it is very desirable, additionally it allows to simplify the typechecker by fusing check and infer. Currently this doesn't implement higher-order unification as that requires a bit more machinery.
Goals
Reduce type checking complexity and in the future better inference.
Context
Unification may be painful to implement but it is very desirable, additionally it allows to simplify the typechecker by fusing check and infer. Currently this doesn't implement higher-order unification as that requires a bit more machinery.
Related
206