aguesuka 最近的时间轴更新
aguesuka

aguesuka

V2EX 第 390901 号会员,加入于 2019-03-10 10:32:35 +08:00
今日活跃度排名 2983
NIO 里面, SocketChannel.connect 的时候发生了什么?
Java  •  aguesuka  •  285 天前  •  最后回复来自 SoloCompany
3
用 Java 撸了一个 yield 的玩具
  •  2   
    Java  •  aguesuka  •  2019-09-07 22:03:12 PM  •  最后回复来自 janus77
    16
    aguesuka 最近回复了
    1 小时 2 分钟前
    回复了 Braisdom 创建的主题 程序员 Java 运算符重载(Operator Overloading)原理
    中缀表达式有 Monoid 之类的讲究,但是 java 没有静态检验的能力,社区也没有 plt 的气氛。java 一切皆对象,java 中的运算符都是纯函数,重载的运算符不管是实例方法还是静态函数都很尴尬。
    kotlin 有中缀表达式,但是表达能力和 "实例.方法(参数,参数)"没有区别。我觉得你的需求应该自己定义语法,用 idea 的 language inject 做代码提示和静态分析。
    4 天前
    回复了 xxbutoo 创建的主题 Ubuntu ubuntu 装 go 真是噩梦啊
    说明被坑得还是少了。比如 apt 的 agda 一直是个有问题的包,官方推荐下载源码编译
    4 天前
    回复了 caiji11 创建的主题 Java 哪里可以下载到 Java 抽象语法树的源码包呢
    法律是统治工具。你也配姓赵
    10 天前
    回复了 Braisdom 创建的主题 Java 历经 3 年,终于得以实现了
    楼主了解依赖类型(dependent type)吗。我想过为什么 java 表现不了 sql,这个是答案之一。不过 sql 是基于集合论而非类型论,所以拘束于 sql 语法是实现不了类型安全的
    12 天前
    回复了 cnqncom 创建的主题 问与答 win10 太吃 C 盘空间了,有啥办法嘛?
    换 linux
    厂里打工
    15 天前
    回复了 YunGiser 创建的主题 问与答 应届非科班转码工作求助
    有个想法,不一定对。楼上劝考研的各位都不是研究生,都有辞职考研的机会,而且没有做。
    图灵机是计算模型。
    计算机从一开始就是冯诺依曼结构(当然计算能力等价于图灵机)如果你对从门电路造计算机感兴趣就去看冯诺依曼结。
    如果对可计算领域感兴趣就去看 lambda 运算和它的可判定性问题,相比图灵机,lambda 运算同样是图灵完备的但是规则更少更优美。
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   3159 人在线   最高记录 5298   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 11ms · UTC 11:06 · PVG 19:06 · LAX 03:06 · JFK 06:06
    ♥ Do have faith in what you're doing.