Wyzwanie polega na napisaniu interpretera dla niepisanego rachunku lambda w jak najmniejszej liczbie znaków. Nietypowy rachunek lambda definiujemy w następujący sposób: Składnia Istnieją następujące trzy rodzaje wyrażeń: Wyrażenie lambda ma postać, w (λ x. e)której xmoże być dowolną nazwą...
Zadanie Napisz program lub funkcję, która podając trzy łańcuchy A, B, Ctworzy łańcuch wyjściowy, w którym rekurencyjnie podstawiono każde wystąpienie Bin . Rekurencyjne podstawianie oznacza powtarzanie podstawienia, w którym na każdym etapie wszystkie nie nakładające się wystąpienia in (wybrane...
SKI rachunek jest wariant rachunku lambda, która nie używać wyrażeń lambda. Zamiast tego używana jest tylko aplikacja i kombinatory S , K i I. W tym wyzwaniu Twoim zadaniem jest przetłumaczenie terminów SKI na terminy Lambda w postaci β normalnej . Specyfikacja wejściowa Dane wejściowe to...
Cel Wygeneruj oryginalną zaszyfrowaną listę na podstawie ruchów, które wykonałby Sortowanie wstawiania , aby ją posortować. Oryginalna lista będzie zawierać wszystkie liczby od 0do N-1(włącznie), gdzie Njest rozmiar danych wejściowych. Wejście Lista zawierająca niezbędne ruchy do posortowania...
tło Wizualizacja terminów rachunku λ Słynny żongler lambda (i golfista kodu ) John Tromp opracował interesującą wizualizację terminów w rachunku λ. Jego słowami: abstrakcje (lambda) są reprezentowane przez linie poziome, zmienne przez linie pionowe wychodzące z ich wiążącej lambda, a aplikacje...