代数プログラミング入門 Ch6 代数的データ型2

資料
Published on 2025-06-06 under the tag algebra, lecture, statistics, haskell

データ型が対象(集合), 関数が射,圏と圏の関数が関手, クラスが(部分圏), 多相型が自然変換

Contents