Kotlinにおける型の世界とエラーハンドリング / Type World and Error Handling in Kotlin

Slide 1

Slide 1 text

Slide 2

Slide 2 text

2 2 ©2023 Loglass Inc. 小林允(Makoto Kobayashi) 自己紹介 @mako_makok mako-makok 所属: 株式会社ログラス好きな言語: Java, Kotlin, TypeScript 普段はSpringBootをKotlinで書いています AndroidをJavaで書いてた Luceneのパッチを書いてSolrに組み込む JavaでSpringBootやSeasar2を書いていたログラスでSpringBootとKotlinを書いている 2017〜2018 2018〜2019 2019〜2021 2022〜

Slide 3

Slide 3 text

Slide 4

Slide 4 text

Slide 5

Slide 5 text

Slide 6

Slide 6 text

Slide 7

Slide 7 text

Slide 8

Slide 8 text

Slide 9

Slide 9 text

Slide 10

Slide 10 text

Slide 11

Slide 11 text

Slide 12

Slide 12 text

Slide 13

Slide 13 text

Slide 14

Slide 14 text

Slide 15

Slide 15 text

15 ©2023 Loglass Inc. 代数的データ構造とは Kotlinでのエラーハンドリング代数的データ型（だいすうてきデータがた、英 : algebraic data type）とはプログラミング、特に関数型プログラミングや型システムにおいて使われるデータ型である。それぞれの代数的データ型の値には、 1個以上のコンストラクタがあり、各コンストラクタには 0個以上の引数がある。代数的データ型の値（データ）の感覚的な説明としては、引数で与えられた他のデータ型の値を、コンストラクタで包んだようなもの、である。コンストラクタに引数がある代数データ型は複合型（他のデータ型を組み合わせて形成する型）である。 Wikipediaより引用: https://ja.wikipedia.org/wiki/代数的データ型

Slide 16

Slide 16 text

Slide 17

Slide 17 text

Slide 18

Slide 18 text

Slide 19

Slide 19 text

Slide 20

Slide 20 text

Slide 21

Slide 21 text

Slide 22

Slide 22 text

Slide 23

Slide 23 text

Slide 24

Slide 24 text

Slide 25

Slide 25 text

Slide 26

Slide 26 text

Slide 27

Slide 27 text

Slide 28

Slide 28 text

Slide 29

Slide 29 text

Slide 30

Slide 30 text

Slide 31

Slide 31 text

Slide 32

Slide 32 text

Slide 33

Slide 33 text

Slide 34

Slide 34 text

Slide 35

Slide 35 text

Slide 36

Slide 36 text

Slide 37

Slide 37 text

Slide 38

Slide 38 text

Slide 39

Slide 39 text

Slide 40

Slide 40 text

Slide 41

Slide 41 text

41 ©2023 Loglass Inc. kotlin-resultの紹介よりメンテナブルなエラーハンドリングに ● サンプルコードをいくつかご紹介しました ● kotlin-resultというライブラリを利用すると、これまでのことが一瞬でできるようになります ○ https://github.com/michaelbull/kotlin-result implementation("com.michael-bull.kotlin-result:kotlin-result:1.1.16" )

Slide 42

Slide 42 text

Slide 43

Slide 43 text

Slide 44

Slide 44 text

Slide 45

Slide 45 text

Slide 46

Slide 46 text

46 46 ©2023 Loglass Inc. 参考文献まとめ ● 代数的データ型 ○ https://ja.wikipedia.org/wiki/代数的データ型 ● kotlin-result ○ https://github.com/michaelbull/kotlin-result ● KotlinでResult型使うならkotlin-resultを使おう ○ https://note.com/yasukotelin/n/n6d9e352c344c ● Rust By Example ○ https://doc.rust-jp.rs/rust-by-example-ja/error/opti on_unwrap/and_then.html ● Scala の Option, Either とエラー処理 ○ https://engineering.mobalab.net/2020/09/24/scala -error-handling-option-either

Slide 47

Slide 47 text