[210_5] 实现 either-flat-map (#696)

Author: MoonL79

devel/210_5.md

@@ -1,5 +1,7 @@
 # 210_5
 
+## 2026/4/13 实现 either-flat-map
+
 ## 2026/1/20 修改either的实现方法
 
-## 2026/1/19 开源either相关的代码
+## 2026/1/19 开源either相关的代码

goldfish/liii/either.scm

@@ -20,7 +20,7 @@
           from-right to-right
           either?             ; 导出通用判断函数
           either-left? either-right?
-          either-map either-for-each
+          either-map either-flat-map either-for-each
           either-get-or-else
           either-or-else
           either-filter-or-else
@@ -122,6 +122,21 @@
       ) ;if
     ) ;define
 
+    ;; 扁平映射函数：如果 either 是右值，则应用返回 Either 的函数 f
+    (define (either-flat-map f either)
+      (check-either either "either-flat-map")
+      (unless (procedure? f)
+        (type-error (format #f "In function either-flat-map: argument *f* must be *procedure*! **Got ~a**" f))
+      ) ;unless
+      (if (either-right? either)
+          (let ((result (f (to-right either))))
+            (check-either result "either-flat-map: return value of f must be an Either")
+            result
+          ) ;let
+          either
+      ) ;if
+    ) ;define
+
     ;; 遍历函数：如果 either 是右值，则应用函数 f (执行副作用)
     (define (either-for-each f either)
       (check-either either "either-for-each")

tests/liii/either-test.scm

@@ -38,6 +38,7 @@
 ;; 三、高阶操作
 ;; 用于映射、遍历和过滤 Either 的函数
 ;;   either-map         - 仅对 Right 中的值进行映射
+;;   either-flat-map    - 对 Right 执行返回 Either 的链式操作
 ;;   either-for-each    - 仅对 Right 中的值执行副作用
 ;;   either-filter-or-else - 不满足条件时回退到 Left
 ;;   either-contains?   - 判断 Right 中的值是否满足目标

tests/liii/either/either-flat-map-test.scm

@@ -0,0 +1,65 @@
+(import (liii check)
+        (liii error)
+        (liii either)
+) ;import
+
+(check-set-mode! 'report-failed)
+
+;; either-flat-map
+;; 对 Right 值执行返回 Either 的过程，并避免产生嵌套 Either。
+;;
+;; 语法
+;; ----
+;; (either-flat-map proc either)
+;;
+;; 参数
+;; ----
+;; proc : procedure?
+;; 要应用到 Right 值上的函数，返回值应为 Either。
+;;
+;; either : either
+;; 输入 Either 值。
+;;
+;; 返回值
+;; ----
+;; either
+;; 若输入为 Right，则返回 proc 的结果；若输入为 Left，则原样返回。
+;;
+;; 注意
+;; ----
+;; 对 Left 具有短路特性，不会执行 proc。
+;;
+;; 示例
+;; ----
+;; (to-right (either-flat-map (lambda (x) (from-right (* x 2))) (from-right 5))) => 10
+;;
+;; 错误处理
+;; ----
+;; type-error 当 proc 不是过程或 either 不是 Either 时
+
+(let ((left-val (from-left "error"))
+      (right-val (from-right 5)))
+  (check (to-left (either-flat-map (lambda (x) (from-right (* x 2))) left-val)) => "error")
+  (let ((result (either-flat-map (lambda (x) (from-right (* x 2))) right-val)))
+    (check-true (either-right? result))
+    (check (to-right result) => 10)
+  ) ;let
+) ;let
+
+(let* ((val1 (from-right 10))
+       (val2 (either-flat-map (lambda (x) (from-right (+ x 5))) val1))
+       (val3 (either-flat-map (lambda (x) (from-right (* x 2))) val2)))
+  (check-true (either-right? val3))
+  (check (to-right val3) => 30)
+) ;let*
+
+(let ((result (either-flat-map (lambda (x) (from-left (string-append "bad: " (number->string x))))
+                               (from-right 7))))
+  (check-true (either-left? result))
+  (check (to-left result) => "bad: 7")
+) ;let
+
+(check-catch 'type-error (either-flat-map (lambda (x) (from-right x)) "not-either"))
+(check-catch 'type-error (either-flat-map "not-a-proc" (from-right 10)))
+
+(check-report)