関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

34(3): 2022/01/02(日)20:44:02.99 ID:OOMiLRw0(1/2) AAS
>>30ちょと改変
wc6 = let
iter n [] = z
iter n (False:True:xs) = let n' = n + 1 in seq n' $ iter n' xs
iter n (x:xs) = iter n xs
in (iter 0) . (False :)

wcc = wc6 . map chkspand2
これのseq n'が効けば+1+1+1+1が積みあがらないはず

---

115: 2022/09/10(土)21:18:15.99 ID:Jyomj+F3(1) AAS
ボトルネックは事実上バグと変わらないから
結局パフォーマンスを考えると
Haskellはバグが混入しやすい言語と言える
しかも入出力は正しいから解決がクッソ厄介で実用性はない

---

253: 2023/09/27(水)17:59:16.99 ID:k7PwLxD8(1) AAS
readが定義されたモジュールは別のLANGUAGEってこと？

---

413(1): 2024/10/02(水)20:27:37.99 ID:AFS53MaU(4/6) AAS
>>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型を圏とみれば同じ。
可換にするのは面倒くさい上に効率悪いけど、そういう関手を作ろうと思えば作れる。

---

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

---

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

---

ぬこの手 ぬこTOP 0.018s