[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
177: デフォルトの名無しさん [sage] 2011/10/16(日) 14:27:50.62 AAS
>>173
173(1): デフォルトの名無しさん [sage] 2011/10/16(日) 12:59:22.17 AAS
日本語版か...おぞましいことになりそうな悪寒

忍法帳を発展さてくれればいいんだけど嫌がるひとも多いか
あとプログラム板でもID表示とか
おぞましくさせない工夫が必要なほど幼稚な日本語をしゃべる人
（日本人とは限らない。）が多いのは事実だ。アノニマスには
開放できない罠。一番いいのは英語を使えることというのは否定でけん。
271: デフォルトの名無しさん [sage] 2011/10/24(月) 00:47:01.62 AAS
>>270
270(1): デフォルトの名無しさん [sage] 2011/10/24(月) 00:21:47.40 AAS
>>269
うん。酔っぱらってた。
がかわいい
323: デフォルトの名無しさん [sage] 2011/10/29(土) 14:44:46.62 AAS
>>322
322(1): デフォルトの名無しさん [sage] 2011/10/29(土) 14:25:06.17 AAS
extcoreパッケージのソースコード
ありがとうございます

Webサイトや README をざっと見た感じ、自分でパーサーを作らなくても
extcore 自体を使って目的が達成できそうな気配なので、ちょっと試してみます
612: デフォルトの名無しさん [] 2011/11/28(月) 20:35:18.62 AAS
>>610
610(1): デフォルトの名無しさん [sage] 2011/11/28(月) 19:21:31.13 AAS
型推論と型検査は同じ技術なのか？
有限時間内に終わることを期待しないならば同じものだと思う
778(6): デフォルトの名無しさん [sage] 2011/12/21(水) 19:40:34.62 AAS
>>767
767(6): デフォルトの名無しさん [] 2011/12/20(火) 21:54:07.97 AAS
listAは重複がないリストとする。
listBは空でなく、順序は不明だがlistAの要素の連続になっている。
listAの要素であるxを渡された時、それがlistBと比較して前方にあるか
後方にあるか、それともlistBに含まれるかを判定したい。
例で書くと
listA = ["A","B","C","D","E",...]
listB = ["C","D","B"]
xが"E"なら、listBに含まれるB,C,Dに対して「後方」ということになる。
このとき、haskellらしい考え方だとどういうアプローチになる？
俺の手続き脳だと
1. xがlistBにあるかどうかを判別
2. xとlistBそれぞれの要素のlistA内での位置を調べる
3. 調べた位置を比較して「前方」「後方」を判定する
と考えたんだけど、ザ・手続きっぽくてダサいよなぁ、と思って。
data Where = Before | Here | After

whereIncluded :: (Eq a) => [a] -> [a] -> a -> Where
whereIncluded _ [] _ = After
whereIncluded (a:as) (b:bs) x
| x == b = Here
| x == a = if elem x bs then Here else Before
| otherwise = whereIncluded as bs x

[説明]
・listA と listB それぞれの head と x を比較する
・listB の head と x が同じなら、x は listB に含まれる
・そうではなく listA の head と x が同じ場合、
　x が listB に含まれていなければ、x は後方にある
・どちらの head とも異なっていれば、両者の tail に対して同計算を繰り返す
・計算を繰り返した結果 listB の tail が空なら、x は後方にある

提示された条件を全て完全に満たすものとして式を書いたので、
エラー処理は省いてある
786: デフォルトの名無しさん [sage] 2011/12/22(木) 20:08:59.62 AAS
Haskell Platform じゃなくて素の GHC の方には、
random パッケージってデフォルトでは入ってないんだね

地味に驚いた
895: デフォルトの名無しさん [sage] 2011/12/27(火) 13:38:57.62 AAS
無理矢理なぐらい広議にしたモノイドという観点に立てば関連性が無いとも言えない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s