Pytania otagowane jako lambda-calculus


1
Czym jest rachunek λ?
Mam coś, co nazwałbym filozoficznym pytaniem o rachunek λ. Podczas eksploracji rachunku λ będziesz zaskoczony, widząc wszystkie rzeczy, które możesz tam zrobić. Możesz zdefiniować liczby całkowite, operacje arytmetyczne, booleany, instrukcje if-then-else, pętle, funkcje rekurencyjne itp. Uważam, że zostało ono obliczone jako kompletne. Ale z drugiej strony, jeśli weźmiesz pod uwagę, …
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.