如果最后没有类型呢？

我知道。但是他那个例子是无限输出 _ ，其实可以转换成对一个含有无限个 _ 的 list 的 map 吧

懵逼了

除非没有值，就像 Java 的 void……

那，没救，Fix 吧（

可以想象到这个类型在TS中报错很壮观

StackOverflow, RangeError.

polymorphism 的话，可以

f "a" "b" "c" "d" "e" :: IO ()

大概（

草，你 dependent type 呢

Value 怎么能和 Type 混在一起

就递归啊（

既然不愿意解封或者正面回复，那请贵群 @Pythonzh 的 admins 别把我大号 @duangsuse 封了，谢谢。
—— @duangsuse1

*注：指现在我大号都没有发言的情况下

scheme是什么

一个 lisp 方言

Scheme 不是 Lisp

下一个问题：lisp是什么

scheme 有词法作用域的闭包

不管 Lisp 是啥玩意，Scheme 和它不一样

把 Scheme 当作 Lisp 就是把图灵机和图灵划等号

Why