Javaは今どこに向かっているのか

2023-04-26 Java on Azure Day 2023

Transcript

1. Javaは今どこに向かっているのか 櫻庭 祐一
2. OpenJDK JDK Project Project Amber Java によるデータ指向プログラミング の主要な新機能 Java 17 21 から
3. Java 17 21 から の主要な新機能 OpenJDK JDK Project
4. OpenJDK JDK Project https://openjdk.org/projects/jdk/ のサブプロジェクト JDK Project: OpenJDK JDK 21 2023-09-19 JDK 20 2023-03-21 半年ごとのリリース JDK 他のサブプロジェクトをまとめて を開発 Oracle Java 21 は から 2 年周期 LTS Oracle は などのディストリビュータによる Note: OpenJDK LTS LTS には と非 の区別はない
5. JEP: JDK Enhancement Proposal の機能を規定 JDK 新機能だけでなく、実装改善、機能の削除も含む Preview Standard 正式な機能 の種類 JEP Incubator Experimental プレビュー機能 実験的な機能 新しいモジュール ex. Records ex. HTTP Client ex. ZGC Note: Preview, Experimental, Incubator は最低 2 回
6. JEP: JDK Enhancement Proposal の機能を規定 JDK 新機能だけでなく、実装改善、機能の削除も含む Preview Standard 正式な機能 の種類 JEP Incubator Experimental プレビュー機能 実験的な機能 新しいモジュール ex. Records ex. HTTP Client ex. ZGC Note: Preview, Experimental, Incubator は最低 2 回
7. JEP: JDK Enhancement Proposal Java 18 400: UTF-8 by Default 408: Simple Web Server 413: Code Snippets in Java API Documentation 416: Reimplement Core Re ection with Method Handles 417: Vector API (Third Incubator) 418: Internet-Address Resolution SPI 419: Foreign Function & Memory API (Second Incubator) 420: Pattern Matching for switch (Second Preview) 421: Deprecate Finalization for Removal Java 19 405: Record Patterns (Preview) 422: Linux/RISC-V Port 424: Foreign Function & Memory API (Preview) 425: Virtual Threads (Preview) 426: Vector API (Fourth Incubator) 427: Pattern Matching for switch (Third Preview) 428: Structured Concurrency (Incubator) Java 20 429: Scoped Values (Incubator) 432: Record Patterns (Second Preview) 433: Pattern Matching for switch (Fourth Preview) 434: Foreign Function & Memory API (Second Preview) 436: Virtual Threads (Second Preview) 437: Structured Concurrency (Second Incubator) 438: Vector API (Fifth Incubator) Java 21 430: String Templates (Preview) 431: Sequenced Collections 442: Foreign Function & Memory API (Third Preview) 444: Virtual Threads . . .
8. JEP: JDK Enhancement Proposal Java 18 400: UTF-8 by Default 408: Simple Web Server 413: Code Snippets in Java API Documentation 416: Reimplement Core Re ection with Method Handles 417: Vector API (Third Incubator) 418: Internet-Address Resolution SPI 419: Foreign Function & Memory API (Second Incubator) 420: Pattern Matching for switch (Second Preview) 421: Deprecate Finalization for Removal Java 19 405: Record Patterns (Preview) 422: Linux/RISC-V Port 424: Foreign Function & Memory API (Preview) 425: Virtual Threads (Preview) 426: Vector API (Fourth Incubator) 427: Pattern Matching for switch (Third Preview) 428: Structured Concurrency (Incubator) Java 20 429: Scoped Values (Incubator) 432: Record Patterns (Second Preview) 433: Pattern Matching for switch (Fourth Preview) 434: Foreign Function & Memory API (Second Preview) 436: Virtual Threads (Second Preview) 437: Structured Concurrency (Second Incubator) 438: Vector API (Fifth Incubator) Java 21 430: String Templates (Preview) 431: Sequenced Collections 442: Foreign Function & Memory API (Third Preview) 444: Virtual Threads . . .
9. JEP 400: UTF-8 by default デフォルトファイルエンコーディングを に統一 UTF-8 java.io InputStreamReader, FileReader, OutputStreamWriter, FileWriter, PrintStream java.util Formatter, Scanner java.net URLEncoder, URLDecoder 影響をうけるクラス でデフォルトエンコーディングで を 使用している場合、要注意 Windows Windows-31J -D le.encoding =COMPAT 従来通りのファイルエンコーディングを使用するには 起動オプション
10. JEP 431: Sequenced Collections 最初と最後の要素にアクセスできるインタフェース SequencedCollection SequencedSet SequencedMap
11. JEP 444: Virtual Threads by Project Loom が管理する軽量スレッド JVM 待ち時間を活用することでスループット向上 I/O アプリケーションなど通信を多用するシステムに効果的 Web 使い方は従来の とほぼ同じ Thread への対応 Virtual Treads なども対応予定 Spring Framework Helidon Nima Oracle JDBC Driver
12. Javaによるデータ指向プログラミング Project Amber
13. Project Amber 言語仕様の改良と拡張を行うプロジェクト 286: Local-Variable Type Inference (var) (10) 323: Local-Variable Syntax for Lambda Parameters (11) 361: Switch Expressions (14) 378: Text Blocks (15) 394: Pattern Matching for instanceof (16) 395: Records (16) 409: Sealed Classes (17) 仕様策定完了 仕様策定中 430: String Templates (Preview) 440: Record Patterns 441: Pattern Matching for switch 443: Unnamed Patterns and Variables (Preview) 445: Flexible Main Methods and Anonymous Main Classes (Preview) 447: Statements before super()
14. Project Amber 型 395: Records 409: Sealed Classes 447: Statements before super() 361: Switch Expressions 394: Pattern Matching for instanceof 440: Record Patterns 441: Pattern Matching for switch 443: Unnamed Patterns and Variables (Preview) パターンマッチング 286: Local-Variable Type Inference (var) 323: Local-Variable Syntax for Lambda Parameters 378: Text Blocks 430: String Templates (Preview) 445: Flexible Main Methods and Anonymous Main Classes (Preview) その他
15. Records イミュータブルなデータを表す専用のクラス 例 座標を表すクラス Boilerplate
16. Records イミュータブルなデータを表す専用のクラス 例 座標を表すクラス
17. Records イミュータブルなデータを表す専用のクラス 例 座標を表すクラス クラス nal インタフェースは実装できるが、他のクラスから継承はできない メソッドの追加も可能
18. Sealed Class 継承を制限したクラス 例 図形を表すクラス
19. Sealed Class 継承を制限したクラス 例 図形を表すクラス で定義 sealed permitsでサブクラスを制限 サブクラスは同モジュールもしくは同パッケージ サブクラスは以下のいずれかで定義 nal sealed non-sealed 使用時 switch default句を省略できる
20. Switch Expression 文から switch 式へ switch
21. Switch Expression 文から switch 式へ switch 矢印で記述
22. Switch Expression 文から switch 式へ switch 処理が 1 行であればカッコ省略可
23. Switch Expression 文から switch 式へ switch であればdefault enum, selaed class 句省略可
24. Switch Expression 文から switch 式へ switch 式 値が返せる switch
25. Switch Expression 文から switch 式へ switch 処理をカッコでくくる時は で値を返す yield
26. Pattern Matching パターンマッチング 入力に対し特定のパターンと照合すること 適合した場合、その要素を取りだすこと パターンとして型を使用 JEP 394, 440, 441
27. Pattern Matching
28. Pattern Matching Boilerplate!
29. Pattern Matching
30. Pattern Matching
31. Pattern Matching
32. Data Oriented Programming ドメインモデルの実装では ... データ 業務ルール
33. Data Oriented Programming ドメインモデルの実装では ... データ 業務ルール データ指向プログラミングの原則 #1 は、 コードをデータから切り離すことである “データ指向プログラミング” より引用
34. Data Oriented Programming ドメインモデルの実装では ... データ 業務ルール リソース 値オブジェクト イベント ... ステートレスな処理 型として表現する モジュールとして表現する ( 型として扱う必要はない ) イミュータブルであることが重要
35. 映画のチケットで考えてみる 映画のチケットは席の種類と、 チケットの区分によって値段が異なるとする 席はプレミア席と一般席 チケットの区分は一般、学生、シニアの 3 種類
36. 映画のチケットで考えてみる 料金を計算する
37. 映画のチケットで考えてみる 式で記述 switch
38. 映画のチケットで考えてみる のパターンマッチングを利用 Recordのパターンマッチングを利用 Record
39. 映画のチケットで考えてみる をさらに分解 Record
40. 映画のチケットで考えてみる をさらに分解 Record 式で処理を分けるより switch テンプレートメソッドパターンで記述すればいいのでは？ 業務ルールが複数のクラスに分散してしまい、 見通しが悪くなる データ間の関係 ( 関連、コンポジッション ) と 処理間の関係 ( 使用 ) が混在しまい、複雑になりがち 業務ルールは処理によって必要とするデータも変化する
41. DOP OOP 適材適所 : DOP ドメインモデル : OOP バウンダリー バウンダリーのフレームワークに則った記述
42. Conclusion 月リリース予定 Java 21 LTS 9 Virtual Threads などが導入予定 パターンマッチングなどデータ指向プログラミングに向けた機能 Project Amber Java 21 String Templateが パターンマッチングはさらに拡張される予定 で Preview