tracked使わなくても自分でrefinementを形に追加したら同じ結果かもしれませんが、trackedは便利ですね

これは

Int

にしただけだけど、singleton typeにしたい場合もあるしな

Auxパターンを剥がしたい、というのがモチベーションだと公式には書かれているなあ

AuxパターンってどのAuxパターンなんだ・・・というのもある(一部の？単純な？やつはそもそもScala 3で必要なくなったはずでは・・・

自分でやろうとしてもどうしてもキャストが必要になるんですよね

ん？ほんとか？キャストが常に要るわけではない気がしてきました、ちょっと確かめてきます

Scala
case class LatticePoint(x: Int, y: Int)

class LatticePointTracked[X <: Int, Y <: Int](x: X, y: Y) extends LatticePoint(x, y)

val lp3: LatticePointTracked[Int, 3] = LatticePointTracked(10, 3)
val lp3Upcast: LatticePoint { val y: 3 } = lp3

val lp3UpcastOneLine: LatticePoint { val y: 3 } = LatticePointTracked(10, 3)

case class

を

extends

してやれば（かなりやりたくないですが）一応 Scala 3.6.3 でもいけそうですね　でも

case class

を

extends

したくない… 🥹（そもそも

final

の気持ちで居たい…）

現状のコンストラクタ（や、付随する

apply()

) は引数に関する正確な型情報というのを (引数を、↑のコードの

LatticePointTracked

にあるように、それに対応する型引数と共に受け付けたりしない限り) 基本的に完全に捨てていて、例えば

scala
case class LatticePoint(x: Int, y: Int)
type PositiveInt <: Int // Iron などで得られる refinement type

val x1: Int = -3
val y1: PositiveInt = 5

val ptInUpperHalfPlane: LatticePoint = LatticePoint(x1, y1)

と書いたときに、`ptInUpperHalfPlane.y` が実のところただの

Int

ではなくて、もっと強く

PositiveInt

であったのだ、という情報は永久に失われることになります。これを

tracked

って書くだけでもっと正確な型を付けられるようにしましょう、という proposal だと理解しています 👀

そうですね、キャストが必要じゃないと思いましたが、実は必要なのですね

refinement type をデータ型の中に貫通させられるようになるというのは（特に、refinement type をすでに使っているのなら）実用上かなり便利だと思います

上のコードが

Scala
final case class LatticePoint(x: Int, y: Int)

として宣言されているような場合ですと、`LatticePoint` をこれ以上 refine するのは不可能そうです（`LatticePoint` を構築するような式があったとき、その式には (path dependent type 以外の)

LatticePoint

の部分型が付くことがあり得ないので、`LatticePoint { x : 42 }` のような型の値を構築できなくなってしまうと思います）

そうですね。先、case classのコンストラクタはprecise typeをいつも持っていて、依頼がない場合ならその後消えすと思います。。union typeの場合みたいですね。実はそんなことは全然ありません。trackedのproposalは、そのどおり工夫をつけるつもりですね。 （日本語勉強中で、理解は難しいなんですが、誤解があったらごめんなさい）

よく考えたらここでAuxパターン使ったな https://github.com/wartremover/wartremover/blob/7d9768c54b4eb216d4bfbbb97dafdcaf4ecd62be/core/src/main/scala-3/org/wartremover/WartUniverse.scala#L11

これ scala-cli ごと落ちるのは issue チャンスだったりします？

$ scala-cli
Welcome to Scala 3.7.0 (11.0.4, Java OpenJDK 64-Bit Server VM).
Type in expressions for evaluation. Or try :help.

scala> Seq.empty[[T >: Int] =>> T => ?].head(1)
Exception in thread "main" java.lang.AssertionError: assertion failed: invalid prefix HKTypeLambda(List(T), List(TypeBounds(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),class Int),TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Any))), AppliedType(TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),trait Function1),List(TypeParamRef(T), TypeBounds(TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Nothing),TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Any)))))
        at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
        at dotty.tools.dotc.core.Types$NamedType.<init>(Types.scala:2301)
        at dotty.tools.dotc.core.Types$TypeRef.<init>(Types.scala:2938)
        at dotty.tools.dotc.core.Types$CachedTypeRef.<init>(Types.scala:2995)
...

https://x.com/unarist/status/1943255151814517109 遊んでました

いいタイトルが浮かばなかったので、とりあえずこれで…… https://github.com/scala/scala3/issues/23504

> odersky self-assigned this になってた

大先生みずから

scala3 compiler ちょっといじって動かすの面倒かなーと思っていたんですが、cloneしてsbtしてreplするだけで動いた。めっちゃ簡単…。

`-Xsource:3 -quickfix`、なんか

.map(X)

が

.map(X.apply)

じゃなくて

.map(.applyX)

に書き換えられるケースがあって謎…条件がよくわからない…

bug見つけた気がする https://github.com/scala/scala3/issues/23651

bugじゃない扱いになった…

いや指定方法変えて変わらんが…

なんか伝わった

https://github.com/scala/scala3/pull/23786 パターンマッチの機能拡張されてた

https://dotty.epfl.ch/docs/reference/experimental/capture-checking/index.html nightlyのドキュメントでcapture checkingの解説がかなり増えたみたい 読んでいこう〜(ScalaDaysで話聞いたけどあんまり分からなかった😵)

解説増えるの嬉しい！！