/tmp/duangsuse.sock
23 subscribers
303 photos
3 videos
92 files
337 links
从 duangsuse::Echo (@dsuse) 跟进出来的分支,将在作者恢复原帐号访问的时候合并删除。
Download Telegram
Forwarded from Deleted Account
转换成Fix那种?
Forwarded from Deleted Account
我看 @septs 不可能解封的
Forwarded from Deleted Account
是 (List Int) aka. [Int]
Forwarded from Deleted Account
OT 直接踢出
Forwarded from Deleted Account
如果最后没有类型呢?
Forwarded from MDHD
我知道。但是他那个例子是无限输出 _ ,其实可以转换成对一个含有无限个 _ 的 list 的 map 吧
Forwarded from Deleted Account
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from Deleted Account
懵逼了
Forwarded from Deleted Account
除非没有值,就像 Java 的 void……
Forwarded from 🧶 ᑎᗩᔕЧ
那,没救,Fix 吧(
Forwarded from Science Yuan
可以想象到这个类型在TS中报错很壮观
Forwarded from Deleted Account
StackOverflow, RangeError.
Forwarded from 🧶 ᑎᗩᔕЧ
polymorphism 的话,可以

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


大概(
Forwarded from Deleted Account
草,你 dependent type 呢
Forwarded from Deleted Account
Value 怎么能和 Type 混在一起
Forwarded from 🧶 ᑎᗩᔕЧ
就递归啊(
Forwarded from Deleted Account
既然不愿意解封或者正面回复,那请贵群 @Pythonzh 的 admins 别把我大号 @duangsuse 封了,谢谢。
—— @duangsuse1
Forwarded from Deleted Account
*注:指现在我大号都没有发言的情况下
Forwarded from Deleted Account
scheme是什么
Forwarded from MDHD
一个 lisp 方言
Forwarded from Deleted Account
Scheme 不是 Lisp