Abstract Hindley-Milner typechecking over the category of types #4

MxmUrw · 2022-01-14T12:58:42Z

This involves the following:

Create a signature type for hindley milner checking.
Fix typechecking to use the new definitions.
Collect the additional axioms required for the type category.

Now the type system is polymorphic over the category of types. All files, except the actual type checking are updated. For #4.

For #4.

MxmUrw mentioned this issue Jan 14, 2022

Conflict between different implementation possibilities for coproducts in ⧜𝐒𝐮𝐛𝐬𝐭 T #3

Open

2 tasks

MxmUrw added this to the Hindley Milner typechecking compiles and runs milestone Jan 14, 2022

MxmUrw added a commit that referenced this issue Jan 14, 2022

Add signature for Hindley-Milner TT.

3fc7002

Now the type system is polymorphic over the category of types. All files, except the actual type checking are updated. For #4.

MxmUrw added a commit that referenced this issue Jan 14, 2022

Fix HM typechecking algorithm to use signature.

6733867

For #4.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Abstract Hindley-Milner typechecking over the category of types #4

Abstract Hindley-Milner typechecking over the category of types #4

MxmUrw commented Jan 14, 2022 •

edited

Loading

Abstract Hindley-Milner typechecking over the category of types #4

Abstract Hindley-Milner typechecking over the category of types #4

Comments

MxmUrw commented Jan 14, 2022 • edited Loading

MxmUrw commented Jan 14, 2022 •

edited

Loading