Racket/TypedRacket中与Haskell sum types等价的实现方式是什么？

Haskell 中的和类型（如 data MusicGenre = HeavyMetal | Pop | HardRock 这类无参数枚举，或带参数的代数数据类型），在 Racket 和 Typed Racket 中有多种对应实现方式，分场景说明如下：

Typed Racket 实现（带静态类型检查） #

Typed Racket 提供了贴近 Haskell 风格的和类型定义方式，同时支持静态类型校验。

1. 无参数和类型（枚举）：define-data（推荐） #

使用 define-data 可以直接定义与 Haskell data 语法对齐的和类型，每个构造器对应一个无参结构体：

#lang typed/racket

(define-data MusicGenre
  [HeavyMetal]
  [Pop]
  [HardRock])

使用时通过构造器创建实例，并用 match 进行模式匹配：

(: genre-to-string (-> MusicGenre String))
(define (genre-to-string g)
  (match g
    [(HeavyMetal) "Heavy Metal"]
    [(Pop) "Pop"]
    [(HardRock) "Hard Rock"]))

;; 调用示例
(genre-to-string (HeavyMetal)) ; 返回 "Heavy Metal"

2. 无参数和类型（枚举）：联合类型 U #

如果不需要构造器的额外逻辑，也可以直接用符号的联合类型来简化定义：

#lang typed/racket

(define-type MusicGenre (U 'HeavyMetal 'Pop 'HardRock))

使用时直接传递符号，模式匹配逻辑类似：

(: genre-to-string (-> MusicGenre String))
(define (genre-to-string g)
  (match g
    ['HeavyMetal "Heavy Metal"]
    ['Pop "Pop"]
    ['HardRock "Hard Rock"]))

3. 带参数的和类型 #

对于带参数的和类型（如 Haskell 的 data Maybe a = Nothing | Just a），可以通过结构体 + 联合类型实现：

#lang typed/racket

;; 定义两个结构体，共享同一个类型名 Maybe
(struct Nothing [] #:type-name Maybe)
(struct (a) Just ([value : a]) #:type-name Maybe)
;; 定义联合类型 Maybe
(define-type (Maybe a) (U Nothing (Just a)))

;; 使用示例
(: maybe-default (All (a) (-> (Maybe a) a a)))
(define (maybe-default m default-val)
  (match m
    [(Nothing) default-val]
    [(Just v) v]))

(maybe-default (Just 42) 0) ; 返回 42
(maybe-default (Nothing) 0) ; 返回 0

普通 Racket 实现（无静态类型） #

普通 Racket 没有静态类型系统，可通过结构体或约定符号来模拟和类型：

1. 结构体模拟 #

与 Typed Racket 逻辑类似，用结构体定义每个构造器：

#lang racket

(struct HeavyMetal ())
(struct Pop ())
(struct HardRock ())

(define (genre-to-string g)
  (match g
    [(HeavyMetal) "Heavy Metal"]
    [(Pop) "Pop"]
    [(HardRock) "Hard Rock"]))

2. 符号约定 #

更轻量的方式是直接使用符号，通过模式匹配区分不同类型分支：

#lang racket

(define (genre-to-string g)
  (match g
    ['HeavyMetal "Heavy Metal"]
    ['Pop "Pop"]
    ['HardRock "Hard Rock"]))

带参数的和类型 #

同样用结构体实现带参数的分支：

#lang racket

(struct Nothing ())
(struct Just (value))

(define (maybe-default m default-val)
  (match m
    [(Nothing) default-val]
    [(Just v) v]))

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