ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

関数型プログラミング言語Haskell Part16

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>234 > >>231 > たとえば [1..3] は 1 : (2 : (3 : [])) であり、 > 「リストを構成するデータ型」の値だ > そして、 : や [] はこのデータ型の「値構築子」だ（ : は中置値構築子） > > last 関数は、last [] = errorEmptyList "last"; last (x:xs) = ・・・ > という形のパターンマッチを行う関数だ > > last [1..3] は last (1: (2 : (3 : []) なので、 > (x:xs) にパターンマッチし、x=1、xs=(2 : (3 : [])) と束縛する > > リストに限らず、データ型の値を作ってる値構築子の引数（この場合は 1 や 2 など）は、 > このようにパターンマッチさせて値構築子を剥がす事でしか参照できない > > で、リスト 1 : (2 : (3 : [])) がこのようなネスト構造を成している以上、 > ネスト構造を「順に剥がしていく」ことでしか中の値は参照できない > > ちなみに、f (_:_:x:_) = という関数で f [1..3] などとして一気に x=3 と束縛しようとしても、 > 内部で順に値構築子を剥がす処理をしてパターンにマッチするかを調べるから同じ事 > > > これを 「Haskellの出来」 というのなら、そうだね、としか言いようがない
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.029s