/tmp/duangsuse.sock
@dsuse_tmp
23 subscribers
303 photos
3 videos
92 files
337 links
从 duangsuse::Echo (@dsuse) 跟进出来的分支，将在作者恢复原帐号访问的时候合并删除。
Download Telegram
About
Blog
Apps
Platform
Join
/tmp/duangsuse.sock
23 subscribers
/tmp/duangsuse.sock
Forwarded from 𝓺𝓾𝓲𝓮𝓽𝓬𝓸𝓸𝓵
拉 清 單
9 views
/tmp/duangsuse.sock
#cs #PLT #TT https://t.me/coder_ot/473184
Telegram
duang suz in Coder Offtopic 中文群
Lambda calculus 代表的是一个语言的抽象方式（包括作用域）
以及求值的模式（beta-reducation 操作）

Lambda 演算本身不是完整的（准确的说应该是严重可扩展），但即便这样它也可以基于具名抽象引用自己的基元操作，构造新行为

Lambda 演算只有三种基本项，
Abstraction: λarg. body
上面我用的是 currying 的形式，多参函数可以变成许多单参函数
Application: (f x)
Variable: x
就是包含在 lexical scope…
9 views
/tmp/duangsuse.sock
https://t.me/coder_ot/473269
Telegram
John Wonders in Coder Offtopic 中文群
函数返回自身呀，造成无限类型循环
8 views
/tmp/duangsuse.sock
Forwarded from Deleted Account
函数返回自身呀，造成无限类型循环
8 views
/tmp/duangsuse.sock
Forwarded from Deleted Account
真是头疼，现在被人 block 还是会感觉不舒服。 😔
7 views
/tmp/duangsuse.sock
#Telegram #life
6 views
/tmp/duangsuse.sock
Forwarded from Deleted Account
@Pythonzh 但部分管理员滥权，给异见穿小鞋
6 views
/tmp/duangsuse.sock
Forwarded from 🧶 ᑎᗩᔕЧ
haskell 可以玩一些
class F a where
  f :: a -> Int

instance F Int where
  f = id

instance F String where
  f = read

的东西
6 views
/tmp/duangsuse.sock
Forwarded from 🧶 ᑎᗩᔕЧ
啊呸
4 views
/tmp/duangsuse.sock
Forwarded from 🧶 ᑎᗩᔕЧ
明明自己被 warn 了3次还怪别人
4 views
/tmp/duangsuse.sock
Forwarded from Deleted Account
那我“早知道是这样，就不管「封不封」，「老子」到处说”
4 views
/tmp/duangsuse.sock
Forwarded from Deleted Account
我刚才的请求用的可是礼貌用语
4 views
/tmp/duangsuse.sock
Forwarded from Deleted Account
@duangsuse 别给封了，我还要回去参与讨论呢
4 views
/tmp/duangsuse.sock
Forwarded from Deleted Account
warn 了三次，哪一次是完全 不掺杂个人情感因素的
4 views
/tmp/duangsuse.sock
Forwarded from 🧶 ᑎᗩᔕЧ
至少，我最后给的那次
4 views
/tmp/duangsuse.sock
Forwarded from 🧶 ᑎᗩᔕЧ
乃们那批里，所有的我都给了一遍
4 views
/tmp/duangsuse.sock
Forwarded from Deleted Account
所以我强调是“部分”管理员
4 views
/tmp/duangsuse.sock
Forwarded from 🧶 ᑎᗩᔕЧ
啊 呸
4 views
/tmp/duangsuse.sock
Forwarded from 🧶 ᑎᗩᔕЧ
自己做了，不敢承认，还要怪别人（
4 views
/tmp/duangsuse.sock
Forwarded from Science Yuan
你和魔王到底谁吵赢了
4 views
/tmp/duangsuse.sock
Forwarded from 🧶 ᑎᗩᔕЧ
其实挺遗憾的
4 views