https://linen.dev logo
Join Discord
Powered by
# アーカイブ対象チャンネルのテスト
  • x
    時間があったら書き直したい気持ち and いやそもそも公式が書いてくれという気持ち and どのくらい網羅的かわからんけど公式が何か書きはじめてたのを今思い出した自分
  • x
  • m
    公式のドキュメントが豊富になる動きはありがたいですね
  • u
    any2stringadd、`-Xsource:3` の下で除外していたのを、`-Xsource:3-cross` の下でのみ除外するように変えたっぽいですね。 素の2.13でもDeprecationWarningは出ていたので、そこに委ねる形になったと。 https://github.com/scala/scala/pull/10573/files#diff-334a019606bce49aa3cb747735d76c2c327c883f1f8f07a0dc65f072243341eb https://github.com/scala/docs.scala-lang/blob/8cf713a234c5cc97a857b53d203562f65c453037/_overviews/scala3-migration/tooling-scala2-xsource3.md#scala-3-migration-warnings-in-detail
  • u
    -Xsource:3
    を「ゆくゆくは3に移行したい時に使う（3でコンパイル通らなくてもよいので、Warning抑制でマイグレーションを遅延できてほしい）」 
    -Xsource:3-cross
    を「2と3どちらでもコンパイルできないと困る時に使う（2と3で挙動がブレるのは困る）」 と捉えると、any2stringadd の扱いが変わったのも理解できる気はします。
  • u
    プレフィックスなしで参照できるany2stringaddに比べて、implicit scope であるコンパニオンオブジェクトの中で定義されたOpsはそもそも優先度が低くて、オーバーロード解決にもならずにこうなるのか。
  • w
    message has been deleted
  • m
    なるほど、そのようなことになっていたのですね。 implicitの優先度についてあまり意識したことが無かったので勉強になりました。
  • u
    message has been deleted
  • w
    まだ同期されてないな～
  • w
    ちょっとlinenのコミュで聞いてきます
  • w
    https://www.linen.dev/s/gta-chinese-tabletop-gamers なんかどっかのコミュの様子を見たけど、中国語は普通になんとかなってそうなんだよな
  • w
    https://www.linen.dev/d/scala-waiwai-land そんなこんなでしばらく放置していたところ日本語名チャンネルも同期されてきた。
  • w
  • w
    同期されてはいなかった
  • w
    いや、調子が悪かっただけでした、普通に同期されてそう
  • w
    @tanishiking (急いでないです) たにしくんが指定したチャンネルぜんぶ同期されてそう？
  • t
    されてそう！ チャンネル指定とかは何もしてないです(linenbotにアクセス権限のない発言はアーカイブされない)
  • t
    初心者とかなくないか
  • t
    自作グッズコーナーとかも
  • w
    ほげ〜
  • w
    これひょっとして、なんか書き込んだらそれに呼応してトリガーされるみたいな仕組みなのだろうか(名推理)？
  • t
    違うと思う
  • t
    いつの間にかsyncされていた https://www.linen.dev/d/scala-waiwai-land/c/any
  • t
    このチャンネルは消しますか? @windymelt 残す?
  • u
    このあたりも消してもいいんじゃない？とは思います( https://discord.com/channels/1124331179580084406/1124331180100157555/1206574814555279360
  • t
    なるほど〜 bot がアクセスできるチャンネルは全部アーカイブするって感じなので、ちょっと面倒なのですよね、個人的には public チャンネルなので全部アーカイブすればよいのでは？と思っているが、どうだろう @windymelt 相談
  • w
    publicチャンネルは全部アーカイブしてよいと思います。せいぜいjobsがちょっと機微かも？と思ったけど、このサーバ自体publicで誰でも入れるので問題ないと思います
  • w
    また、そのむね常にワイワイチャンネルかなにかに掲示しておくのが良かろうと思います
  • w
    いったんこのチャンネルは閉じます