任何序列计算所需的最小序列“原语”集合是什么?

所有函数都已在System.Linq命名空间中。

1. 过滤器=其中
2. map=选择
3. 折叠/减少=聚合(折叠=反向,然后聚合)

选择多个=贴图+贴图+展平 GroupBy=分区

remq和朋友可以在过滤器方面做。

与正常的方案定义不同,这些方案显然只接受一个列表参数。

你根本不需要 map 作为一个基本元素,你可以用 foldr .

示例(在Haskell中):

map f = foldr (\a b->f a:b) []

这真是 mapcar 地图 地图 很难用Haskell表达为 apply 没有。

(define (mapcar f l)
  (foldr (lambda (x t) (cons (f x) t)) ‛() l))

(define (heads ls) (mapcar car ls))

(define (tails ls) (mapcar cdr ls))

(define (any-null? ls) (foldr or? ﹟f (mapcar null? ls)))

(define (map f . ls)
  (if (any-null? ls)
      ‛()
      (cons (apply f (heads ls)) (apply map f (tails ls)))))

如果你没有 car 和 cdr

(define (car a) (foldr (lambda (x y) x) ﹟f a))

(define (cdr a)
  (let ((prev ‛())
        (tmp #f))
    (foldr (lambda (h t) (set! tmp (cons h t)) (set! prev t) tmp)
           ‛()
           a)
    prev))

我不太确定序列计算的目标功能是什么,但concat操作(即展平嵌套序列)也可能非常有用。看看Haskell的列表理解是如何被去除的,看看为什么。