……という気がする。UI に関して何かやりたいときに必ずしも React の機能に頼らなくても、TypeScript の言語機能で書けて、そのまま型がつく、ということが多い。
続きを読む関数を渡すvs.エフェクトを返す
どちらも計算の一部を抽象化できる。
続きを読む日時を文字列で持つ案 (Dateのことは忘れる)
- TypeScript の日時を表現する Date 型は貧弱で使いにくい。
- 日時の処理はライブラリを使うことになりがち。
- 個人的には、Date オブジェクトの存在を無視して、日時を文字列で持つのがよいと思っている。
Mapをレコード代わりにするための型付け
TypeScript ではレコードにも連想配列にも object が使われがち。レコードのために object ではなく Map を使いつつ、object と同じような入力補完などの恩恵を受ける方法を考えた。実用的ではない。
続きを読む近況 2020-08-31
今月の活動 (ジャッコ言語)
続きを読む近況 2020-07-31
今月の活動 (ジャッコ言語など) や、気になった記事の感想など
続きを読む近況 2020-06-30
今月の活動について (ジャッコ言語、競プロ、気になった記事の感想など)
続きを読む近況 2020-05-31
今月の活動について (ジャッコ言語、競プロ、気になった記事の感想など)
続きを読む近況 2020-02-29
今月の活動について (HSP3 フォージェリ、競プロなど)
続きを読む近況 2020-01-31
今月の活動について (CPS 中間表現、静的契約、HSP3 フォージェリ、競プロなど)
続きを読む