Gavin Bierman - 技术人员咨询成员
Gavin Bierman 是 Oracle Labs UK 的技术人员咨询成员。他是编程语言研究小组的成员,目前是 Java 团队的成员,帮助设计 Java 的下一个版本。
他的兴趣广泛,包括编程语言设计和形式化。他发表了关于 Java、C#、TypeScript、数据库(面向对象、XML 和 NoSQL)、类型系统、操作语义、分离逻辑、动态软件更新、关系代数、lambda 演算、控制运算符、模态逻辑、证明论和范畴论的论文。
他于 2014 年 3 月加入 Oracle。在此之前,他从 2004 年 3 月到 2014 年 3 月在微软剑桥研究院担任高级研究员。在此之前,他是剑桥大学计算机实验室的讲师,以及剑桥圣约翰学院的研究员、学院讲师和学习主管。他拥有剑桥大学的博士学位和帝国理工学院的理学士学位。
论文和演讲可以在 这里找到。
帖子
- 针对 JDK 23 的 JEP:482:灵活的构造函数主体(第二次预览) 2024 年 5 月 31 日 JDK 23 Amber
- 针对 JDK 23 的 JEP:477:隐式声明的类和实例主方法(第三次预览) 2024 年 5 月 28 日 JDK 23 Amber
- 针对 JDK 23 的 JEP:476:模块导入声明(预览) 2024 年 5 月 6 日 JDK 23 Amber
- 针对 JDK 22 的 JEP:447:super(...) 之前的语句(预览) 2023 年 11 月 23 日 Amber JDK 22
- 模式:穷举性、无条件性和余数 2023 年 5 月 26 日 Java 语言 Amber
- 针对 JDK 21 的 JEP 提案:441:模式匹配用于 switch 2023 年 5 月 5 日 Amber JDK 21
- 针对 JDK 21 的 JEP 提案:440:记录模式 2023 年 5 月 5 日 Amber JDK 21
- 新的候选 JEP:433:模式匹配用于 switch(第四次预览) 2022 年 10 月 19 日 Amber
- 新的候选 JEP:432:记录模式(第二次预览) 2022 年 10 月 19 日 Amber
- 针对 JDK 19 的 JEP 提案:记录模式(预览) 2022 年 5 月 13 日 Amber JDK 19
- 新的候选 JEP:427:模式匹配用于 switch(第三次预览) 2022 年 4 月 26 日 Amber
- 针对 JDK 18 的 JEP 提案:420:模式匹配用于 switch(第二次预览) 2021 年 11 月 16 日 JDK 18 Amber
- Gavin Bierman 解释了模式匹配用于 switch,这是一个 Java 17 预览功能 2021 年 10 月 1 日 Amber JDK 17
- Java 对象模型中的模式匹配 2021 年 1 月 6 日 Amber Java 语言
- 规范更新 2020 年 12 月 22 日 Amber JDK 16 Java 语言
- 新的候选 JEP:395:记录 2020 年 10 月 9 日 Amber JDK 16
- 新的候选 JEP:394:模式匹配用于 instanceof 2020 年 10 月 6 日 Amber JDK 16
- 在 JDK 16 中最终确定 - 记录 2020 年 7 月 27 日 Amber JDK 16
- 在 JDK 16 中最终确定 - 模式匹配用于 instanceof 2020 年 7 月 27 日 Amber JDK 16
- Java 的模式匹配 2018 年 9 月 7 日 Amber
- 扩展 switch 用于模式匹配 2017 年 4 月 1 日 Amber
视频
- Java 语言未来 - 2024 年春季版 2024 年 7 月 1 日 Amber
- Java 中的面向数据编程 2023 年 3 月 9 日 Amber
- Java 语言未来:2022 年春季版 2022 年 4 月 19 日 Amber
- Java 语言未来:2021 年下半年版 2021 年 9 月 21 日 Amber
- Java 语言未来:2021 年春季 2021 年 4 月 8 日 Amber JDK 17 JDK 16
- OracleDevLive 预览 | Gavin Bierman 关于 Java 语言未来 2021 年 2 月 24 日 Amber
- Java 语言未来 - 2020 年年中版 2020 年 9 月 17 日 Java 语言 Amber
播客
- 第 28 集“Java 语言 - 现状” 2022 年 12 月 23 日 Amber
- 第 17 集“模式匹配用于 switch”与 Gavin Bierman 2021 年 6 月 13 日 Amber JDK 17 JDK 16
- 第 4 集“记录类”与 Gavin Bierman 2020 年 10 月 5 日 Amber JDK 16 JDK 15