V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  ufo5260987423  ›  全部回复第 2 页 / 共 11 页
回复总数  216
1  2  3  4  5  6  7  8  9  10 ... 11  
@CHTuring 开发的时候标注类型,其实很多情况下是很复杂的一件事情。比如 https://docs.racket-lang.org/ts-guide/caveats.html 这里的一个案例:
```lisp
(map cons '(a b c d) '(1 2 3 4))
```
这个操作在 lisp 里面一般还挺正常的,但是 type-racket 强制要求类型标注以后,就必须这样写
```lisp
(map (inst cons Symbol Integer) '(a b c d) '(1 2 3 4))
```
编码流畅性很受影响。我不懂 js 和 typescript ,不过好像 ts 会编译为 js 执行?那难道不会出现类型标注方面的问题么?
@SingeeKing 请问 RN 是什么?
@FENebula #9 你找的这一段文本是网络弹性法案的,也就是 cyber resilience act.
@shamate520 #14 我就说怎么看起来这么熟悉,这个企业韩国有,而且拿了 Y-combinator 的投资好几年了,一直不太火。他们之前还招聘 lisp 程序员来着。
@FENebula #7
我指的是现在礼崩乐坏了。
你可以搜索一下 cyber security act ,这个是欧盟的网络安全法,以及前段时间在 oschina 上对于中国的网络安全法的讨论——他们明确提出了,开源作者要对开源作品的网络安全影响负责。

旧的秩序被破坏了,新的秩序需要建立起来:木兰就是在这个机遇期上道的,但是木兰显然没有考虑到 cyber security act 和网络安全法的影响。这就叫老虎的屁股木兰摸得,我也摸得。
@FENebula #3
--关于“实际反制”:这个对于任何开源的个人而言,本来就是不可能的。但是这个不可能,要做区分——所谓有的事儿不上称三两三,上称一万斤打不住。开源不上称,但是如果有条件上称追求的是上称一万斤打不住。
--关于上云和 SAAS:这个就是我说的上称的问题,虽然一般开源不上称是因为法律是统治阶级的工具而开源社区多数是被统治阶级,但是这个矛盾不意味着统治工具不对被统治者的反弹做出反应。此外,上云和 SAAS 这个本质上是原来开源协议的一个未覆盖领域,AGPL 是对原有开源协议的延伸而不是修改。
--关于实际上禁止,这个问题和实际反制,是一个道理。不过这里我想谈一下 license 的问题:不要局限于公认的开源许可,现在国内一些人在搞所谓的“木兰”什么的,等于实际上开了个口子——你摸得我便摸不得?现在是一个机遇期。
@FENebula #30
是 know-how-to-know
或者用搞哲学的那帮人的话来说,是认识论。我们做工程的,即使有的东西不知道,但是根据我们的经验我们必将知道。
wir muessen wissen, wir wuerden wissen.

举个例子,我做 scheme-langserver ,写了一个 DSL 用来做类型推断——在这个过程中,我重新“发明”了 gradual typing,soft type 等技术——当然最近写文档发现,其实学术界早就有了。但是他们的过程和我是完全独立的。

我在理论上有很多欠缺,但是不妨碍我在工程上有办法弥补,这种办法很多情况下就是靠直觉的。也就是靠我所说的“工程直觉”。
@FENebula #3
--关于“实际反制”:这个对于任何开源的个人而言,本来就是不可能的。但是这个不可能,要做区分——所谓有的事儿不上称三两三,上称一万斤打不住。开源不上称,但是如果有条件上称追求的是上称一万斤打不住。
--关于上云和 SAAS:这个就是我说的上称的问题,虽然一般开源不上称是因为法律是统治阶级的工具而开源社区多数是被统治阶级,但是这个矛盾不意味着统治工具不对被统治者的反弹做出反应。此外,上云和 SAAS 这个本质上是原来开源协议的一个未覆盖领域,AGPL 是对原有开源协议的延伸而不是修改。
--关于实际上禁止,这个问题和实际反制,是一个道理。不过这里我想谈一下 license 的问题:不要局限于公认的开源许可,现在国内一些人在搞所谓的“木兰”什么的,等于实际上开了个口子——你摸得我便摸不得?现在是一个机遇期。
119 天前
回复了 zsvc 创建的主题 程序员 自建什么项目能够大家的欢迎?
“受大家欢迎”是什么概念?能挣钱的意思么?
如果是这个理解的话,那我没法提什么建议。

如果是技术上受人尊重,那我们再谈。
134 天前
回复了 a1b2c3T 创建的主题 生活 各位相信算命吗?
你看,从来没有给残疾人看面相的——只要惨到一定程度,算不算命,相信不相信算命就都没有什么关系了。
163 天前
回复了 uCharles 创建的主题 健康 咨询一下过敏性鼻炎的问题
洗洗鼻子,然后夏秋过渡的时候记得穿暖一点。
其实我有两年是这个毛病,然后吃了一顿涮羊肉好了(奇奇怪怪的治疗)
我试了试自己用哪个手摁 ctrl 发现是无名指指甲……
@xuld #58 ok ,既然你考虑了这些东西,我可以认为你是认真思考过的了。
加油。
@allAboutDbmss #4 谢谢!我白天去问问就下单
@JensenQian #2 葡萄牙本地手机非常贵,而且在异国他乡换手机非常不安全(我个人在 hk 等地工作过,这是我个人的一点职业习惯)。实际上我带了两台手机(还有一台米 8 )。但是数据迁移什么的太麻烦了,我明天会去附近的店里面问一下,能不能用 mi 10 lite 5G 的屏幕去换。
补充,ebay 上面有 mi 10 lite 5G 的屏幕,不知道可以不可以
关于你想要开发新编程语言本身我不做评论,我只问:
1 、你打算如何开发 IDE ?
2 、这门语言将采用什么机制下断点?
要精细一点的话,请看一下环法自行车赛作弊搞电助力的方案:
1 、电池塞进大梁管子;
2 、通过自行车钢圈和车架的磁感线切割产生动力/发电;
1  2  3  4  5  6  7  8  9  10 ... 11  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   5606 人在线   最高记录 6543   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 31ms · UTC 01:40 · PVG 09:40 · LAX 18:40 · JFK 21:40
Developed with CodeLauncher
♥ Do have faith in what you're doing.