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 | 10571 reads
|
Browse archivesActive forum topics |
Recent comments
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 1 day ago
24 weeks 2 days ago
28 weeks 4 days ago
30 weeks 1 day ago
30 weeks 1 day ago
32 weeks 6 days ago
37 weeks 3 days ago
37 weeks 3 days ago