https://linen.dev logo
Join Discord
Powered by
# 🆕scala3
  • z
    そうですね、キャストが必要じゃないと思いましたが、実は必要なのですね
  • k
    refinement type をデータ型の中に貫通させられるようになるというのは（特に、refinement type をすでに使っているのなら）実用上かなり便利だと思います
  • k
    上のコードが
    Copy code
    Scala
final case class LatticePoint(x: Int, y: Int)
    として宣言されているような場合ですと、`LatticePoint` をこれ以上 refine するのは不可能そうです（`LatticePoint` を構築するような式があったとき、その式には (path dependent type 以外の) 
    LatticePoint
    の部分型が付くことがあり得ないので、`LatticePoint { x : 42 }` のような型の値を構築できなくなってしまうと思います）
  • z
    そうですね。先、case classのコンストラクタはprecise typeをいつも持っていて、依頼がない場合ならその後消えすと思います。。union typeの場合みたいですね。実はそんなことは全然ありません。trackedのproposalは、そのどおり工夫をつけるつもりですね。 （日本語勉強中で、理解は難しいなんですが、誤解があったらごめんなさい）
  • x
  • u
    これ scala-cli ごと落ちるのは issue チャンスだったりします？
    Copy code
    $ 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)
...
  • u
  • u
    いいタイトルが浮かばなかったので、とりあえずこれで…… https://github.com/scala/scala3/issues/23504
  • x
    > odersky self-assigned this になってた
  • w
    大先生みずから
  • u
    scala3 compiler ちょっといじって動かすの面倒かなーと思っていたんですが、cloneしてsbtしてreplするだけで動いた。めっちゃ簡単…。
  • u
    `-Xsource:3 -quickfix`、なんか 
    .map(X)
    が 
    .map(X.apply)
    じゃなくて 
    .map(.applyX)
    に書き換えられるケースがあって謎…条件がよくわからない…
  • x
  • x
  • x
  • x
  • x
    bugじゃない扱いになった…
  • x
    いや指定方法変えて変わらんが…
  • x
    なんか伝わった
  • x
    https://github.com/scala/scala3/pull/23786 パターンマッチの機能拡張されてた
  • t
    https://dotty.epfl.ch/docs/reference/experimental/capture-checking/index.html nightlyのドキュメントでcapture checkingの解説がかなり増えたみたい 読んでいこう〜(ScalaDaysで話聞いたけどあんまり分からなかった😵)
  • w
    解説増えるの嬉しい！！
  • x
  • w
    空だった
  • x
    空じゃなくなりました
  • x
    https://github.com/scala/scala3/pull/23953 まだCI通ってないのに割とすぐapproveされたな
  • x
    mergeされたワーイ
  • x
    1行追加するだけのpull req mergeされたヨシ https://github.com/scala/scala3/pull/23970
  • x
  • x