User loginNavigation |
Typing "let rec"I was putting together a small typechecker with a friend, who argued that the most straightforward way to determine the types of members of a set of mutually recursive functions would be to initially set the types of all to That definition would have rejected something like So my question is, are there important functions that my friend's definition leaves out? I know that "Types and Programming Languages" would have us apply By sdogood at 2008-04-11 12:19 | LtU Forum | previous forum topic | next forum topic | other blogs | 4254 reads
|
Browse archivesActive forum topicsNew forum topics
|
Recent comments
15 hours 54 min ago
3 days 11 hours ago
3 days 12 hours ago
4 days 14 min ago
4 days 17 min ago
4 days 12 hours ago
5 days 2 hours ago
3 weeks 13 hours ago
3 weeks 13 hours ago
4 weeks 1 day ago