Почему я не могу определить тип в GHCi? - PullRequest
3 голосов
/ 05 марта 2011

Почему я не могу определить тип в GHCi?

Prelude> data MyBool = T | F

<interactive>:1:0: parse error on input `data'

1 Ответ

5 голосов
/ 05 марта 2011

GHCi - это очень простой REPL, который читает выражения и печатает результаты (обычно) и может быть представлен в виде интерактивного do выражения. Проблема с разрешением общих конструкций Haskell состоит в том, (а) как объединить их в уже загруженную программу, (б) что делать с ними при перезагрузке или других действиях, которые сбрасывают состояние REPL. Кроме того, есть вопросы о том, что делать, когда определение конфликтует с чем-то уже определенным. И еще один простой факт: текущая реализация - это просто средство оценки выражений, тогда как компиляция нового кода более сложна.

...