2026-01-01から1年間の記事一覧

Smalltalk の風変わりな FizzBuzz にモノイドを見つけた話 〜Haskell と F# の流儀の違い〜

※本稿は資料与えて ChatGPT に作成させたものです。 FizzBuzz をちょっと変わった「オブジェクト指向」で書く FizzBuzz は、たいてい条件分岐の練習問題として紹介されます。 「3 で割り切れるなら Fizz、5 で割り切れるなら Buzz、両方なら FizzBuzz、それ…

構造化定理と構造化プログラミングは、似ているけれど同じ話ではない

※本稿は私の理解の整理および備忘用に ChatGPT に書かせた記事です。 TL;DR ベーム=ヤコピーニの構造化定理は「表現できるか」の話。ダイクストラの構造化プログラミングは「人間が理解できるか」の話。両者は同じ三つの制御構造にたどり着くが、問題意識は…

「データは“悪いアイデア”」——アラン・ケイが投じた一石と、リッチ・ヒッキーとの根源的なすれ違い

※この記事は Hi Alan! I've got some assumptions regarding the upcoming big paradigm shift (an... | Hacker News といくつかの参考資料を NotebookLM に解説させたものです。 2016年、コンピュータ界の伝説的人物であり、「オブジェクト指向」やパーソナ…