: 論文を読め
やったこと Scala Shrinking and Showing Functionsが手に入ったので読んでいく。 まあ動画とほとんど内容は変わらないが。 その他 なぜか雀姫伝を見返している。 明日はアカギの命日か‥‥。
Post List [107/167]:
: ジャンクに行った
やったこと ジャンク ジャンクに行った。 なぜと聞かれると特に理由はないが。 疲れてる感じがするな‥‥。
: ガヴドロ観てる
やったこと アニメ ニコ動のプレミアム枠を消化している。 みるタイツを観た。なんなんだこ れ‥‥。 あとガヴリールドロップアウト観てる。 ヴィーネかわいい。 シャニ イベント終了ギリギリに称号を手に入れた。 GRAD苦手だ‥‥。
: TENETを観た
やったこと TENETを観た TENETを観た。 気になっていたので。 本当はヴァイオレット・エヴァーガーデンを観たかったという気持ちもあった(が席がなかった)。 すごい映像だった。 どうやって撮ったんだこれ？ っていうシーンが多い。 そうじゃなくても、これ飛行機実際に突っ込ま…
: pretty printer分からん
やったこと Scala 何を思ったかPretty Printerを実装していた。 Wadlerのやつを実装しても面白くないよなぁと思って、"A Pretty But Not Greddy Printer"のを実装してみた。 https://dl.acm.org/doi/pdf/…
: ；Dottyで型レベルQuineを書いた
やったこと Scala Dottyで型レベルQuineを書いた。 リテラル型に対する演算子があるから簡単に書けるだろうなと思っていたけれど案の定。 型レベルの演算子があると便利だね。 https://github.com/MakeNowJust-Labo/typelevel-q…
: なんも分からん
やったこと Scala Cogenの型について考察している。 ひどく抽象化するとこんな感じ。 この型を使うと、Functor・ContravariantからContravariant・Functorが導出できたりする。 対応はこんな感じ 。Dividibleは反変なApplica…
: `.gitignore`を実装した
やったこと マリオサンシャイン 3Dコレクションが発売されたのでやっている。 やっぱ面白いなこのゲーム。 ただ、GCのときとやや操作感が違うのは気になる。 まあそのうち慣れるだろうが。 hubをアンインストールした 時代はghコマンドらしいので。 gitのエイリアスにする運用じ…
: contparseを公開した
やったこと Scala 継続渡し形式でパーサを実装したcontparseをparsersに追加した。 ベンチマークはこんな感じ。 stackparseと同じくらいなのはわりと予想通り。でもちょっと速いのは意外だった。 というかなんでこんなにattoは遅いんだ。ほとんどやってるこ…
: minicheckを公開した
やったこと アイマス シャニの新譜(ノクチルのやつ)を買ってきた。 楽しみ。 あと「なんどでも笑おう」の配信が始まったので、こちらも購入。 PVを思い出して泣きそうになる。ありがとう‥‥。 Scala なぜか英語に翻訳できたのでminicheckと論文を公開した。 author…
: foldなんも分からん
やったこと Scala scala-semverをsbt-doctestでチェックするようにした。 が、sbt-doctestもわりとアレだなぁという気持ちになっているのでどうにかしたい。 自作してもいい気がしている。 あ とfoldのやつ、transducerがApplicat…
: RE2/Sを公開した
やったこと ミリシタ 静香の誕生日。 誕生日おめでとう！ シャニ こがたんTrue。 なんかTrue取るのにやたら時間かかった気がする。 コミュの内容もよく覚えていない‥‥。完全にダメなやつじゃん。 https://twitter.com/make_now_just/statu…
: Harikoを公開した
やったこと Scala Harikoを公開した。 公開しようと思わないと永遠に公開しない気がするので。 https://github.com/MakeNowJust-Labo/hariko ついでに0.1.0もリリースしたので自分で使っていきたい。 普通に使えると思う。
: 畳み込んでいた
やったこと Scala Foldはidが無くてカテゴリにならないので、Fold => Fold(つまりトランスデューサ)を考えるといい感じになることに気付いた。 あとFoldをiteratee的なものと組み合わせて途中で打ち切ったりできるようにした。つよい。 そのうちリリースし…
: CrystalにPR出した
やったこと Scala Harikoのラインカバレッジが100%になった。 やればできるもんだ。 ‥‥そろそろ公開してもよくない？ heredoc 謎にPull Requestがくる。 まあまっとうな修正なのでマージした。 https://github.com/MakeNowJ…
: ミリシタの配信だった
やったこと 疲れ よく分からないけどめっちゃ疲れている。 ダメだ‥‥。 すべてが停滞した一日だった。 まあ前に進むだけが人生ではない。 ミリシタ ガシャ更新。 結局、無欲のガシャが一番つよい。 https://twitter.com/make_now_just/status/1…
: あかりんごのCV
やったこと あかりんご 辻野あかりのCVが発表された。 梅澤めぐさん。新人らしい。 あかりのイメージにぴったり、というかいわゆる赤っぽい雰囲気でいい感じ。 これからよろしくお願いします。 Scala 予想していたがGenとCogenのテストが面倒すぎる。 あと両者のデフォルト実…
: ジャンク行った
やったこと ジャンク 何となく食べたい気持ちだったのでジャンクガレッジに行った。 デレ24hの疲れを引き摺っている感じがする‥‥。 Scala ひたすらテストを書いている。 完成度を無限に高めているけど永遠に公開できなさそう。 その日はいつだ。
: 評価
やったこと 評価 したくないしされたくない。 そういう思いで生きている。 Scala こんなものがあることに気付いた。 https://hackage.haskell.org/package/quickcheck-higherorder アプローチは同じっぽいのだけど、なんか表…
: デレステ24時間番組
やったこと デレステ24時間番組 DJ KOOのデレステプレイが観れるとは‥‥。 楽しかったです。 ありがとうございました。 7時から10時くらいまで寝てたけど、他は大体見ていた。 その他 もっとちゃんと24時間番組の感想を書いていたのだけどメモが吹っ飛んだのでこのようになった…