Arantium Maestum

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

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

Hindley Milner型推論に機能を追加していく12 Listの追加(前編)

前回「次は再帰型を追加する」と書いたが、その前振りとして関連しているがより簡単な「言語機能としてリスト型を提供する」をまずやっていく。 OCamlでユーザがリスト型を定義するなら: type 'a list = Nil | Cons of 'a * 'a list このように代数的データ…

TIL: 世界恐慌で滅んだ世界的マッチ王

第二次世界大戦以前に不透明な金融やM&A戦略により世界的なマッチ帝国を築き、世界恐慌で全てを失った人物について知ったのでメモ スウェーデン富豪イーヴァル・クルーガーが一時期世界のマッチ生産の75%を握り、世界各国でマッチの独占供給権を持ってい…