皆さん、Kotlin触っていますか？Kotlinかわいいですよね、Kotlin（どの口がそんなことを言うかって感じですが）。Kotlinにはsmart castという機能があり、安全なキャストができます、というのは不正確で、KotlinはFlow-Sensitive Typeと呼ばれる型システムを持っています。おおざっぱに言えば、制御フローによってある変数や式の型が変わる型システムの総称（だと思います。間違ってたらご指摘願います）Kotlinではそれをsmart cast（と公式ドキュメントには書いてある）と呼んでいるという話のようです。 公式ドキュメントにある例からいくつか引用します： fun demo(x: Any) { if (x is String) { print(x.length) // x is automatically cast to String } } if (x !

前編はこちら｜後編はこちら twitterでいろんな人に見てもらえて驚いた。そして賛否両論あり、良いフィードバックが得られた。できるだけ呟かれていたことにも返事になるよう、つづきを書いていく。 思いがありすぎて、どうしても長くなってしまったので、今回のnoteを「中編」として公開した。後編は頑張って2、3日以内には投稿したいと思うので、ゆっくり待ってもらえると、嬉しい。 故郷に帰りたい私を、帰らせない私がいて私はそもそも田舎出身だ。広島県の神石町（現・神石高原町）のという小さな町の生まれである。合併前の旧町村単位での現在人口は、1800人ほどだ。 町の人口の50%以上が65歳Overの、消滅可能都市"。小学校の同級生は、私を含めて4人だけ。複式学級といって、2学年が1クラスで同時に授業を受けた。ゲーセンも、カラオケも、吉野家も、電車ですら、大学生で初体験した。 学校の校庭の中には、綺麗な川