Windymelt https://blog.hatena.ne.jp/Windymelt/ Lambdaカクテル https://blog.3qe.us/ 技術 scala 今日チームでScalaのこういう型制約ってどう書くんだっけ、といった話をしていて、Scalaには色々な型制約の表現の方法があることだなあ、と考えていた。そして、全て覚えるのは大変だなと思った。自分は特に変位指定アノテーションを覚えるのが大変だった。今もたまに忘れてしまう。 変位指定アノテーションというのは、パラメータ化された型と、その型パラメータとの関係が、型パラメータのサブタイプ関係にどう引きずられるかを表現する手段だ。やっぱり文章で書くと意味不明だ。 どう表現すればよいのやらと思案していると、型の大小関係にかかわる事柄なのだから図にすればよいと思った。そうこうして図を描いていると良い感じに… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.3qe.us%2Fentry%2F2022%2F11%2F11%2F221420" title="図で眺める Scalaの変位指定アノテーション - Lambdaカクテル" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/W/Windymelt/20221111/20221111221125.png Hatena Blog https://hatena.blog 2022-11-11 22:14:20 rich https://blog.3qe.us/entry/2022/11/11/221420 1.0 100%