型で語るカタ - Speaker Deck

型で語るカタ

by irof

Slide 1

Slide 1 text

型語関 '25 7 月度 @irof

Slide 2

Slide 2 text

前置 2

Slide 3

Slide 3 text

型話型話正直思役立型言言葉自体広意味持焦点合 3

Slide 4

Slide 4 text

型話型扱型型各部分計算値種類分類種振舞起保証計算量的扱構文的手法 -- TaPL 型話型前提多型勢人 ձ話際必ਢ知識 4

Slide 5

Slide 5 text

型 is ... 軽量形式手法振舞制御制約前提機能型活用言語機能言語機能使型創型設計 5

Slide 6

Slide 6 text

Kata 武道 CodeKata 開発文脈使最ۙ 聞型活用見方 ײ １ ≒ 6

Slide 7

Slide 7 text

型検出抽象Խ Խ 言語安全性効率性 7

Slide 8

Slide 8 text

7原則型全数不可能型制約範囲全数可能可能範囲少広早期時間節約型検査時実装後動作検証早期確実行 8

Slide 9

Slide 9 text

型語 9

Slide 10

Slide 10 text

型語 զʑ 語手段語際型使 ײ 話型扱型限広ٛ 型話 ؚ 10

Slide 11

Slide 11 text

語相手向語人向語本主話 11

Slide 12

Slide 12 text

語 Java標準１ var ... 設計１関連名前 ... 12

Slide 13

Slide 13 text

１ 13 Grok 突込作画像

Slide 14

Slide 14 text

１ 14

Slide 15

Slide 15 text

１語人向 : null 入否向 : 効率性 …… 語 ʁ 15

Slide 16

Slide 16 text

１語 null 入否１語微妙 ׳習的読取得語読取場合 int -> Integer OptionalInt 使明示的聞型語双方׳ 導入悩 16

Slide 17

Slide 17 text

null 話 Optional 話飛被省略 17

Slide 18

Slide 18 text

Slide 19

Slide 19 text

19 https://docs.oracle.com/javase/jp/21/core/creating-sequenced-collections-sets-and-maps.html

Slide 20

Slide 20 text

語 20 Collection: 集合 Set: 重複 List: 順序詳 CollectionsFramework Javadoc読

Slide 21

Slide 21 text

語 21 集合常順序重複ڐ容期待 List 十分多私 …… 順序未定ٛ List 使避 Կ順 ʁ 探未定ٛ Set List Collection 使

Slide 22

Slide 22 text

参考: JIG ADR 22 https://github.com/dddjava/jig/blob/main/docs/adr/collections-usage.md 一般的自分思規則形式Խ

Slide 23

Slide 23 text

発展: Java 限標準集合語使扱要素語程度歴史的経緯実行時例外操作静的型検査機能操作限定集合ԋ算追Ճ 対興味持語 23

Slide 24

Slide 24 text

語要素数0以上以上重要使側要素関興味要素選択要素一一興味特定条件満 1 要素興味 or 要素集合興味要素興味設計 …… 他色 ʑ 24

Slide 25

Slide 25 text

共通 EventId 対 EventIds 作文脈異 AllEventIds FutureEventIds 色 ʑ作片方統一 25

Slide 26

Slide 26 text

var 26

Slide 27

Slide 27 text

var 変数変数型書勝手解決仕組 27

Slide 28

Slide 28 text

var 語変数型興味右辺十分語変数名十分語本当知必要 28

Slide 29

Slide 29 text

var 29 同 var ArrayList 私思想行左側一等地上選最ۙArrayList new 自体見

Slide 30

Slide 30 text

右辺 var 30

Slide 31

Slide 31 text

右辺 var 31

Slide 32

Slide 32 text

var 書 ʁ var jshell 普段 IDE *常右辺変数宣言生成 * ק 際 var IDE 設定 32

Slide 33

Slide 33 text

var 語 var 削減技術同時有用情報量削減注意強制型情報 lambda 宣言右辺場合表現右辺型示変数名右辺型示型知必要扱 33

Slide 34

Slide 34 text

enum, sealed 他被思省略 switch 抜ṅ switch使新追Ճ 既存 Ԇ長 Optional 系扱型活用余白書 ڱ 34

Slide 35

Slide 35 text

１ 35

Slide 36

Slide 36 text

１語不変型示動的状態相手動作予測可能性向上予想外動作不具合減変更実務的実質的１十分完全１ 36

Slide 37

Slide 37 text

Slide 38

Slide 38 text

語値取範囲 ۀ務扱数値 int 大抵場合過剰場合 21ԯ 扱場合 short 話 Always-Valid domain model １ 38

Slide 39

Slide 39 text

Slide 40

Slide 40 text

関連語扱間関連型語型関連関連方向語 40

Slide 41

Slide 41 text

関連語出ՙ 受注作出ՙ static 出ՙ from(受注) 受注出ՙ 変換受注 to出ՙ() 受注出ՙ 無関係 …… 型関連語 41

Slide 42

Slide 42 text

実務関連語 ؚ 型関連語細ʑ 全体語 ڑ離程度固関連語良 JIG 使 42 https://github.com/dddjava/jig

Slide 43

Slide 43 text

名前 43

Slide 44

Slide 44 text

名前型語上名前大事命名設計名前㚽語名前一発命名技術身 44

Slide 45

Slide 45 text

紹介: Naming as a Process 45 https://www.digdeeproots.com/articles/naming-process/ 1 話大体書読 ໯