Pertanyaan yang diberi tag interaction-nets

Bagaimana Anda menyandikan algoritma abstrak Lamping menggunakan kombinator interaksi?

Kombinator interaksi telah diusulkan sebagai target kompilasi untuk kalkulus λ sebelumnya. Makalah itu mengimplementasikan kalkulus λ penuh. Diketahui juga bahwa adalah mungkin untuk mengoptimalkan pengkodean interaksi-bersih dari kalkulus-λ untuk subset dari istilah-istilah yang memiliki tipe-EAL....

Apakah evaluator optimal sebenarnya optimal?

Istilah berikut (menggunakan bruijn-indeks): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Ketika diterapkan pada nomor gereja, Nevaluasi ke bentuk normal dengan cepat di beberapa evaluator yang ada, termasuk yang naif ....