duangsuse::Echo
#FP #js #kt 今天来桶白象 🤍🐘 >https://www.zhihu.com/question/624728280 "匿名递归，我们调用的是另一个函数。没有什么问题" 发现一个逆天的回答， 直接把调用栈函数理解为匿名+纯函数了，想递归还得加惰性Proxy.. >https://zhuanlan.zhihu.com/p/659387315 看到个同样逆天的 — 这个Proxy也能做， argf=(rec,f=rec((...a)=>f(...a)))=>Object.assign(f, {of(F){f=F;return…
#blog #tr 《PL 表示法有碍于入门》
#PLT 俱乐部的人 Y 组合器身上纹，却被会员评价：字体不好看👀
符号可以使思维清晰。使用正确的符号，一开始就能轻松地完成工作，让不重要的部分消失
Mike Hicks 认为，像 8÷2(2+2) 这样简单的算术表达式也难倒各种人，妨害 PL 研究的影响力
最好的符号是简洁的；它们在视觉上具有暗示或继承性，
有人抱怨使用函数化命名而不是数学符号看起来不那么 PL
但——这就是简化记法的一个理由！我们作品的美学很重要，但PL已经以深奥的符号而闻名。
大部分论文能将一两个符号改为文字而进步
作者建议：
-增加清晰度/减少混乱将扩大我们工作的范围并减少协作障碍
-标准化设计清晰的单字符体系
-无论类型理论、语言还是 API——都要做复杂性预算， 作为警示
-总是用简单、易发音和众所周知的符号代替，顺序更要自然
more
#PLT 俱乐部的人 Y 组合器身上纹，却被会员评价：字体不好看👀
符号可以使思维清晰。使用正确的符号，一开始就能轻松地完成工作，让不重要的部分消失
Mike Hicks 认为，像 8÷2(2+2) 这样简单的算术表达式也难倒各种人，妨害 PL 研究的影响力
最好的符号是简洁的；它们在视觉上具有暗示或继承性，
有人抱怨使用函数化命名而不是数学符号看起来不那么 PL
但——这就是简化记法的一个理由！我们作品的美学很重要，但PL已经以深奥的符号而闻名。
大部分论文能将一两个符号改为文字而进步
作者建议：
-增加清晰度/减少混乱将扩大我们工作的范围并减少协作障碍
-标准化设计清晰的单字符体系
-无论类型理论、语言还是 API——都要做复杂性预算， 作为警示
-总是用简单、易发音和众所周知的符号代替，顺序更要自然
more
SIGPLAN Blog
PL Notation is a Barrier to Entry
Research in programming languages offers powerful tools, but our systems of notation stymie outsiders. Can we change our notational approach and broaden our audience—without compromising on c…