初心者向けプログラミングの技術記事から日頃の節約術など、お役立ち系記事を雑多にお届けする複合系ライフハックメディア。| まにゅまるスクリプト。
私が作っているStandard MLコンパイラー、LunarMLの近況報告記事です。LunarMLに関する直近の記事は でした。 400スター GitHubスター数が400に到達しました。ありがとうございます（執筆時点で […]| 雑記帳
前に書いた「TypeScript使いの憂鬱：never型はプロパティを持つか」の補足をして、関連する話題を取り上げます。前の記事では| 雑記帳
プログラミング言語の静的解析の良い点として、一回の解析で複数の誤りを検出できる（場合がある）点があります。実行時エラーしか出ない言語だったら、一回の実行で一個のエラーに遭遇して、修正して、またエラーに遭遇して、ということ […]| 雑記帳
久しぶりにLunarMLの話題です。LunarMLは、私が作っているStandard MLコンパイラーです。 最近は、JavaScriptとの連携に関する機能を追加しています。Webで使えるようにするのと、Promise […]| 雑記帳
定理証明支援系 (proof assistant / interactive theorem prover) というのは、専用の言語で書いた証明を機械にチェックさせるツール、およびその証明の記述を支援するツールです。Ro […]| 雑記帳
プログラミングをやっていると、「関数に副作用がある」とか「副作用がない」あるいは「純粋である」という話をちょいちょい耳にする。そして、「外界の状態を読み取るけど変更はしない関数」、例えば のような関数に副作用があるか？み […]| 雑記帳
Kent Beck が書いたソフトウェア設計の本Tidy First?を読んで、Tidy Firstしてみた。| Satoryu's Website
「このフレームワークでは○○ができない」、そういった評価は（ソフトウェアの）フレームワークという概念一般に対する「過大な」評価である。 フレームワークが使用されるとき、その使用者に何事かを禁じうるということは、そのフレームワークによってのみ何事かが可能になるのと同じ程度に、おおよそありえない。なぜならば、あるソフトウェアが何を実行...| 余白
if (document.documentElement.getAttribute('data-page') === 'entry') { const targetUrl = 'https://blog.lacolaco.net/posts/write-better-code'; const head = document.getElementsByTagName('head')[0]; const meta = document.createElement('meta'); meta.setAttribute('name',"robots"); meta.setAttribute('cont…| 余白