Scala 3のopaque typeとgeneralized type constraints

これを組み合わせてる例を雑にググっても見つけられなかったのですが、よく考えたら組み合わせたらそれなりに便利というか、劣化版HaskellのCoercibleと言えなくもないのでは???と今更気がついたので、それについて書きます。

続きを読む

IntelliJ IDEAでScala 3を開発する時の設定

普段は割とデフォルトの設定で十分なのですが、Scala 3の開発かつ特に大きめのprojectの場合、設定を変えないと厳しい場合があるので、それの話を書きます。

versionは

2025.2.4 (Community Edition)

としますが、割と最近のversionならあまり変わらないと思います。

続きを読む