User loginNavigation |
archivesQuestion: Graceful error recovery during parsingI was hoping for a few pointers to good information on parsers that can recover from errors and continue to parse the remainder of their input, skipping portions of the text that are not valid in a clean way. Thanks! Number-Parameterized Types by Oleg KiselyovNumber-Parameterized Types by Oleg Kiselyov
Oleg shows several approaches towards encoding numbers into types and using those numbers to check list length, matching sizes for matrices or vectors. Oleg also points out connections to dependent types, phantom types, and shape-invariant programming. By shapr at 2005-10-03 13:18 | Implementation | Type Theory | 8 comments | other blogs | 10576 reads
|
Browse archivesActive forum topics |
Recent comments
2 weeks 5 days ago
2 weeks 5 days ago
2 weeks 5 days ago
24 weeks 6 days ago
29 weeks 1 day ago
30 weeks 5 days ago
30 weeks 5 days ago
33 weeks 3 days ago
38 weeks 1 day ago
38 weeks 1 day ago