User loginNavigation |
GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and LazinessGADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness by Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon Peyton Jones:
Another great paper on a very useful incremental improvement on GADTs as found in Haskell, OCaml and Idris. Exhaustiveness checking is critical for a type system's effectiveness, and the redundant matching warnings are a nice bonus. |
Browse archivesActive forum topics |
Recent comments
1 hour 42 min ago
5 hours 54 min ago
18 hours 27 min ago
18 hours 30 min ago
18 hours 58 min ago
1 day 2 hours ago
1 day 2 hours ago
1 day 2 hours ago
1 day 13 hours ago
1 day 14 hours ago