Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Normand, Jacques Le"'
Autor:
Garrigue, Jacques, Normand, Jacques Le
Publikováno v:
EPTCS 241, 2017, pp. 23-35
Sound exhaustiveness checking of pattern-matching is an essential feature of functional programming languages, and OCaml supports it for GADTs. However this check is incomplete, in that it may fail to detect that a pattern can match no concrete value
Externí odkaz:
http://arxiv.org/abs/1702.02281
