hindley-milner
Hindley-Milner algorithm in Java
I\'m working on a simple dataflow based system (imagine it like a LabView editor/runtime) written in Java. The user can wire blocks together in an editor and I need type inference to ensure the datafl[详细]
2023-03-21 22:40 分类:问答Keeping type generic without η-expansion
What I\'m doing: I\'m writing a small interpreter system that can parse a file, turn it into a sequence of operations, and then feed thousands of data sets into that sequence to extract some final val[详细]
2023-01-22 01:09 分类:问答What makes Haskell's type system more "powerful" than other languages' type systems?
Reading Disadvantages of Scala type system versus Haskell?, I have to开发者_运维技巧 ask: what is it, specifically, that makes Haskell\'s type system more powerful than other languages\' type systems[详细]
2023-01-17 23:47 分类:问答Damas-Hindley-Milner type inference algorithm implementation
I\'m looking for information about the well-known Damas-Hindley-Milner algorithm to do type inference for functional languages, especially information about implementation.[详细]
2023-01-15 07:35 分类:问答What causes this Standard-ML type error?
I was trying to make a tail-recursive version of this very simple SML function: fun suffixes [] = [[]][详细]
2022-12-13 19:35 分类:问答Inferred type appears to detect an infinite loop, but what's really happening?
In Andrew Koenig’s An anecdote about ML type inference, the author uses implementation of merge sort as a learning exercise for ML and is pleased to find an “incorrect” type inferenc[详细]
2022-12-12 20:43 分类:问答