Pertanyaan yang diberi tag «lisp»

Tampaknya saya telah menemukan cara umum untuk mengubah prosedur rekursif apa pun menjadi rekursi ekor: Tentukan sub-prosedur pembantu dengan parameter "hasil" tambahan. Terapkan apa yang akan diterapkan pada nilai pengembalian prosedur ke parameter itu. Hubungi prosedur bantuan ini untuk memulai. Nilai awal untuk parameter "hasil" adalah nilai untuk titik keluar …

13 algorithms  logic  recursion  lisp 

Apakah mungkin untuk menggunakan Tipe Tanggungan dalam implementasi Typed Racket yang ada ? (Yaitu apakah mereka ada di dalamnya?) Apakah mungkin untuk menerapkan Sistem Jenis Tanggungan menggunakan Typed Racket?

9 programming-languages  typing  type-checking  dependent-types  lisp