User loginNavigation |
How are GADTs useful in practical programming?GADTs are obviously currently a hot topic in functional programming research. Most of the papers focus only on the GADT mechanism (how type checking works etc.). The only example that one usually sees is the "typed evaluator". I am not an expert on this topic, and I'd like to know more about how they would actually be useful in practical programming. For example, I wonder how a parser would look like if it is impossible to construct "wrong" ASTs. Would type checking then effectively take place during parsing? How would a type error in the parsed program be detected and thrown? What other interesting applications exist? In general, how do GADTs change the programming model? By Klaus Ostermann at 2006-02-07 16:11 | LtU Forum | previous forum topic | next forum topic | other blogs | 19705 reads
|
Browse archivesActive forum topics |
Recent comments
1 week 6 days ago
4 weeks 1 day ago
13 weeks 3 days ago
13 weeks 5 days ago
13 weeks 6 days ago
20 weeks 6 days ago
26 weeks 4 days ago
26 weeks 5 days ago
27 weeks 4 days ago
30 weeks 2 days ago