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

golangにちゃんとしたパッケージマネージャが入るという話を聞いた。めでたい

ソーセージパーティーNetflixで配信されてるのか(見ないけど)

これ巻き込んだのは僕なので改めて申し訳ない。

前Parsecがモナドに対して一般化されているので、これ上手く使えるのではと色々試した結果、データ構造が根本的に壊れていることがわかったことがあった (あの手のやつは内部的に継続で持っておいて表面でADTに変換することで最適化を期待するんだけど、そこの変換がinversionになってなかった)

なのできれいに書こうとすると結局ローカルな参照をきちんと渡すのが楽だよねということになる。特に&mutを使うときは誰が状態を変えるのか明白で局所化に成功している。内部可変性を使うときはそこまで明確とはいえないが、lockの取得は明示されるのでトレードオフとしては割のいい取引だと思う

Rustはメタルを触れる言語なので当然グローバルな状態を持つ。しかしその扱いはかなり限定されている。ひとつは標準入出力でこれはHaskellのDebug.Traceみたいなescape hatchだと思えばそんなに不思議ではない(stdoutはちょっと困りそうだけど)。static系で状態をもたせるには偶然か記述量が増える。

本質的に状態を扱う問題は多いし、なにより簡約の操作的意味論自体状態じゃないかという。
で、もちろん状態を抽象化するのはそれはそれでいいんですが、実は状態の局所性を正しく保てば十分なことが多いと思っていて、Rustは状態の局所化に対して現実的な解を提示していると思っている。

純粋関数型言語が状態なしに計算を成し遂げる仕組みはあれはあれで面白い。ただ本質的に状態のある問題を、せっかくコンピューター自体が持っている状態を使わないで表現するのは結局複雑性を足しているだけなのでは？という疑問もあった。

今日はWantedlyでRustを初めて学ぶ人向けの速習会をしました。ハンズオン自体は公式の教科書であるTRPLに準拠してあまり工夫しないかわりに、学習の助けになる資料の紹介や設計思想、Rustの今後など、メタ的な情報を集約して提供することを重視しましたが、好評だったようで安心しました。 #rust_jp

mitamaeをちゃんと書いていたのでバージョンアップが一発で通った

これぞ本当のリアル脱出ゲームって感じだった

レンタル倉庫の鍵返却したら閉じ込められてクソ笑った (なんとか出れました)

https://ja.wikipedia.org/wiki/%E6%88%B8%E9%83%A8%E5%AE%9F%E4%B9%8B
このハッキリとは言わないけど批判的な感じ好き

最近モバイルのChromeでURLコピーしても非ASCII文字をurlencodeしてくれないのでTwitter/Mastodonに貼るとき不便

notとorを繰り返すことで状態が爆発するという話があって、それに対応する構成がどこかに挟まるはずで、そういうので普通に思いつくのはdeterminizationくらいしかなさそう