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 | 20672 reads
|
Browse archives
Active forum topics |
Recent comments
5 days 9 hours ago
41 weeks 3 hours ago
41 weeks 6 hours ago
41 weeks 7 hours ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago