V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  fpure  ›  全部回复第 9 页 / 共 22 页
回复总数  421
1 ... 5  6  7  8  9  10  11  12  13  14 ... 22  
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 多踩踩坑
2022-06-09 11:29:57 +08:00
回复了 fengche361 创建的主题 JetBrains 不得不说啊, IDEA 这波作业抄的是真不错
很好,逼迫 vscode 一起进步
2022-06-08 15:50:19 +08:00
回复了 7911364440 创建的主题 Java Jdbc 字符串拼接 sql 最佳实践是什么
答案就是 mybatis
2022-06-07 15:48:58 +08:00
回复了 naijoag 创建的主题 职场话题 commit 信息和代码注释要求写中文
@Vegetable 中国人和外国人都看不懂的英文太真实了😂
2022-05-26 19:32:20 +08:00
回复了 asanelder 创建的主题 程序员 why javaer 什么都要搞一个 interface?
@dcalsky mock 也可以不用接口的
2022-05-26 10:09:16 +08:00
回复了 Jiajin 创建的主题 GitHub Copilot github copilot 你们会用在公司项目上开发吗?
问一下,copilot 真的有那么好用吗
1 ... 5  6  7  8  9  10  11  12  13  14 ... 22  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   3008 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 34ms · UTC 11:04 · PVG 19:04 · LAX 03:04 · JFK 06:04
Developed with CodeLauncher
♥ Do have faith in what you're doing.