lambda-calculus
Jakie są zasoby do nauki rachunku Lambda? [zamknięte]
Więc wpis na Wikipedii o rachunku Lambda był ciekawy, ale skończyłem. Chciałbym zanurkować głębiej i lepiej zrozumieć rachunek Lambda.
Czy ktoś może polecić najlepszą książkę lub podkład do rachunku Lambda?
Dlaczego λ-calculus optimal evaluators jest w stanie obliczyć Duże wykładniki modularne bez wzorów?
Liczby kościelne są kodowaniem liczb naturalnych jako funkcji.
(\ f x → (f x)) -- church number 1
(\ f x → (f (f ... odularnego algorytmu arytmetycznego ani wzoru. więc, jak optymalny oceniający jest w stanie dotrzeć do właściwych odpowiedzi?
Jak pomocna jest znajomość rachunku lambda? [zamknięte]
Do wszystkich, którzy znają rachunek lambda : Jakie korzyści przyniosło ci to, jeśli chodzi o programowanie? Czy poleciłbyś, żeby ludzie się tego nauczyli?
Czym jest call/cc?
Próbowałem kilka razy zrozumieć pojęcie kontynuacje i call / cc . Każda próba była porażką. Czy ktoś mógłby mi wyjaśnić te p ... OOP. Rozumiem też Zgromadzenie 6502 i miałem małe randez-vous Z Erlangiem. Jednak nadal nie mogę zawinąć głowy wokół call/cc.
Czy możliwe jest zbudowanie stosunkowo szybkiej Maszyny do obliczeń lambda?
Czysty rachunek lambda jest potężnym pojęciem. Jednak zbudowanie maszyny lub interpretera do użytku w świecie rzeczywistym je ... y:
Model Maszyny do programowania funkcyjnego
historyczne powody przyjęcia maszyny Turinga jako modelu podstawowego
Etapy redukcji rachunku Lambda
Studiuję rachunek Lambda i utknąłem w redukcji.... Czy ktoś może wyjaśnić rodzaje redukcji za pomocą tego przykładu, zwłaszcz ... i beta w najprostszy możliwy sposób. Również nie przeszkadza łatwy do zrozumienia samouczek.
(λxyz .xyz )(λx .xx )(λx .x )x
Jak Haskell dodał kompletność Turinga do systemu F?
Czytałem o różnych systemach typu i Lambda calcules, i widzę, że wszystkie typy lambda calcules w Lambda cube są silnie norma ... minimalna zmiana niezbędna do umożliwienia Turinga pełnego obliczenia?
Dziękuję bardzo każdemu, kto pomoże mi to zrozumieć.
Wywołanie / zastosowanie lambda a wywołanie funkcji-składnia w Rubim jest inna. Dlaczego?
Jestem trochę nowy w Rubim i nadal staram się zrozumieć niektóre z zasad projektowania języka. Jeśli dobrze zrozumiałem, wyra ... kładnia jest inna? Lub, innymi słowy, (dlaczego) powinien być świadomy, czy wywołują funkcję lub zastosować wyrażenie lambda?
Co rozumie się przez "przechwytywanie-unikanie substytucji"?
Czytając rachunek Lambda w Wiki, natknąłem się na termin Capture-avoiding substitutions. Czy ktoś może wyjaśnić, co to znaczy ... Chcę wiedzieć, dlaczego ta operacja Przechwytywanie-unikanie substytucji . Byłoby bardzo pomocne, gdyby ktoś mógł to zrobić
Jakie są najnowocześniejsze metody rozwiązywania równań funkcyjnych?
Załóżmy, że chcesz znaleźć program λ-rachunku różniczkowego, T, który spełnia następujące równania:
(T (λ f x . x)) ... ieje jakaś strategia automatycznego rozwiązywania takich równań λ-rachunku różniczkowego? Jaki jest stan wiedzy na ten temat?
Redukcja rachunku Lambda
Wszystkie,
Poniżej znajduje się wyrażenie lambda, które trudno mi zredukować, tzn. nie jestem w stanie zrozumieć, jak porad ... zy ktoś może mi pomóc zrozumieć, że dla dowolnego wyrażenia rachunku lambda, jakie powinny być kroki do wykonania redukcji?
Jak poprawnie uruchomić funkcję w JavaScript?
Napisałem prostą curry funkcję w JavaScript, która w większości przypadków działa poprawnie:
const add = curry((a, b, ... % 2 === 1;
countWhere(odd, [1,2,3,4,5]);
Jednak zamiast zwracać 3 (długość tablicy [1,3,5]), zwraca funkcję. Co robię źle?