関数型プログラミング言語Haskell Part34 (667ﾚｽ)

関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

407: デフォルトの名無しさん [sage] 2024/10/02(水) 08:47:20.09 ID:wonXK6QE >>403 大文字小文字の変換が自然変換になる事を(Haskellの例で)証明して、と言う話 (自然変換が何かは分かっているで、直感的に違うと思ったから訊いた) http://mevius.5ch.net/test/read.cgi/tech/1639713446/407

413: デフォルトの名無しさん [] 2024/10/02(水) 20:27:37.99 ID:AFS53MaU >>407 圏論の自然変換だと文字コード前提じゃないので、[0..25] = ['a'..'z'] = ['A'..'Z']ってする。 んで、大文字と小文字は同じ文字の圏、[0..25]は自然数の圏とする。 lCharToInt c = (length.takeWhile (c /=)) ['a'..'z'] -- 小文字からIntへの変換（関手） uCharToInt c = (length.takeWhile (c /=)) ['A'..'Z'] -- 大文字からIntへの変換（関手） toLChar = (['a'..'z']!!) -- Intから小文字への変換（関手） toUChar = (['A'..'Z']!!) -- Intから大文字への変換（関手） mytoLower = toLChar.uCharToInt -- 大文字から小文字への変換（自然変換） mytoUpper = toUChar.lCharToInt -- 小文字から大文字への変換（自然変換） でも、普通のプログラミング言語のtoLower, toUpperも、Char型を圏とみれば同じ。 可換にするのは面倒くさい上に効率悪いけど、そういう関手を作ろうと思えば作れる。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/413

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 1.294s*