如何在Typed Racket中实现等价于Java Interface的结构？

一、普通Racket的对应实现 #

Java里的**接口（Interface）**对应Racket的interface语法，用于声明方法签名；**类（Class）**则用class*定义，指定需要实现的接口，继承自object%（对应Java的Object基类）。

你给出的示例已经是标准实现，这里拆解下对应关系：

• (interface () get-size grow eat)：定义fish-interface接口，声明三个方法签名，对应Java的interface Fish { int getSize(); void grow(); void eat(); }
• (class* object% (fish-interface) ...)：定义fish%类，实现fish-interface接口，继承自object%
• define/public：定义类的公共方法，对应Java的public方法
• new fish%：创建类实例，对应Java的new Fish()
• send my-fish grow：调用实例方法，对应Java的myFish.grow()

运行示例后，(send my-fish get-size)会返回4，符合预期。

二、Typed Racket中替代Interface的方案 #

Typed Racket没有直接的interface语法，但可以通过通用接口（Generic Interfaces）或结构体类型别名实现等价的抽象约束效果，这里推荐更常用的通用接口方案：

方案1：使用define-generics定义通用接口 #

define-generics可以定义一套方法签名，让不同的结构体实现这些方法，达到接口的多态效果：

#lang typed/racket

;; 定义通用接口，声明方法签名
(define-generics fish
  [get-size fish : -> Integer]
  [grow fish : -> Void]
  [eat fish : -> Void])

;; 实现具体的结构体（对应Java的类），绑定通用接口的方法
(struct fish% ([size : Integer])
  #:mutable  ; 允许修改size字段
  #:methods
  gen:fish   ; 实现fish通用接口
  [(define (get-size self) (fish%-size self))
   (define (grow self) (set-fish%-size! self (+ (fish%-size self) 1)))
   (define (eat self) (set-fish%-size! self (+ (fish%-size self) 2)))])

;; 使用示例
(define my-fish : (fish% Integer) (fish% 1))
(get-size my-fish)       ; 输出1
(grow my-fish)
(eat my-fish)
(get-size my-fish)       ; 输出4

方案2：结构体类型别名+方法字段 #

如果需要更灵活的抽象，可以定义包含方法字段的结构体类型别名，再实现具体的实例：

#lang typed/racket

;; 定义类型别名，约束必须包含指定方法
(define-type Fish-Interface
  (Struct
   [get-size : (-> Integer)]
   [grow : (-> Void)]
   [eat : (-> Void)]))

;; 创建实现该接口的实例
(define (make-fish) : Fish-Interface
  (define size : Integer 1)
  ;; 定义结构体实现方法
  (struct fish-impl
    ([get-size : (-> Integer)]
     [grow : (-> Void)]
     [eat : (-> Void)])
    #:type-name Fish-Interface)
  (fish-impl
   (λ () size)
   (λ () (set! size (+ size 1)))
   (λ () (set! size (+ size 2)))))

;; 使用示例
(define my-fish : Fish-Interface (make-fish))
((fish-interface-get-size my-fish))  ; 输出1
((fish-interface-grow my-fish))
((fish-interface-eat my-fish))
((fish-interface-get-size my-fish))  ; 输出4

两种方案中，define-generics更贴近Java接口的设计思路，支持多态，是Typed Racket中实现抽象接口的首选方式。

内容的提问来源于stack exchange，提问作者Gigaplant