Câu hỏi được gắn thẻ «lisp»

Có vẻ như tôi đã tìm thấy một cách chung để chuyển đổi bất kỳ thủ tục đệ quy nào thành đệ quy đuôi: Xác định thủ tục phụ trợ giúp với tham số "kết quả" bổ sung. Áp dụng những gì sẽ được áp dụng cho giá trị trả …

13 algorithms  logic  recursion  lisp 

Có thể sử dụng các loại phụ thuộc trong triển khai Vợt đánh máy hiện có không? (tức là họ có tồn tại trong đó không?) Có hợp lý không khi thực hiện Hệ thống các loại phụ thuộc bằng cách sử dụng vợt đánh máy?

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