Upgrade to Pro — share decks privately, control downloads, hide ads and more …

型で語るカタ

Avatar for irof irof
July 11, 2025

 型で語るカタ

関ジャバ'25 7月度
https://kanjava.connpass.com/event/360931/
20分程度のセッションです。

Avatar for irof

irof

July 11, 2025
Tweet

More Decks by irof

Other Decks in Programming

Transcript

  1. 型 話 型 話 正直 思 役 立 型 言

    言 葉 自 体 広 意味 持 焦点 合  3
  2. 型 話 型 扱 型 型 各部分 計算 値 種類

    分類 種 振 舞 起 保証 計算量的 扱 構文 的 手 法 -- TaPL 型 話 型 前提 多 型 勢 人 ձ話 際 必ਢ知識  4
  3. 型 is ... 軽量 形式 手 法 振 舞 制御

    制約 前提 機能 型 活用 言 語機能 言 語 機能 使 型 創 型設計  5
  4. 7原則 型 全数 不可能 型 制約 範囲 全数 可能 可能

    範囲 少 広 早期 時間 節約 型 検査 時 実装後 動作検証 早期 確実 行  8
  5. 型 語 զʑ 語 手 段 語 際 型 使

    ײ 話 型 扱 型 限 広ٛ 型 話 ؚ  10
  6. 1 語 人 向 : null 入 否 向 :

    効率性 …… 語 ʁ  15
  7. 1 語 null 入 否 1 語 微妙 ׳習的 読

    取 得 語 読 取 場合 int -> Integer OptionalInt 使 明 示 的 聞 型 語 双方׳ 導入 悩  16
  8. 語  21 集合 常 順序 重複ڐ容 期待 List 十

    分 多 私 …… 順序未定ٛ List 使 避 Կ順 ʁ 探 未定ٛ Set List Collection 使
  9. 発展: Java 限 標準 集合 語 使 扱 要素 語

    程度 歴史的経緯 実 行 時例外 操作 静的型検査 機能 操作 限定 集合ԋ算 追Ճ 対 興味 持 語  23
  10. 語 要素数0以上 以上 重要 使 側 要素 関 興味 要素選択

    要素 一 一 興味 特定 条件 満 1 要素 興味 or 要素 集合 興味 要素 興味 設計 …… 他 色 ʑ  24
  11. var  29 同 var ArrayList<String> 私 思想 行 左側

    一等地 上 選 最ۙArrayList new 自 体 見
  12. var 書 ʁ var jshell 普段 IDE *常 右辺 変数宣

    言 生 成 * ק 際 var IDE 設定  32
  13. var 語 var 削減 技術 同時 有用 情報量 削減 注意

    強制 型情報 lambda 宣 言 右辺 場 合 表現 右辺 型 示 変数名 右辺 型 示 型 知 必要 扱  33
  14. enum, sealed 他 被 思 省略 switch 抜ṅ switch使 新

    追Ճ 既存 Ԇ長 Optional 系 扱 型 活用 余白 書 ڱ  34
  15. 1 語 不変 型 示 動的 状態 相 手 動作

    予測可能性 向 上 予想外 動作 不具合 減 変更 実務的 実質的 1 十 分 完全 1  36
  16. 語 値 取 範囲 ۀ務 扱 数値 int 大抵 場合

    過剰 場合 21ԯ 扱 場合 short 話 Always-Valid domain model 1  38
  17. 関連 語 出ՙ 受注 作 出ՙ static 出ՙ from(受注) 受注

    出ՙ 変換 受注 to出ՙ() 受注 出ՙ 無関係 …… 型 関連 語  41
  18. 実務 関連 語 ؚ 型 関連 語 細ʑ 全体 語

    ڑ離 程度固 関連 語 良 JIG 使  42 https://github.com/dddjava/jig
  19. 名前 型 語 上 名前 大事 命名 設計 名前 㚽

    語 名前 一発 命名 技術 身  44