Я несколько раз выполнил некоторые задачи обслуживания на нескольких сценариях Perl. Одно из требований - загрузить пару десятков файлов (HTTP) параллельно. Я просмотрел CPAN для самого простого решен
Я пишу лямбда-исчисление в F #, но я застрял на реализации бета-редукции (заменяя формальные параметры фактическими параметрами). (lambda x.e)f
--> e[f/x]
Пример использования: (lambda n. n*2+3) 7
http://muaddibspace.blogspot.com/2008/01/type-inference-for-simply-typed-lambda.html - краткое определение просто типизированного лямбда-исчисления в Prolog. Это выглядит нормально, но тогда он намере
Так что я полностью застрял в этой части проблемы. Было бы здорово, если бы кто-то помог ......... Показать, что термин ZZ, где Z является λz.λx. x (z z x) удовлетворяет требованию для комбинаторов с