V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  fpure  ›  全部回复第 7 页 / 共 20 页
回复总数  386
1 ... 3  4  5  6  7  8  9  10  11  12 ... 20  
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 无所畏惧
这玩意儿花了一年?你是怎么做到的
2022-06-29 10:07:05 +08:00
回复了 sillydaddy 创建的主题 git git 如何合并多个无关的仓库,形成一个仓库?
也把 objects 目录拷进来,然后建分支就可以了
现在一般用 spring ioc 的目的是为了 aop ,没有 aop 的 ioc 没有多大价值(解耦除外)
2022-06-26 23:23:20 +08:00
回复了 Aoonthetop 创建的主题 问与答 蚌不埠了,低学历究竟有没有出路?
太难了
@MakHoCheung Avoid Else, Return Early?
2022-06-10 21:29:32 +08:00
回复了 CodeTracker 创建的主题 C++ 请各位大牛帮忙看看我做的 C++后端学习计划
以我的经验来讲,别光看干书,要多写代码,先写代码,再带着实际问题去看书,看完一个知识点就继续去写代码
2022-06-09 22:03:45 +08:00
回复了 ranxi 创建的主题 生活 家人们,程序猿都是怎么找到对象的
明白了,就是得多多参与社交,宅的人难找对象😭
2022-06-09 11:34:53 +08:00
回复了 Livid 创建的主题 Atom GitHub 宣布会放弃 Atom 项目
支持为 rust 写 ui 多踩踩坑
1 ... 3  4  5  6  7  8  9  10  11  12 ... 20  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   840 人在线   最高记录 6543   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 29ms · UTC 20:05 · PVG 04:05 · LAX 13:05 · JFK 16:05
Developed with CodeLauncher
♥ Do have faith in what you're doing.