HaskellのABC(Haskell Advent Calendar 6th) - モナドとわたしとコモナド

Haskellといえば一文字変数名、一文字変数名といえばHaskellという{{要出典}}ほどにHaskellでは一文字の変数名がよく使われている。これは名前を考えるのをサボっているとは限らない。多相性によって変数が具体的な性質を持たないがゆえに、具体的な名前がつけられないというのが主な理由だ。あるいは、適切な名前があっても、既存の名前と被っているという場合もある。かといって完全なランダムというわけでもないので、一文字変数名はどのように選べばいいか考察していこう。 a よくある種: * アルファベットの最初であるaは汎用性が高い。型変数に使うのが王道だ。値レベルの変数として単体で使うことは意外と少ない。 reverse :: [a] -> [a] b よくある種: * aに続いて、bも型変数によく使われる。 map :: (a -> b) -> [a] -> [b] c 三つの値が与えられ

[zyzy]

そーいやoってあんまり使われんね

[Nnwww]

hはこの例よりHandle型的な奴によく使いませんか？

[qtamaki]

x:xs y:ysとか頻出するからね

[kakkun61]

Haskell は変数のスコープが手続き型プログラミングに比べて短い傾向が多いのと、型に情報が多いので、1文字変数でも読み難くないように感じる

[tokoyax]

ありがてえありがてえ

[igrep]

大体慣習で決まっているので覚えておくといい。