Привет. У меня нубский вопрос. Допустим есть две функции hello ::

Question

Привет. У меня нубский вопрос. Допустим есть две функции hello ::

Maybe Int -> Int
hello (Just foo) = foo

world :: Int
world = hello Nothing

С точки зрения типизации тут всё правильно, но очевидно что

1) в функции hello не рассмотрены все возможные клаузы для типа Maybe Int
2) функция world из-за пункта 1 будет всегда бросать exception

Как сделать так чтобы компилятор хаскеля указывал на подобные ошибки?

#haskell #programming #russian

0

10.09.2018

1 ответов

17 просмотров

Ilya · Accepted Answer

Ilya

1) -Wincomplete-patterns 2) А это не ошибка

0

11.09.2018

169 похожих чатов

Привет. У меня нубский вопрос. Допустим есть две функции hello ::

1 ответов

Похожие вопросы