#web 前端真的是需要新血液了…… 连个绝对定位和drag,resize 都那么稀罕
https://zhuanlan.zhihu.com/p/654984542


htmx 也是魔怔了，React(SSR组件)确实烂，但把烂代码放在node侧，那也是一样的，而是是反直觉的。 Vue都算最良心的了

htmx 在Django, Streamlit 之类爆火可能取决于前后端谁主场的问题， 反正我会站JS，py和直连DOM比谁更成熟不用说的

Van 支持 hydrate 了，好吧…… 好像只+1行代码 ，看起来就是纯replace
init: Number(dom.getAttribute("data-counter")),


再看到 interface Props { 和 const{} = van.tags 我有点失望，不过 link({rel: "icon", href: "logo.svg"})
确实比 link(wKV({})) 好看，也更一致…… 很多接口要定型了。😐

本来我想去建议Tao加个 state(0)(x=>x+1) 的用法，因为只有非JSX非模板的框架，能用好这种写法
后来觉得算了，只支持“选中”也怪割裂的，何况它的列表模板还在用map 甚至不支持真正的hydrate，可以遇见到它以后也很难支持：低抽象度这时是缺点。Van和Eqv差得太多了

提到 #wasm , moonbit , wa-lang 是几门国内维护的语言设计

🤔“ 凹语言对贡献者之外的人有什么意义？不知道——正如刚才提到的：作品对受众的意义，从来不是作者可以定义的
——硬要给出一个猜测的话，大概率是：“对大多数开发者来说，没有任何意义”。但那又如何呢，

程序员在总人口中只占相当小的比例，这意味任何一门编程语言，哪怕它已经被广泛使用，大多数地球人顶多听它的名字而已，完全没法体会它对自己有什么意义；

我重写了WA的几条示例。现在绝句的无关键字流控感觉…… 总之有与整个编程界分道扬镳的倾向
- main(n=30)
say("$n 以内质数")
(2~n):[x]
(2~log2(x)) { x%this!=0 }:
say(this, end= (!=n-1){", "}{""})


- main
N2(.07,.15).delta: plot(0+~1.5 dx, 0+~1.5 dy):[x y]
at a=x*x+y*y -1
a**3<x**2+y**3
^now
- plot(X:Rn,Y:Rn, fn:Fn2<N N Bool>)
Y:[y]say(); X:[x]say(end=fn(x,y) {"@"}{""})

不过，我把太多精力耗在基建和标准库上了，都不打算做WA那种真正的编译器…… 而且我这几周都在收尾EQ的接口体系，删了又改真的很让人头痛啊

比较糟心的一个，是我误解了React,Nextjs 的流式SSR。 我以为是要把客户端状态变量上传，但其实主流SSR依然是添加事件监听的 （它们说是基于“同构”blabla, 其实EQ就是同构 所以不能止步于此），相当于在httpd上开个浏览器去路由并加载。

不过现在靠服务端S(x=>匿名函数) 就避免下发html了，好像比事件上传更灵活

Stability AI 推出音乐/声音生成人工智能 Stable Audio

Stable Audio 是一个扩散模型，用户只需描述关键词即可创建自己想要的音乐，每个账户每个月可以免费生成20首音频。

Stable Audio 由音乐商 AudioSparx 提供的超80万音频文件训练而来 (包含音乐、音效、单乐器主干和对应文本)。该模型在英伟达 A100 显卡上可以以 44.1 kHz 采样率在不到一秒的时间内渲染95秒的音频。

stableaudio.com

投稿：@ZaiHuaBot
频道：@TestFlightCN

#android #security #news 🤔 一个作者偷了另一个付费群的ROM， 导致后者利用“OTA更新服务” 格式化了数据和vendor分区……

“基带”的设计给人感觉莫名其妙，可读可擦除，但不可写？？ (好像就是按扇区编号) 软件能损伤硬件也是够嵌入式了

btw. IMEI+SN 应该是一个类似MAC的激活码的数据, 不同机型(MTK,Q..)分区差异很大，没有统一的备份还原接口.. 所以一键刷机是不可能备份这个的
正是平台的碎片化，给了脚本小子生存空间

笑死，这就是中国版XDA，就像那个压缩免费、解压收费的7z套壳 。那个付费群 还觉得自己不是后门，只是“灵活的利用了静默bugfix”
-2017 ShadowSocks 遇到“检测”危机，被首发闭源的SSR逼得停止更新
-2020 EdXposed被人利用漏洞提交恶意beta版本清除用户数据（rm -rf）
-拼多多... 所谓上梁不正(安卓开发&ROM移植魔法师) 下梁歪(脚本小子)

#china #bilibili 🥰龙傲天文学的陨落
https://m.youtube.com/watch?v=KQSQKrQLFvs
卦者灵风新说唱集：
"当对方陈述观点时，无论观点对错，说“典”
当对方支持自己不支持的人或事时，说“孝”
当对方辩论，或是开始细致解说时，说“急”
当自己难以理解对方表达的观点时，说“乐”
当对方要求你表达不存在的观点时，说“蚌”
当对方产生足以称为立场的观点时，说“批”
当自己说出自认为一针见血的话时，说“赢”
当无法对对方言论进行有效反驳时，说“麻”
当不存在对方，只是想引战时，说“原神怎么你了？”​"

#china #history 日常？
前者忘记是罪，后者不忘记是罪
横批：选择性健忘症+中式禁评特权

罗马的社会层级，是最直接的 贵族＞平民（自由民/公民）＞债务奴隶
拥有投票权的自由民/公民确实是比奴隶的地位高

利出一孔模式下，层级划分是 皇上＞奴才＞编户齐民的
反而是“奴才”阶层，非但不必承担以上所有负担，甚至还包吃包住，当上了奴才也能算“民主”
所以鲁迅才会说，在酱缸社会里只有两种人，奴才和想做奴才而不得的人

谁的拳头大听谁， 唯独🙉欧美，没钱权怪自己，但🥰朝鲜塔利班
国内弱肉强食，国际弱者赞歌……双赢

“ 什么是国耻？918是日本的国耻，那是国难。当年抗战也是这么说的，国难当头外……
中国人对社会干出来令人羞耻的事：贵州大巴，鸭鼠马鹿、乌鲁木齐大火、铁链女、唐山烧烤、银行取不出钱、边台风边泄洪，是国耻。 批斗邓稼先”产万斤“、鞭尸岳飞”破四旧“、不审即判息事宁人、又念叨天朝万万岁赢麻美日的，更是汉奸！

大巴外的幸存者们，怎么对待国耻呢？捂着不看就没了，或者把国难宣传成国耻来”计划“民族情绪，好让嗜好这些行为的官老爷和巨婴体制，毫发无伤把国耻继续进行到你身上。
中国的国耻，就是自古以来罄竹难书的沉默与罪责！
「安全时最勇敢，危险时再怕死；弱者面前是互害，在强者面前是团结；在善良面前非常狠，在罪恶面前却是惊人的顺从。」
「其實粉紅們不用一直強調自己是台灣人、香港人、還是美國人，我們對事不對人。如果一個國家的大多數人🥰都認同影片中的民粹主義，那是災難。 」

消息来源🔍 投稿By:Ambrosia
德国驻华大使馆：言论自由有边界。在于不可因种族外貌贬低他人，为自己或鹅爹的纳粹行为淡化乃至辩护

#py 周刊
Python,YAML 的缩进为何比C系优秀

4、strictyaml：类型安全的 YAML 解析和校验库
用于解析 YAML 的受限子集，拒绝解析丑陋的、难以阅读和不安全的 YAML 简写，有严格的标记验证和直接的类型转换
TOML 文件格式有什么问题？
“改进的” INI 文件，是 pip 推荐的配置文件格式。但连 TOML 的作者也认为它是一种糟糕的格式！

12、Python Fire：自动生成命令行接口
谷歌开源的一个用于生成 CLI 的库，Github 25K star。这篇文章介绍了它的一般命令、组合命令、链式命令、复杂命令等用法。

5、facefusion：更先进的换脸工具
最新开源的一个人像换脸库，star 涨得飞快！（star 6.9K）

#tool 把网页转换成 Markdown 格式存储
一站式 LLM 底层技术原理入门指南
基于数学点乘的 Transformer原理引言
7、instagraph：将文本内容或 URL 转换为可视化的知识图谱
可以提取复杂信息中的名词实体，生成它们的关系图谱。使用了 GPT-3.5，以及 Flask

该以一种怎么样的心态对待开源
🐎 网易云音乐 Tango 低代码引擎正式开源！

文章集 Writing an #OS in Rust , 从linker-BIOS ABI到算法
Thorium.rocks : Chromium 改版

10、使用 Django 和 HTMX 开发一个数据库搜索项目
一篇详细的 Django 项目教程，实现一个全栈的项目。文中有作者的教程视频。

11、异步 SqlAlchemy 和多数据库管理
利用 asyncio 和 SqlAlchemy 库，文章探讨了如何有效地连接和管理多个数据库，获得可扩展且具有弹性的架构。文章介绍了两种实现方法。

前端新轮子 Nue JS，作者称要打造全新的 Web 生态 [docs]
tornado Web 框架 的协程调度原理

14、为什么 Python 代码在函数中运行得更快？
代码执行的工作原理是什么？如何测试与优化 Python 函数的性能？

13、我最爱的解 LeetCode 问题的 Python 技巧

#algorithm 玩转遗传算法
遗传算法（Genetic Algorithm）是一种受生物进化理论启发的优化算法，用于解决复杂的搜索和优化

9、调试 Python 中正则表达式的灾难性回溯
作者使用 py-spy 定位一个 CPU 100% 占用问题，找出了罪魁祸首的正则表达式

Python abc 类型提示的轻量化：接口

from typing import Protocol

@typing.runtime_checkable
class DuckLike(Protocol):
    def walk(self, to: str) -> None: ...

#ai 合理的”自然“美景 IllusionDiffusion +ControlNet

zhihu

#js #news $velte 进入反向学习Vue的阶段……

Rich 大佬还是没想好啊，$: watch 仔细想想也挺杂乱的 😓
well done, 两套“响应式系统”，写法的一致性……

see: flash to..

Stack Overflow：栈溢出，程序运行时的一种错误，寓意看了这个网站bug就会越来越多。
Java：一款咖啡的名字，寓意用这种语言的人需要经常喝咖啡，因为他们经常加班。
GitHub：Git=饭桶，Hub=活动中心，寓意一群饭桶聚在一起。
Linux：Linus的Unix，寓意这是属于个人的，别人不准用。
微软：微型软件，意思是这个公司只会做微型软件，不值一提。
Google：取自googol，意思是10的100次方，寓意必须Google搜索这么多次才能找到答案。
百度：取自“众里寻他千百度”，寓意是必须搜索成百上千次才能找到答案。
腾讯：Tencent，ten=十，cent=一分，十个一分也就是一角，寓意这个公司的产品都很便宜。
阿里巴巴：取自“阿里巴巴和四十大盗”，阿里巴巴用芝麻开门打开宝库后只拿了一小袋金币，多的一点都不拿，寓意对钱不感兴趣。

#zhihu #apple 👀中国人真的很博爱。
😶直面印第安人，为新大陆死去的土著奔走疾呼，争取还牙；同时觉得印第安裔优秀员工丑得辱华
👦🏾直面黑人，横眉冷对种植园主，痛斥列强黑船贸易扩张，“盎撒白左”的自由伪善被“我中华民族”辛辣揭露；同时俯首对黑人充满了尼哥印象与新纳粹灼见
😡直面亚裔，看不惯黄色人种遭歧视，誓要靠输出礼化被洋人禁锢的游戏规则；同时一口一个“鬼子”“偷国”“阿三”“土逼”“台蛙4v”
🇺🇦直面难民，善如水滴收留乌克兰少女，抗议特朗普单方面建墙；同时信奉弱肉强食，最崇拜的国家在普京

😔锐评印度，觉得种姓制度封建落后，为首陀罗的尊严权利挥斥方遒；同时户籍限制比国籍签证更多
😔锐评日本，对受美国剥削的日本社畜怒其不争，泡沫破灭曝出阴谋；同时自发坐享996 单休007，背一辈子房债消费税，背不动孩子和养老金
😔锐评韩国，觉醒到三星摆布下韩国男女水深火热，所谓反思电影、法庭工会毫无意义；同时被企业家剥削到叫苦不迭，更想挤进主旋律

📑看清疫情，为洋大人的死无限惋惜，为连付宝与西方政客的无能呼天抢地；同时被主关在铁丝门和91大8里，望绿化带望外宾急火，寸步难逃
🤔看清隐私与机密，特斯拉与苹果是世界公敌，间谍50w更是无处遁形；同时自己一丝不挂：后台是小米联网查杀、拼多多一键root。
💣看清国际战争，揭露美国是纯粹的油迷战贩；同时信奉大炮射程出真理，你死怪你没席位没关系
😂看清干涉内政，嘲笑霉菌仓皇撤离，对阿富汗人民深表同情；同时认为印泰是穷逼、朝鲜塔利班是反霸联盟 石油好兄弟

🔫看清枪支暴力，对每周枪击案格外上心，辛辣点评美式民主顽疾、分析美国人不懂灵活管理；同时对腊像善意跪祷外国天天零元购，小日降半旗
💰看清世界经济，认为资本产联正在崩溃，北约更是纸老虎，中国必为首富；同时死命存钱，不愿拉动自己的房产内需，恶意转变鹅爹信仰
⚽️看清日本足球，原来“赢我们”之心不死，毫无八嘎奥林匹克精神；同时让国足退钱，寄希望于民间结社
😋看清核子污水，日本莫须有 海洋国联有；同时不信IAEA和韩国的监测，争议WTO的劳动法，自以为能吃上御治菜，或者预制菜：请别分那麼細，旗下所长会统一拒检

👉指明美国，一切的不公与黑箱腐败都无处遁形，在讽刺、听墙与嘲笑中督促联邦加强制度透明，即便拿绿卡的早不是他们
🇪🇺指明欧洲，认为难民迷惑了幼稚楼矮的欧盟，抢夺了本地人的福报，小圣母养了太多懒汉；同时自己也有手有脚，手里的薪资福利却不如黑人难民
💸指明非洲，为非洲的建设风险投资，为提升巴铁的zz地位免签考察，即便地债泄洪有累卵之危
💰指明扶贫，满世界找补，盛赞在这方面我是国才是典范；同时让穷人别来帝都，带专别入市场，农逼不得领钱，审批都碍眼
📟指明芯片，精英神童们遥遥领先；同时创造力探索欲被碾压到一卡脖子就禁言，一松手又赢麻了

🌍直面环境、关心科技、关心政治正确、关心“武装直升机”...关心世界史上合理的一切，唯独没想过自己。 看透君国主义日本的伪善，为死人大义鸣冤，却害怕为路边正在倒地者说句人话。
😳啊...这是多么的无私，多么的守望相助！

人脑容量缩小可能因为集体智能

2023-09-21 14:36 by 超时空碎片

400 万年前人类最早祖先的脑容量约为 350 毫升。200 万前脑容量增加到 500 毫升。100 万年前增加到 1000毫升以上。13 万年前，尼安德特人和智人的平均脑容量达到 1500 毫升。但现代人类的脑容量平均为 1349 毫升，小于石器时代祖先。过去数千年人类脑容量缩小了约 10%。脑容量为什么会缩小？一种解释是书籍、个人设备和互联网被用作信息储存器，人类大脑不需要像以前那样努力工作。研究人员认为，复杂的社会结构可能对脑容量缩小起到一定作用。人类社会组织的合作在过去 3000 年大幅增强，集体智慧开始发挥作用。一群人比这个群体里最聪明的那个人还要聪明。人类的社会性很强，以至于每个单独的个体不再需要知道一切。

https://www.wsj.com/science/human-brains-shrinking-evolution-science-980c45e
https://news.sciencenet.cn/htmlnews/2023/9/508970.shtm

#科学

#HR #java 回答安卓面试题 [AI标准答案]

- 做过哪些项目，用过哪些 Android 开发相关的东西
没有，H5赛高
- 「大学生活质量指北」是什么（？（然后我真的讲了七八分钟这个项目的来龙去脉和作用
不过VS Alt-S 同行数多光标可以列粘贴
- Java 里 LinkedList 和 ArrayList 的区别
链表适合单遍历，不需要resize (1 (2 null))
- 栈和队列的区别，如何用栈实现队列，Android 里哪些地方用到队列
Queue.add-pollFirst 队列 add-poll 栈。Looper Handler.post; Stk.poll()=len==1? pop() : (x=pop(),r=递归,add(x),r) 。转换的话，LIFO两次==FIFO
- 上面我提到了 LRU 缓存，所以什么是 LRU 缓存
eg.已满100项{arg:ret}则删掉最早1项、取时下移

- HTTP 和 HTTPS 的区别
HTTP(SSL(connect(IP:port) )) 公钥加密的有无
- 进程和线程的区别
有无内存,fd资源隔离
- 有哪些方式保证线程安全
原子和Reent锁，或者向量化 各自隔离
- 堆内存和栈内存的区别
堆new的对象不会在return时删除、栈很小(Linux 8M)，Java 的话应该全叫堆引用才对，避坑。
- StackOverflow 和 OOM 分别会在什么时候发生，如何避免
-Xms:8G -Xss:1G(划掉) 栈爆只会在DFS的输入太大或无基线，类似的OOM是BFS没有记忆而无限回环 ；真的是搜索图太大，可以用 DeepRecursiveFunction 栈调转堆回调
- 算 6&5 和 6|5
4+2+0, 0b110&|0b101, 4,7 AI都算得对

- Activity 里什么时候会保存状态、恢复状态
onRestore/SaveInstanceState(强类型KV), 请AI实现 V:Parcelable
- Activity 屏幕旋转的时候会经过哪些生命周期
请正读-反读 pause-resume stop-start destory-create （天哪..究竟孔乙己到什么地步才会把框架的“生命”细节公摊给App？
- 如何计算一个图片会占用多少内存
nByte=w*h*单像素bit/8
- 项目中用过哪些第三方库，能否分别给出介绍
没有，安卓生态冗得像罚抄

#PLT #code #learn 算式 1+.5, 1+"", (""+name) 利用了常见的值类型: int,float,str
struct的'.[]' 读写甚至函数调用，也都是被解释为'A+B'这样定义在 class A{}上的“可赋值规则”，就像在匹配俩 enum{int,.}

类型推导是用 int x,y,'1'; 变量里的'int'常量，去做 i+i=i, i+bool=编译期err() 等调用，来拿到fn(),val get,. 的“类型期返回值”。'1'等字面类型可以as Int

“():调用”只是asserts(Matcher)=>R 逻辑关系，因此新建 <T:T0>=变量(T0上界+默认形变)，assert时就合一出T的并集 (能让新赋值成立的'T', 上界约束也要传递)。这无需解构，靠监听来检查
得出后也要按 (in Int)->R, ML<T>:List<out T>"形变性"检查上界，才可拿到 'R'

fun=/{} 推导的“类型期返回值” 可以在<T>赋值后检查。

静态类型难在哪？在于怎么扩充 int+int, P.xy 这些规则。VB没有'+'重载，但静态却要把“更直觉”的if归纳成更简明、更多变的“class”和签名。
比如，要在同名重载里找 str(可为int)+str 的2元函数，再广点 extend class int: str 的接口兼容：子类型是隐转(delegate: Str by int{})的一种简写语法

类型在JS里很局部("加糖的字典")，而C里函数或接口不是值("按.h符号+*的指针")，因此'+'等语法必内定，扩展性很差
在Rust trait Sort{} 更显自然，impl{}甚至不必加在struct里(就像把 A+B 变 `+`A,B)，但也导致关注点碎片化

类型是摘要。除非递归， for,(A?:B) 的类型 不需要真的据变量调用N遍，避免了重复解释也提升复用(override,.)。 Java禁用py式的 if: 句级/算式级class: 正是因为“反射”要使用源码树里，YAML式的结构签名信息。这方面C,Go就很乱很生硬

when- Type
  - get(:Str)=成员或函数
  - `=`(:Type)=调用等号函数-需要左==右
  - to(:Type)=转换

  Any;Break; _;Nul(:Type)  ‘’Object vs error()顶底类型; 渐有类型,可空标记
  ID(:Str, toRules=[Any].Set, 元类) ‘’int,str 子类型
  Fn(T:Ln<Type>,R:Type, 默认参数,参组=-1) ‘’ 语法糖,比如 fn无参{} = fn().as:
    - as(:Ln<Type>)Type
  Fns(重载:Ln<Fn>)

  Var(now_T=Break, getset=0不变 1协变 2逆变)
    - to=对T取成员交, 如listOf(1,""), catch(A|B ex)
  Arg(:Fun,:Ln<Var>) ‘List<T>,map<TR>’这些都需实例化再调，也就是注入<T>变量
  Fun(TVars:Ln<RefInAST<Var>>, R:Type)

_ 相当于定义侧Any?, 调用侧Nothing, 和Pair<in*,out*>一样

参考Elixir , 你会发现主要是 fp: File+Closes, -'T'(T Sort)Ary sort 这两种情况需要交集类型。「继承」避免了过于细节的签名，「多态 重载重写」则规范你“模块化地”使用并集类型

Elixir 会为“js调java”这种情况生成强转， 不过尽管Send可以从数组读写元组，绝句只打算编译期有无类型函数，另外使用 -'N' mul2(:N){n!=0} = n*2 量纲类型

这个 Strong arrows 具体怎么利用运行期，我没看懂。那就算了
我觉得这个文章的逻辑就像我初次设计出什么技巧，还没和实际产生碰撞关联时，脑子里概念夹杂步骤的直接文本化。

这是一个完整的Java式类型系统，支持泛型。 class List<T>{} 的语法对应Fun(T,ID())的数据。 Unit,Fn可视为不属于Any

-'TR' Ln<T>.as(:Fn1<T R>)=Ln<R>(0) 也就是对 Arg((Fn),TR) (赋参数)，深度遍历到 Ln.To,T.to(Int).. 就知道T具体是啥(还要支持map{map{}}..)

在T未知时结果是 List<R> ，但要生成代码时R一定被固定在Arg。这类把Var作为值的算法叫“合一 unification”。这是关系式(而非“顺序”)的， -'T' f(x:T, p:PairOf<T>, y:T)=p.A 不会接受 f(1, (1|2), "")

当然这是能通过的：
fun<T> f(x:T,p:Pair<T,T>,y:T)=p.first
f(1, (1 to 2), "")
因为只读Pair能接受 Pair<T=?extends Any>

Pair<T @get> 形变性在T出现两次时才有用。例如动态数组rw.Ln(的只读侧)
- Ln<Str>和Ln<Any>间不可转换
- Ln<Any@get>可为Ln<Str>
- Ln<Str@set>可为Ln<Any>, 就像 Fn<T@set R@get>
- 上界<T或? extends> 定义为类型函数，把Str包装为类型变量

我们再来谈谈《绝句特有》的类型

同名冗参 取代inner class:

type 'T'Box
  at it:T
data- 'T'Box“<T>”.Pair(A=it,B=it) Data()

量纲验证:
'T'Ln,Rn; 'AB'KV,Pair 这些量纲是类型的单位(quantity of type)，值也可以有单位。

''(^named i) Idx=Int{!<0 |"be positive"}
- `-`(:Idx“调用前强转”)=-i

元类:
T会实现Send同名例的类型， 'T'(T Send Any) 里访问 T.name T.cols 相当于 Send.typed[T]?.
data- Pair.TYPE|Send 会注册 Send.typedArg[Pair](A,B) ，这样能在编译或运行时组装序列化器。

真子类型:

at! ts=[Int Str]
at vs=[1 "2"]
-! get(:Idx, R=ts[i]):R =vs[i]

但i是常量时，并不需要类型体操

-! get(:Idx)=vs[i]

。用途是实现 int[4]

-!'A' say(:AryN<Int A>){A==4} = say(ary[0])
-!'ABT' AryN+(:AryN<T B>, C=A+B): AryN<T C> = 解构时也一样

#jp #life 王局履行一个月前的承诺，到辐岛电子厂里面拍摄“洗地”

🖕 回看国内：“大核民族” VS “鹽荒子孫”
喝著勾兑酒的命，操著核廢水的心。「中国多年以来在排放的废水浓度，高过日本几倍。认为自己的国家是完全正确的吗？赶紧回国大喊斯巴达吧」

小郑： 反思自己的歧视
89: 中国人(曾经)比IAEA更懂
陈老师：中国大陆的辐射值被(粉红)恶意检测

这个观点挺有趣的， 如果心智模型错了， 写再多类型约束，也不太可能实现功能
即便类型是对的， 往往也会写出无用的废话

形式化语言无法帮助你证明你会写错的问题， 与GPT不同，它的规范性比正确性强的多

就没有一种有意义且“能用上电脑”的方法来保证程序正确，因此脚本才使用了渐有类型

因为它们的类型本来太狭窄(int str [{}])，此时去强化是利于设计的。 但如果不能有错误， 你就只能对所有情况有预估，那就很难简单扩展，

比如Vue3 的 ref()被认为造成了class里没有的混乱， 那纯粹是React思想造成的碎片化地狱，而不是组合式API 本身太乱

—类型签名
Py|def绑定的常量
Clj|assert的糖
Elixir|重载，或者运行期查找 when: 类型(只有参数: dyn() 时需要强转)
^ 可以直接test出TS/JS 写错不匹配的毛病，所以靠 ErlangVM 优化

🤔 不知道为什么但是有点像JVM,C++多态 单分派

JS程序的正确性挺看人的， 如果你的API设计得七七八八，那容易调用出问题。TS 在这里更像一种裱糊匠
类型比程序语义，应该是种先验了。 如果程序体正常，但类型被搞混，我猜不到这个程序体是怎么得出来的。
可能现在我写到键盘上的代码变少了

其实我挺赞成不标注类型的， 我觉得如果不是结构上需要，注重类型声明的语言真的很难看
以前觉得Java是垃圾语言，没想到 Go 这样的连Java8的泛型都实现不全（这倒无所谓，只要它不打算继续外置 Vec,FP 之类的API

Java难看是真的，但功能至少齐全，而且没有C++那样地狱(

🤯 Flappy bird 一样的响应式框架…… 回想起被 #haskell, lisp 那种接口支配的恐惧

ww.ShowMouse=({P})=>
div(N2.xy(P),
  html`at ${P}`)

换到函数式里就该是各种B
yB = mouseTopB(document) // B是数值流

btw. awesome vue