递归合约，如 Typed Racket 的 'Rec' 类型

Question

Typed Racket 的 Rec 类型是创建递归类型的简单方法：

#lang typed/racket/base

(define (deep (n : Integer)) : (Rec T (U Integer (List T)))
  (if (zero? n)
    n
    (list (deep (- n 1)))))

是否有类似的方法来制作递归合约？ Racket 的recursive-contract 不一样。

Answer 1

合同表达式只是表达式！您可以编写一个宏，它接受 Typed Racket 的 Rec 之类的输入，并将“递归标识符”替换为自引用。

这是一个示例rec/c 组合子，其中(rec/c id ctc) 扩展为ctc，所有出现的id 都替换为(recursive-contract id)。

#lang racket/base
(require racket/contract (for-syntax racket/base syntax/parse))

(define-syntax-rule (rec/c t ctc)
  (letrec ([rec-ctc
            (let-syntax ([t (syntax-parser (_:id #'(recursive-contract rec-ctc)))])
              ctc)])
      rec-ctc))

(define/contract (deep n)
  (-> integer? (rec/c t (or/c integer? (list/c t))))
  (if (zero? n)
    n
    (list (deep (- n 1)))))

(deep 4)

注意：模式_:id 匹配任何使用t 作为标识符。