Arantium Maestum

プログラミング、囲碁、読書の話題

2022-11-14から1日間の記事一覧

Hindley Milner型推論に機能を追加していく11 Refの追加(後編)

前回書いたとおり、Let多相とRefとパラメトリックな型を組み合わせても型安全性が維持されるためには、Letで型が全称化される対象の式を制限する必要があり、これをvalue restrictionと呼ぶ。 残念ながらこの「全称化される式」であるsimple valuesのリスト…

TIL: gitで差分なしコミット

このツイートで知った: Gitで差分がなくても空コミット作ることができるのはじめて知った。今までプッシュでのCI/CDやり直したい時、適当にリファクタリングしていたりしてたんだけど必要なかったみたい。https://t.co/VkQDcEnJUz— いぐぞー!! ✈️ 旅する…

Today I Learnedという記事フォーマット

こんな記事を読んだ: simonwillison.net 「ブログを書くススメ」的な記事で、その中で勧められている「Today I Learned」がよさそうだったので真似したい。 言ってしまえば日々知ったふとしたことをメモるまさに備忘録な小記事なわけで、そんなに大発見なわ…