V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member  Sign In
V2EX  ›  fpure  ›  全部回复第 13 页 / 共 26 页
回复总数  508
1 ... 9  10  11  12  13  14  15  16  17  18 ... 26  
❮ ❯
@FanError 有钱 navicat ,没钱 dbeaver
PowerDesigner 要花钱而且难用,还不适合版本控制,而且还不如直接连数据库方便
2022 年 6 月 30 日
回复了 fpure 创建的主题 › 程序员 › 这算不算是静态类型系统的缺憾
@imKiva 之前一直想学 agda🤣
2022 年 6 月 30 日
回复了 fpure 创建的主题 › 程序员 › 这算不算是静态类型系统的缺憾
@CodeCodeStudy 只是随感而发,抛砖引玉
2022 年 6 月 30 日
回复了 fpure 创建的主题 › 程序员 › 这算不算是静态类型系统的缺憾
@nothingistrue 算了,你还是没看懂我的问题
2022 年 6 月 30 日
回复了 fpure 创建的主题 › 程序员 › 这算不算是静态类型系统的缺憾
@nothingistrue 你没理解我的问题,我当然知道什么是静态类型,这里 typescript 需要做类型断言,放到 Java 里面就是强制类型转换,我的问题是有没有可能制造一种类型系统在实际类型匹配的情况下自动地做这个类型断言、类型转换
2022 年 6 月 30 日
回复了 fpure 创建的主题 › 程序员 › 这算不算是静态类型系统的缺憾
@aguesuka 我了解了一下 Refinement type ,有点意思,学到了👍
2022 年 6 月 30 日
回复了 fpure 创建的主题 › 程序员 › 这算不算是静态类型系统的缺憾
其实我是想讨论关于类型收窄、依值类型等话题,我在想这里 x 的类型可不可能随着实际取值完美收窄,然后程序通过这样的类型系统自动证明程序的正确性
2022 年 6 月 30 日
回复了 fpure 创建的主题 › 程序员 › 这算不算是静态类型系统的缺憾
@jspatrick 一个例子罢了,这里的 x 还可以为 10|11 、全体偶数、全体能被 10 整除的数,如果类型系统可以表达的话
vscode 无所畏惧
这玩意儿花了一年?你是怎么做到的
2022 年 6 月 29 日
回复了 sillydaddy 创建的主题 › git › git 如何合并多个无关的仓库,形成一个仓库?
也把 objects 目录拷进来,然后建分支就可以了
现在一般用 spring ioc 的目的是为了 aop ,没有 aop 的 ioc 没有多大价值(解耦除外)
2022 年 6 月 26 日
回复了 Aoonthetop 创建的主题 › 问与答 › 蚌不埠了,低学历究竟有没有出路?
太难了
@MakHoCheung Avoid Else, Return Early?
2022 年 6 月 10 日
回复了 CodeTracker 创建的主题 › C++ › 请各位大牛帮忙看看我做的 C++后端学习计划
以我的经验来讲,别光看干书,要多写代码,先写代码,再带着实际问题去看书,看完一个知识点就继续去写代码
1 ... 9  10  11  12  13  14  15  16  17  18 ... 26  
❮ ❯
About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Privacy   ·   Solana   ·   4649 Online   Highest 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 26ms · UTC 00:16 · PVG 08:16 · LAX 17:16 · JFK 20:16
♥ Do have faith in what you're doing.