User avatar
» from archive

Передав эту волшебную строку, содержащую идентификатор языка, аргументом в любую функцию, можно получить в результате ту же функцию, написанную на указанном языке.

Comment

это видимо такой lambda-zipper Тьюринга, или же вирус, работающий на уровне лямбда-исчисления.

 ‎· псы в рапиде
Comment

можно ли создать такой лямбда-терм, который будет вычисляться в пару из результата вычисления и последовательности действий, которые с ним производились?

 ‎· псы в рапиде
Comment

Можно, создавай.

 ‎· душный варвар
Comment

если создать такой терм, это будет неплохой отладчик.

 ‎· 9000
Comment

42 ему передать.

 ‎· defann

1 2 3 4 5 6 7 8 9 10