Pytania otagowane jako lambda-calculus

13
Napisz interpreter dla nietypowego rachunku lambda
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ą zmiennej prawnej i edowolnym wyrażeniem prawnym. Tutaj xjest nazywany parametrem i …
22
Zastępowanie ciągu rekurencyjnego
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 zachłannie od lewej do prawej) są zastępowane przez, aż do momentu, …
25 code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 
4
Optymalizacja kompilatora SKI
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 termin SKI w następującej …
1
Konwertuj wyrażenia λ na wyrażenia SK
Λ-rachunek lub rachunek lambda, to system logiczny na podstawie funkcji anonimowych. Na przykład jest to wyrażenie λ: λf.(λx.xx)(λx.f(xx)) Jednak na potrzeby tego wyzwania uprościmy notację: Zmień λna \(aby ułatwić pisanie):\f.(\x.xx)(\x.f(xx)) .W nagłówkach lambda jest niepotrzebny, więc możemy go upuścić:\f(\xxx)(\xf(xx)) Użyj notacji prefiksowej w stylu Unlambda z `do aplikacji zamiast pisać …
8
Sortowanie z odwrotnym wstawieniem
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 listy. Każda wartość reprezentuje liczbę miejsc przesuniętych przez pierwotną (zaszyfrowaną) liczbę, aby znalazły …
19 code-golf  array-manipulation  code-golf  code-golf  animation  code-golf  restricted-source  code-golf  java  code-golf  decision-problem  graph-theory  code-golf  conversion  electrical-engineering  code-golf  ascii-art  code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 
4
Wizualizuj cyfry Kościoła
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 przez poziome połączenia łączące zmienne skrajnie lewe. Na przykład …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.