関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
414: デフォルトの名無しさん [] 2024/10/02(水) 20:45:45.19 ID:AFS53MaU 可換図にすると Char（小文字） ⇗ Int ⇑toL ⇓toU ⇘ Char（大文字） ここで、小文字→Int, 大文字→Intが作れればtoLower, toUpperを直接作らなくても、関手の合成で作れる。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/414
425: デフォルトの名無しさん [sage] 2024/10/02(水) 22:43:26.42 ID:+kVmY7U4 >>424 別人とのことなので便乗 ID:OPLMo7z3 は ID:AFS53MaU が > 大文字小文字の変換が自然変換になる事を(Haskellの例で)証明して と問われて >>413,414 を出してきたのは数学的証明だと思ってるの？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/425
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.271s*