Deprecatad @deprecatad
出自はnScript(nsciprterではない)。 主兵装はJava。 副兵装はC++からC#になりました。 でもC++とても好き。 Haskell及び圏論などの理論系に興味があります。 Vim使ってます。
-
代数的データ型はF-始代数的データ型
3223pv 5 -
1つのモノイドを圏として見做すと幽霊が見えるよ
2847pv 3 -
{圏の圏 -> 圏の圏}というやばい函手について
2959pv 6