Pytania otagowane jako lambda-calculus

Rachunek λ jest formalnym systemem do definiowania funkcji, stosowania funkcji i rekurencji, który stanowi matematyczną podstawę programowania funkcjonalnego.

Najprostsza kompletna para bazowa kombinacji dla wyrażeń płaskich

W artykule Chrisa Okasakiego „ Spłaszczające kombinatory: przetrwanie bez nawiasów ” pokazuje, że dwa kombinatory są wystarczające i konieczne jako podstawa do kodowania wyrażeń pełnych Turinga bez potrzeby użycia operatora lub nawiasów. W porównaniu z kodowaniami kombinatorycznej logiki Johna Trumpa w „ Binary Lambda Calculus and Combinatory Logic ” poprzez …

9 lambda-calculus combinatory-logic

Czy kombinacyjne terminy logiczne są zawsze większe?

Istnieje więc algorytm konwertujący warunki rachunku lambda na logikę kombinatoryczną za pomocą kombinatorów SK. Produkuje rzeczy, które eksplodują wielkością. Chciałbym dowiedzieć się więcej o tej eksplozji w rozmiarze. Nie mogę jednak wymyślić lepszego algorytmu. Słyszałem, że języki funkcjonalne są praktycznie kompilowane z kombinatorami, więc wydaje się, że musi istnieć lepszy …

9 lambda-calculus functional-programming combinatory-logic

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.