KotlinのNullable型をモナドっぽくしてみた - 算譜王におれはなる!!!!昨日、@seri_kさん主催の第五.五回 #渋谷javaに参加しました。そこで「Kotlin Nullable型をモナドっぽくしてみた」というタイトルで発表させていただきました。その内容をもう少し詳しく解説したいと思います。なおタイトルに含まれている「モナド」という言葉は本エントリには登場しません。 背景 Nullable型とは KotlinのNull安全(Null-Safety)の仕組みとして、変数は非Null型(NotNull)とNull許容型(Nullable)の2つに別れます。こんな具合にNotNullにはnullを代入できませんが、Nullableには代入できます。 val a: Int = null // コンパイルエラー val b: Int? = null // OK val c: Int = b // コンパイルエラー Nullable変数はnullの可能性があるので、メ
