haskell-jp / random #69

2020-03-23 13:33:21 +0900
後で時間があったら思いつく例を何個か作って上げようと思ってるんですが、
* パーサのデバッグ
* グラフ構造の探索など、コントロールフローが複雑な関数群のデバッグ
* notogawa さんがおっしゃってるようなパフォーマンスの改善時のデバッグ
で printf デバッグをする際、trace が出ない原因の切り分けが、遅延評価だからなのかコードのバグなのか分からないのは、だいぶ辛いというのが経験則としてあります
as_capabl
2020-03-23 19:59:17 +0900
パーサのデバッグのイケてる方法、存在するならぜひ誰かにレクチャーして欲しい……
igrep
2020-03-23 20:01:56 +0900
個人的には、attoparsecでやっている限りは traceM を putStrLn の代わりに使えば割とどうにかなってますね。 :thinking_face:
あとは必ずパースした結果をトレースするよう traceShowId <$> と書いたり。
2020-03-23 20:06:09 +0900
(そういえば補足ですが、パーサのデバッグというのは、パーサコンビネータでのパーサのデバッグですね)
teruchi
2020-03-24 00:08:16 +0900
@teruchi has joined the channel
2020-03-24 12:35:43 +0900
@ has joined the channel
shinichi
2020-03-24 17:36:28 +0900
@shinichi has joined the channel
nobsun
2020-03-25 08:39:07 +0900
遅延評価云々にかかわらず、プログラミングにおける典型的なミスや勘違いによるエンバグ例とデバッグ例をストックしておくと役にたちそう。とおもって、はや幾星霜:sweat_smile:
cutsea110
2020-03-25 17:42:03 +0900
3つの型の直和型が欲しくなったとき、新たに型を定義します？それともEither (Either a b) c ないし Either a (Either b c)なりします?
hexirp
2020-03-25 17:42:48 +0900
新しく型を定義しますね
cutsea110
2020-03-25 17:45:42 +0900
新しく定義する場合、dataで作っちゃいますか? それとも type synonym を使いますか?
hexirp
2020-03-25 17:46:31 +0900
data で作ります
cutsea110
2020-03-25 17:47:43 +0900
なるほど、個人的にはそれぞれありえるかなーとは思ってて、煮え切らないけどケースバイケースな気がしていたのですが、 @hexirp さんが data 一択(?)なのはどういった理由からでしょう
hexirp
2020-03-25 17:48:20 +0900
混乱する可能性があるので、分かりやすさのためですね
cutsea110
2020-03-25 17:48:49 +0900
なるほど、そこになりますかね。
cutsea110
2020-03-25 17:53:30 +0900
dataについて分かりやすいというのは私もそこだなと思います。一方で、Either や Maybe、タプルは多くのライブラリでも視野に入ってて結構使えるライブラリが存在するのでそこはメリットかなと思っています。
cutsea110
2020-03-25 17:53:48 +0900
で、今ちょっと微妙な気になっているのが type synonym です。
shinichi
2020-03-25 17:54:54 +0900
重要な抽象化であれば、type class を用いればいいのでは。
cutsea110
2020-03-25 17:56:06 +0900
重要な抽象化だとアドホック多相になりますか？
shinichi
2020-03-25 17:57:08 +0900
object oriented 型の polymorphism かと問われると:question:となります。
cutsea110
2020-03-25 17:57:40 +0900
どういう意味でしょう？
shinichi
2020-03-25 17:58:20 +0900
アドホック多相とはそういう意味（Java にみられるような、overload の形の多相(polymorphism) ）ではないのでしょうか。
cutsea110
2020-03-25 18:09:59 +0900
話を戻すと type synonym は割と軽いのでよく使ってたのですが、型構成子がオリジナルのものが使える(RWH流)といいつつ、逆に言えば上のようなEitherの場合Left/Rightが入れ子になるので読みづらくない？という話がありまして。
これはまぁ専用のコンストラクタを用意してもいいのですが、今度はパターンマッチでバラす方でやっぱりLeft/Rightが入れ子になるので抽象の壁破れてるじゃんみたいな気になってしまいまして。
cutsea110
2020-03-25 18:11:28 +0900
これ型シノニムって微妙なのか?と思って質問投げてみた次第。
lotz
2020-03-25 18:12:51 +0900
type synonym って
type Hoge a b c = Either (Either a b) c

みたいなイメージですか？
shinichi
2020-03-25 18:14:02 +0900
そっか、型クラスはアドホックか。型によって関数の定義が異なるか。
cutsea110
2020-03-25 18:14:18 +0900
はい、そうです。そのHogeなる幻想を与えようということなんですが、パターンマッチのところで結局
Left (Right x) -> ...

みたいに書かないといけないので破れとるなぁと。
lotz
2020-03-25 18:15:18 +0900
確かに :sweat_smile: あと使う側もLeftとRightで剥がす順番を覚えておかないといけないのでtype synonym で別名を付けてる意味…ってなりそうですね…
やはり data か
igrep
2020-03-25 18:18:51 +0900
多分今回はそういうケースではないんだろうとは思いますが、
値コンストラクターのうち2つが明確に「エラーの場合の値」（あるいはその逆）を表しているといえるなら
data Val = E1 | E2 | R

を、
data Err = E1 | E2
data R = R
type Val = Either Err R

と書き換えるのはいいと思いますけどね
igrep
2020-03-25 18:20:00 +0900
「エラーの場合の値」といえなくとも、3つの値コンストラクターがきれいに2つのグループに大別できる、ならいいか
cutsea110
2020-03-25 18:20:36 +0900
実はいい線いってますそれ。
cutsea110
2020-03-25 18:21:45 +0900
なるほど、下だけdataもありえるか。。。
shinichi
2020-03-25 18:25:19 +0900
Haskell で、associativity をもつ型クラスみたいなのってないのだろうか。
cutsea110
2020-03-25 18:26:04 +0900
Semigroup?
shinichi
2020-03-25 18:26:37 +0900
おおお、そうか semigroup だといけるのか。
shinichi
2020-03-25 18:28:01 +0900
ありがとうございます。
shinichi
2020-03-25 18:37:50 +0900
いちいち積をあたえなくても、
Assoc type があるみたいですね。
shinichi
2020-03-25 18:42:04 +0900
semigroup はassociativity が制約として課されている訳であって、ものは、積によって演算されてしまうので、つぶれているので、
この場合は、そのように考えるならば、

例えば、いっそ identity を付加して、monoid にするとどのような弊害があるのだろうか。

{E1} * {R} = {E1}
{E1} * {E2} = {E1, E2}

などと定義するとして。
shinichi
2020-03-25 18:51:24 +0900
Either : Types -> Types -> Types が積とすればいいのか。
これって Haskell で書けるのか？
shinichi
2020-03-25 18:52:50 +0900
e a b = Either a b

でいけるか
2020-03-25 18:53:28 +0900
read が失敗した時謎の場所で実行時エラーになってreadが原因だとしばらく気が付かなかったことはありますね
readMaybe 使えば良いんですけど
shinichi
2020-03-25 18:55:09 +0900
型変数を自由に扱えるほど、Haskell は自由ではないか。
なんかしらの拡張機能がいるのかな。
shinichi
2020-03-25 18:55:50 +0900
無理ゲーかもしれない
2020-03-25 18:57:35 +0900
とりあえずそれだとEitherのLeftとRightが同じ型じゃないといけなくなりそうですね
2020-03-25 18:58:07 +0900
マグマの時点で同じ型じゃないと演算ダメですし
wshito
2020-03-25 18:58:31 +0900
@wshito has joined the channel
shinichi
2020-03-25 18:59:01 +0900
なるほど、たしかに、そうですね。
e a b = either a b //either の頭文字が小文字

だといけるのか