bouzuya.hatenablog.com

ぼうずやのにっき

bouzuya/purescript-examples に st を追加した

bouzuya/rally-cli の import 機能をつくろうとして脱線した。

その結果として bouzuya/purescript-examples に st を追加した。 purescript-st の例だ。 purescript-st は Control.Monad.ST モジュールを提供するパッケージ。 ST effect と可変な状態を扱うためのモジュールだ。

ただ purescript-transformers パッケージの Control.Monad.State モジュールを使うほうが良さそう……。 https://pursuit.purescript.org/packages/purescript-transformers/2.2.0/docs/Control.Monad.State

bouzuya/rally-cli の export をつくった

bouzuya/rally-cli の export 機能をつくった。

ずいぶん時間がかかった。それにまだ引数の解釈もできていないし、「特典」のデータも取得できていない。それでもひとまずそれらしい JSON を標準出力に流すことができるようになった。

次は import だ。明日にでも終わらせてしまおう。ほかにやるべきことが待っている。

今回は Data.Traversablesequence を使った。良い。

雑記

寝坊した。昨日の夜は寝るのが遅かったからだろう。ただ今日は自宅で作業。通勤時間をなくせることがリモートワークの大きな利点だと感じる。できることなら普段通りに起きて、朝活といきたい。

昨日の夜は部屋の片付けをした。昔のものを捨てる。資格の勉強をしていたときの教科書や問題集などをまだ抱えていたので、ごっそり捨てる。購読していた雑誌も捨てる。もう読まない本は捨てる。何度も読む時間はきっとない。紙の本は場所がないし、減らすよう心がけよう。電子書籍だけにしよう。

斑鳩。あまり調子が良くない。一昨日に良い記録が出たのだけど、昨日・今日と良くない。コンティニューではなくミスを数えるようにした。最終的には 5 ミス未満に抑えるのが目標だ。

雑記

PureScript で Maybe a を a にする - Qiita をすこしだけ更新した。 fromJust を加えた。 Partial なのを理解した上で強引に抜き出す形だ。さすがに Data.Maybe はもう十分だ。maybe'fromMaybe' は書いていないけれど、既定値の与え方が a から Unit -> a になっているくらいだ。

Either も見たほうがいいのかな……。それよりも PureScript by Example の 7 章以降を書かないといけない。忘れていた。


『型システム入門』を改めて読みはじめた。何度か挫折しているので、序盤は見覚えがある感じだ。

2017-01 ふりかえり

2017-01 をふりかえる。

期間別の目標

2017 の目標

  • 自分の使うものはできるだけ自分でつくる。
  • なるべくはやく見えるもの・かたちあるものにする。
  • 納得のいくものをつくる。
  • こつこつとやる。
  • 斑鳩ノーマルをノーコンティニュークリアする。
  • 型システム入門を読む。

2017-01 の目標

週別のふりかえり

つくったもの

blog などは除外している。 PureScript の例をつくっている。あまりものをつくっていない。

その他

インフルエンザで 2017-W01 は潰れた。出遅れた。

圏論勉強会の資料をざっと読んだ。漫画は『百舌谷さん逆上する』を読んだ。 2017-02 は『型システム入門』を読みはじめようかな。

ゲームは斑鳩を進めている。今日で 5 コンティニューまで減らした。 2017-02 で目標達成できるだろうか。ここからが厳しそうだ。

アナログゲームは『ブラックストーリーズ』。家族には意外と好評だ。『バトルライン』をボードゲーム同好会 #7 で遊んだ。面白い。ちょうど良い相手が居ればいいんだけど……。

リモートワークに合わせて LG 27MU67-B を買ったり、 Nexus 6P が壊れて ZenFone 3 を買った。出費がかさむ。

映画館で『君の名は。』を観る。 Netflix で『メメント』『セッション』『ファイト・クラブ』を観る。

2017-02 の目標

PureScript の Data.Maybe のことを Qiita に書いた / 『ファイト・クラブ』

Qiita につまらないことを書いた。

PureScript で Maybe a を a にする - Qiita

PureScript で Data.Maybe の一部の関数を使って Maybe から値を取り出す方法だ。あとから思ったことだけど Data.Maybe はそんなに量がないので、一部ではなくすべてを書けば良かった。あとで書こうかな。

簡単な処理なのだけど、こういう頻出する処理について書いてあっても良い気がしたので書いた。


Netflix にて『ファイト・クラブ』を観た。ぼくは過去に観たことがあるんだけど、妻は観ていないようだったので。たまたま候補に出てきたので。爆発。

2017-W04 ふりかえり

2017-W04 をふりかえる。

2017-01 の目標

2017-W04 の目標

はかどってない。サーバー側の問題を見つけてしまったり……。

今週の記事

Nexus 6P が壊れて ZenFone 3 に乗り換えた。 MFA の再設定が面倒だった。

Netflix で『メメント』・『セッション』を観た。部活の顧問があんな感じだったな、とか。

『ブラックストーリーズ』を家族で遊んだ。意外と好評。

つくったもの

2017-01-23/2017-01-29

blog などは除外している。 rally-cli しか触っていないし、それもそんなに進んでいない。

その他

斑鳩は最高 6 コンティニュー。やや停滞。それでも最高記録に近いものを安定して出しているので、この調子で続けていきたい。 C4 のノーミスが見えてきた。通しだと 5 ミスくらいは平気でやってしまうのだけど……。練習ではボス・道中のノーミスをそれぞれ経験できている。 C5 にもすこしずつ手を出している。

百舌谷さん逆上する』を読み終えた。

来週で 2017-01 が終わる。今月はいろいろあって全然ものをつくる感じではなかったなあ……。習慣はできてきたので、余計なことに時間を奪われなければきっとうまくいくはず。

2017-W05 の目標

  • ☐: 2017-01 のふりかえりを書く
  • ☐: bouzuya/rally-cli の import / export をつくる