Как заставить оценку лямбда-термина в haskell сильной нормальной форме

Question

Мне было интересно, можно ли отменить ленивую оценку в Haskell;
Я бы хотел, чтобы оценка лямбда-термина была прочной нормальной формой.

Например: Я хотел бы \x -> (\y -> y) x 1 быть сведено к \x -> x 1

Заранее спасибо.

Answer 1

Вы не можете этого сделать. Причина в том, что Haskell не должен выполнять сокращения лямбда-термина. Haskell оценивает программы (лямбда-термины) на значения. Одна из возможностей, как это сделать, - действительно выполнить сокращения лямбда-термина, но это было бы весьма неэффективно. Поэтому компиляторы Haskell используют множество сложных методов, таких как сокращение графика. Поэтому вы не можете наблюдать различия, такие как (\x -> x) y vs y во время процесса оценки - фактических лямбда-терминов не наблюдается.

Обратите внимание, что GHC имеет NFData класс типа, который позволяет оценить условия их нормальных форм с использованием rnf - г -educe к н -ormal е -orm (но только продуктов или побочных продуктов, он по-прежнему Безразлично» t оценивать термины под лямбдами, как отметил @JakeMcArthur). Однако это не дает вам доступа к нормальной форме, выраженной в виде лямбда-термина. Он только сообщает Haskell выполнить эту оценку во время вычисления.

Answer 2

Этот вопрос может быть рассмотрен суперкомпьютерами. Прямо сейчас, нет ничего, что действительно хорошо работает с текущими ghc и текущими пакетами.

Там существует старая реализация суперкомпилятора: http://community.haskell.org/~ndm/supero/

I вы заинтересованы в некоторых новых соображений, это может заинтересовать: http://pure.ltu.se/portal/files/2231262/nwpt08-scp.pdf

Однако я не могу ни предложить правильное решение.