递归合同，例如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)))))

是否有类似的方式来创建递归合同？ 球拍的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用作标识符的任何用法。