V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  fpure  ›  全部回复第 8 页 / 共 21 页
回复总数  417
1 ... 4  5  6  7  8  9  10  11  12  13 ... 21  
直接一个主分支,小改动就直接在上面改,大改动就建个新分支改完合并
2022-07-13 09:27:46 +08:00
回复了 James369 创建的主题 程序员 一直有个疑问,软件开源出去,就不怕竞争对手抄走吗?
有的,微软的 new edge
2022-07-10 11:41:23 +08:00
回复了 James369 创建的主题 程序员 git 有没有必要专门拉一个分支来放标签?
@unt 冗余了,保留 master 和 dev 就可以了
@FanError 有钱 navicat ,没钱 dbeaver
PowerDesigner 要花钱而且难用,还不适合版本控制,而且还不如直接连数据库方便
2022-06-30 15:11:26 +08:00
回复了 fpure 创建的主题 程序员 这算不算是静态类型系统的缺憾
@imKiva 之前一直想学 agda🤣
2022-06-30 14:26:23 +08:00
回复了 fpure 创建的主题 程序员 这算不算是静态类型系统的缺憾
@CodeCodeStudy 只是随感而发,抛砖引玉
2022-06-30 14:24:40 +08:00
回复了 fpure 创建的主题 程序员 这算不算是静态类型系统的缺憾
@nothingistrue 算了,你还是没看懂我的问题
2022-06-30 14:13:54 +08:00
回复了 fpure 创建的主题 程序员 这算不算是静态类型系统的缺憾
@nothingistrue 你没理解我的问题,我当然知道什么是静态类型,这里 typescript 需要做类型断言,放到 Java 里面就是强制类型转换,我的问题是有没有可能制造一种类型系统在实际类型匹配的情况下自动地做这个类型断言、类型转换
2022-06-30 13:30:14 +08:00
回复了 fpure 创建的主题 程序员 这算不算是静态类型系统的缺憾
@aguesuka 我了解了一下 Refinement type ,有点意思,学到了👍
2022-06-30 11:27:20 +08:00
回复了 fpure 创建的主题 程序员 这算不算是静态类型系统的缺憾
其实我是想讨论关于类型收窄、依值类型等话题,我在想这里 x 的类型可不可能随着实际取值完美收窄,然后程序通过这样的类型系统自动证明程序的正确性
2022-06-30 11:22:50 +08:00
回复了 fpure 创建的主题 程序员 这算不算是静态类型系统的缺憾
@jspatrick 一个例子罢了,这里的 x 还可以为 10|11 、全体偶数、全体能被 10 整除的数,如果类型系统可以表达的话
vscode 无所畏惧
这玩意儿花了一年?你是怎么做到的
1 ... 4  5  6  7  8  9  10  11  12  13 ... 21  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1544 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 24ms · UTC 17:08 · PVG 01:08 · LAX 09:08 · JFK 12:08
Developed with CodeLauncher
♥ Do have faith in what you're doing.