псы в рапиде » from archive
Передав эту волшебную строку, содержащую идентификатор языка, аргументом в любую функцию, можно получить в результате ту же функцию, написанную на указанном языке.
это видимо такой lambda-zipper Тьюринга, или же вирус, работающий на уровне лямбда-исчисления. ‎· псы в рапиде
можно ли создать такой лямбда-терм, который будет вычисляться в пару из результата вычисления и последовательности действий, которые с ним производились? ‎· псы в рапиде
Можно, создавай. ‎· всё это очень важно
если создать такой терм, это будет неплохой отладчик. ‎· 9000
42 ему передать. ‎· defann