DHH 移除 TypeScript 后的反静态类型主义营销号刷屏有点让人绷不住

[netabare]

尤其是过了这么久还能看到这些营销号，然后评论区大家都在集火喷 TypeScript 。

实在是不懂为啥静态类型会惹来这么多人厌恶，更不用提这个 PR 还有个更严重的问题 - 在多人协作的项目里直接 force push 了。

本来还想写点啥吐槽一下，然后感觉累觉不爱，只能说这位社区领袖直接把 Ruby 这个语言对我的吸引力拉到近乎于 0 的状态。

顺便引用一下一个算得上是爆典的修改：

68    | async function gotoPageWithFormMode(page: Page, formMode: "on" | "off" | "optin") {
   68 | async function gotoPageWithFormMode(page, formMode) {

用户获得了在formMode里传入 null 、undefined 、114 、5.14 、"1919"和new Date()的自由。

[chloerei]

Turbo 标语

> The speed of a single-page web application without having to write any JavaScript.

https://turbo.hotwired.dev/

使用 Turbo 的功能几乎不用写 JS ，Turbo 也不会阻止你的代码用不用 TS ，不知道激动啥……

[est]

我倡议 IDE 引入富文本编辑技术，喜欢折腾类型的去变量的上标、下标、角标 去整天鼓捣类型，不喜欢类型的隐藏起来当无类型的继续撸。这样大家相安无事

至于我？别人的库不提供类型，IDE 里没发 . 出来智能提示，我要骂娘；

我自己的写的代码肯定是动态类型的。接口是什么类型调用者去猜就行了。

[YuJianrong]

@Mark24
赞成。不过有一点不同意，何止 type 不重要，type 不过是冰山一角。
计算机应该为人类服务，而不是人类为了计算机（和硬件细节）去定类型、算法、类等等一系列非人类的东西。
以后写程序就应该是对着计算机口述要求，计算机就自动 0 bug 运行起来。

这样可能会有 bug ？嘿，没 bug 本来就是应该打破的幻想。

[cailinunix]

@Mark24
描述底层的类型系统也有其存在的价值，rust 需要用它的类型系统去做 borrow check ，去推断变量的生命周期，这些都有价值。
类型注解其实和嵌入语言的类型系统没有多大区别，typescript 的诞生就是为了兼容 js ，它甚至因此做出了很大让步（ anyscript ）, 谈不上分裂生态，不然 turbo 也没那么容易移除所有 ts
当然不指望类型系统能消除所有 bug ，但是使用 typescript 的确比 js 能少很多低级错误，同时也是一个非常好的文档