/ / Чи може ГГЧ попереджати про використання небезпечних неповних функцій? - haskell, обробка помилок, аварія, ghc, попередження компілятора

Чи може ГГЧ попереджати про використання небезпечних неповних функцій? - haskell, обробка помилок, аварія, ghc, попередження компілятора

Я швидко писав якийсь код в Haskell, і використовував небезпечну неповну функцію, а саме fromJust (де я очікую значення від введення). Я буду думати пізніше, який стиль обробки помилок я хочу використовувати.

Можливо, GHC допоможе мені переконатися, що я позбувся всіх випадків використання небезпечних неповних функцій (наприклад, fromJust або head, що може вдарити), дайте мені попередження, де вони є.

Відповіді:

3 для відповіді № 1

GHC може попередити про визначення з частковими моделями з -fwarn-incomplete-patterns (хоча не попереджає про використання значень, які містять неповні шаблони). Крім того, Ніл Мітчелл " виловити намагається дещо більш детальний аналіз для виявлення безпечних та небезпечних викликів часткових функцій. (Хоча, звичайно, це "нерозв'язна проблема в цілому, так що воно завжди вийшло правильно!")