Gadts meet their match

PatternMatchCheck – GHC

gadts meet their match

GADTs meet their match (Extended Version) Pattern-matching warnings that account for GADTs, guards, and laziness. GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness. Georgios Karachalias. Ghent University, Belgium. Stephen Pimentel · @StephenPiment. Distributed systems, Python data ecosystem, machine learning, TensorFlow. Haskell by preference.

У Танкадо не было причин подозревать, что код в Интернете не является оригиналом. Никто не имел к нему доступа, кроме него самого и Северной Дакоты. Если бы Танкадо не вернулся к анализу программы после ее выпуска свет, он ничего бы не узнал про этот черный ход.

gadts meet their match

Но он так долго трудился над Цифровой крепостью, что вряд ли ему захотелось бы к ней возвращаться.

Сьюзан понадобилось некоторое время, чтобы все это осмыслить.