Scala 2ではこういう表現がたまにあった: trait Entity { type Key } type KeyOfEntity[E

Tagged Type というテクニックがある（TypeScript界隈などではBranded Typeと呼ばれているようだ）。実行時の型としては同じだが、型システム上はこれを区別して別物として扱い、混同できなくする仕組みを作るためのものだ。 AIくん！サムネイラスト作って！…

もうとっくに春と呼べるような気候が過ぎ去り、もりもりと緑が深みを増していく初夏の京都において、ゴールデンウィークの人いきれを回避しつつ悠長な昼下がりを過ごす方法はこの世に存在しないとされており、自分も例には漏れず、ラーメンを食べたついでに…

最近WASMに興味がでてきて、ゴールデンウィークにWASMランタイムをScala 3で実装している。もう結構な命令を実行できるようになって、バイナリをパースして足し算を実行するくらいならできるようになった。 WASMは機械語なので、オペコードと引数が命令とし…