Quartz Compser Book

論理やアルゴリズムを記述するための形式言語を手でこねくり回す経験は、とてもいいものだったなぁと思う。狭義のコーディングをゼロから学ぶ人はぐっと減るに違いなくて、あれのより良い代替は何になっていくんだろう。自然言語によるバイブコーディングははゆる過ぎるし、圏論はハイブロー過ぎる Haskellは全く