『 Domain Modeling Made Functional 』を読み終えた。
静的型検査・代数的データ型を前提とした設計における基本的な事項を網羅しているように思う。
ぼくはいま「全部イミュータブルで良いよね」と言っている人（のうち代数的データ型を使っていない人）は近いうちに「全部代数的データ型で良いよね」と言い出すと思っている。そういう人に良い本だと思った。
いま「全部イミュータブルで良いよね」って言ってる人、数年後には「全部代数的データ型で良いよね」って言ってそう。
https://twitter.com/bouzuya/status/1463497808280170498
『スーパーマリオ オデッセイ』海の国をプレイしている。ビーチバレーの 100 回が難しい。
今日のコミット。
2021-W52 をふりかえる。
目標。
記事。
(なし)
『 Domain Modeling Made Functional 』を読んでいる。 Chapter 12 。
勉強会。
(なし)
おでかけ。
(なし)
ゲーム。
買い物。
(なし)
体調。
育児。
2021-W52 はどうだったか。
冬休み。『 Domain Modeling Made Functional 』を読んでいる。 Chapter 12 まで読んだ。あと 1 章でわずかに読み終わらなかった。明日で読み終わる予定なので「冬休みで」という目標はなんとか達成できそうだ。
rust365 (2021-05-14) は停滞している。 bouzuya/rust-sandbox に its をつくっている。
今週は ABC がなかった。青 diff の問題を解いている。
スーパーマリオ オデッセイは湖の国・森の国・雲の国・失われた国・都市の国をクリアした。進めている。
明日は冬休み最終日。明後日からは仕事はじめだ。切り替えていこう。
新年のあいさつをした。新型コロナウイルスの関係で規模は小さくなっている。お年玉を配った。はつもうではしなかった。
Domain Modeling Made Functional は進めず……。
ABC223 F - Parenthesis Checking https://atcoder.jp/contests/abc223/tasks/abc223_f を解いた。
解説: https://atcoder.jp/contests/abc223/editorial/2774
指定した区間の括弧列が対応しているかを調べる。括弧列なので '(' => +1, ')' => -1 としたとき和が 0 で最小値が 0 なら対応している。セグ木で管理すれば間に合う。
……がぼくにはセグ木でどう持てば良いのかが分からなかった。 (最小値, 和) のペアを (a.0.min(b.0 + a.1), a.1 + b.1) で扱っていて「なるほど」と思った。
『ワイルド・ブレイブ』を観た。思ったより暴力描写がきつくて痛々しかった。
今日のコミット。
『 Domain Modeling Made Functional 』 11 章まで読んだ。
『スーパーマリオ オデッセイ』失われた国をクリアした。
2021 が終わる。 2021 は子どもが生まれ、育休を取り、 golang で仕事をして、宅建に落ちた。 2022 もできることをやろう。
今日のコミット。
2021 に買ったもの
2021 はあまりものを買わなかった。
常用しているのはタオル掛けとセンサーライトだ。
タオル掛け (2021-01-24) はマグネット式のものでドラム式洗濯乾燥機 (2020-12-05) の側面につけている。素朴に毎日使っている。子どもが遊んで外してしまうのが気になるところではある。
センサーライト (2021-03-07) は乾電池式のもので暗くなってきたときのみセンサーが有効になる。スイッチで常時 ON にもできる。停電でも点灯するという安心感が良い。
IdeaPad Duet Chromebook ZA6F0024JP (2021-07-25) は子ども用の Chromebook 。喜んで使ってくれている。
電動鉛筆削り (2021-12-13) はシュレッダー (2016-12-24) のことがあってからこういうものは電動でと心に決めていたもの。いまのところ満足している。
『 Domain Modeling Made Functional 』 10 章まで読んだ。
『 Mindustry 』 226 をウェーブ 20 で敵を封じ込めたところまで来た。ピラタイトを弾薬にしたヘイルとトリウムを弾薬にしたヒューズだけでゴリ押した。
ここからコアを破壊できるかどうか……。ユニットがティア 3 までしかないんだけど……。スペクターやメルトダウンが並んでいて……無理そうな感じがする。
今日のコミット。
『 Mindustry 』 226 でまた負けた。厳密にはまだ負けていないけどジリ貧で負けるっぽい。過激でさえ勝てない。敗因 (?) 。
『スーパーマリオ オデッセイ』で森の国・雲の国をクリアして一回目のクッパを倒した。
今日のコミット。
bouzuya/rust-hatena-blog から bouzuya/rust-hatena-blog-api を切り出した。 bouzuya/rust-sandbox の bbn をコンパイルしようとしたところ anyhow の箇所で動かなかった。その修正の準備にあたる。おそらく {CATEGORY_DOCUMENT} が以前は変数としては扱われなかったはず……。
Compiling hatena-blog v0.13.0 (https://github.com/bouzuya/rust-hatena-blog?tag=0.13.0#eb780079)
error: there is no argument named `CATEGORY_DOCUMENT`
--> /Users/bouzuya/.cargo/git/checkouts/rust-hatena-blog-e2b86867fa2ea4d5/eb78007/src/response.rs:193:58
|
193 | ... r#"<app:categories href="{CATEGORY_DOCUMENT}" /> is not supported"#
| ^^^^^^^^^^^^^^^^^^^
今日のコミット。
