Pytania oznaczone «interaction-nets»

Jak kodujesz abstrakcyjny algorytm Lampinga za pomocą kombinacji interakcji?

Kombinatory interakcji były wcześniej proponowane jako cel kompilacji dla rachunku λ. Ten papier implementuje pełny rachunek λ. Wiadomo również, że możliwe jest zoptymalizowanie kodowania sieci interakcji rachunku λ dla podzbioru terminów λ, który jest typowy dla EAL. W tym artykule...

Czy optymalni ewaluatorzy faktycznie są optymalni?

Następujący termin (przy użyciu indeksów bruijn): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Po zastosowaniu do numeru kościoła Nszybko ocenia się w normalnej formie u kilku istniejących ewaluatorów, w tym naiwnych . Jeśli...