Notices by Masaki Hara (qnighy@qnmd.info), page 42

小択出新都先生の最新刊読まねば(わたふたはもう出ないんだろうか)(まだ言ってる)

めりくりー

$TWTR $AAPL みたいなやつ(証券コードに言及できる)、cashtagというらしい。hashtagにかけてるのか。

RTA, eスポーツ界のフィギュアスケートなのでは(適当)

以前この仮説が気になって厚労省のデータで調べたらそんなことなかった気がする

Javaの形式手法でKrakatoaっていうやつ(Coqの検証条件を抽出する)があるけど、あれ(の元ネタ)が噴火して津波になったのか…

ええー11月からTravisでxenialが使えるようになってたのか

プログラミング言語の話かと思った

Cowは使ったことない。一般的なユースケースでは参照受け取り・値返しで十分で、どうしても「変更する必要がない確率が高く、変更しない場合を効率化したい」ときのためのインターフェースという認識

あとglob importはprelude系のモジュールにしか使わない (tokio::prelude::* とか)

rc::Weakとsync::Weakはパラレルだけどだいたい片方しか出てこないのであんまり困らない。厄介なのがOrdering君でこいつはstd::cmpとstd::sync::atomicに別の意味で存在している

原則として型とトレイトはインポートして関数はインポートせずモジュール名を含めて参照してる。例外としてError, Resultみたいな汎用名称のものとstd::fmtは型・トレイトであってもモジュール名から参照してる

わかる、preludeのResult以外は基本importせずio::Resultみたいに使ってる

https://github.com/rust-lang/rust/pull/56805
self型としてArc<Self>, Rc<Self>, Pin<&mut Self>などを取れるようにする機能の安定化PRがマージされたので、そのまま行けば2個先のバージョンで使えるようになる。

渋谷の広告看板にスオミ語っぽいのがあった

Slack難民になったので、用があるときは連絡してもらえれば。(別メールアドレスで入れないか試します)

Slackから、USの輸出禁止国から使ってたからアカウント削除するとかいうメールが来てた。もしかしてイランに行ったときにアクセスしたかな？困りそう

Coqの場合coinductive typeの簡約基を制限することでSNにしていた気がする

https://users.rust-lang.org/t/fail-rs-0-2-1-released/23355
異常系の動作をモックしやすくするfailクレートというのがアナウンスされている

インプレス偉大すぎる