Hindley Milner Algorithm J
$ runhaskell main.hs example/infinite.j
\x -> (x x)
(\x -> (x:t1 x:t1):Error(Infinite type)):(t1->Error(Infinite type))
- Recursive definitions
Tiseno/AlgorithmJ
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
$ runhaskell main.hs example/infinite.j
\x -> (x x)
(\x -> (x:t1 x:t1):Error(Infinite type)):(t1->Error(Infinite type))