在Typed Racket中创建0到1范围自定义浮点数类型的方法

在Typed Racket里，有两种常用方式实现这个需求：

1. 使用细化类型（静态约束） #

直接用Refine类型静态限定浮点数的范围，编译时就能检查不符合条件的值：

#lang typed/racket

; 包含0.0和1.0的浮点数类型
(define-type Zero-One-Float (Refine [x Float] (and (<= 0.0 x) (<= x 1.0))))

; 示例：符合类型的变量
(define num : Zero-One-Float 0.7)
; (define bad-num : Zero-One-Float 1.2) ; 编译报错，超出范围

如果需要排除边界值，把条件改成(and (> 0.0 x) (< x 1.0))即可。

2. 使用结构体加运行时检查 #

如果需要确保运行时也能拦截非法值，可以用结构体的#:guard子句做验证：

#lang typed/racket

(struct zero-one-float ([value : Float])
  #:guard (λ (val _)
            (if (and (<= 0.0 val) (<= val 1.0))
                val
                (error "值必须在0.0到1.0之间，输入了~a" val))))

; 合法使用
(define valid : zero-one-float (zero-one-float 0.3))
; (define invalid : zero-one-float (zero-one-float -0.2)) ; 运行时触发错误

Typed Racket的基础类型大多定义在typed/racket/base模块里，你可以通过以下方式查看：

• DrRacket IDE操作：按下Ctrl+Shift+O（Windows/Linux）或Cmd+Shift+O（Mac），输入typed/racket/base打开模块，直接搜索Positive-Real就能找到它的定义——本质是基于Real的细化类型：

  (define-type Positive-Real (Refine [x Real] (> x 0)))
  

• 本地文件路径：Racket安装目录下的collects/typed/racket/base.rkt文件包含了这类基础类型的定义，你可以直接打开该文件查看。
• 命令行定位：在终端运行以下命令，会输出类型定义所在的文件路径：

  racket -e "(require typed/racket/base) (displayln (syntax-source (quote Positive-Real)))"
  

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