196(1): 186 [sage] 2011/10/21(金) 08:04:56.77 AAS
>>190
＞>>186
＞Richard Bird先生の本を読むのがいいかもしれない。

情報有難う！
Research paperを幾つか、ざっと読んでみた。
まだよく理解出来ない所も多いけど、Haskellって面白い。

222(1): デフォルトの名無しさん [sage] 2011/10/22(土) 18:02:28.53 AAS
今更気付きましたが、Win7のx64環境です
だからダメと言う事は在るのでしょうか？
ghcにあわせてwin32版を落として設定して失敗してます

234(1): デフォルトの名無しさん [sage] 2011/10/22(土) 22:25:23.49 AAS
>>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の出来」 というのなら、そうだね、としか言いようがない

373(1): デフォルトの名無しさん [sage] 2011/11/05(土) 21:03:14.21 AAS
CArray

467(1): デフォルトの名無しさん [sage] 2011/11/11(金) 03:36:49.91 AAS
c言語でのint (*)[4]型っぽいものをhaskell的に表現する場合、
* = Pointer, [] = Array4, int = Intと置き換えて、
Pointer (Array4 Int Int Int Int)とでも書けるんだろうけれど、
int (*)[100]型とかになってくるととても書いていられない。
何か上手い方法はないだろうか。
用途ねーだろって突込みは無しで。

736(1): デフォルトの名無しさん [sage] 2011/12/18(日) 20:27:25.38 AAS
>>731
もっと詳細を書いてくれないと、同じ環境で同じ問題にぶち当たった人しかアドバイスできないよ。

712(9): デフォルトの名無しさん [sage] 2011/12/18(日) 01:52:22.20 AAS
Windows + ghci での日本語表示について質問です

コンソールの文字コードを cp65001 (UTF-8) に変えて、
フォントも UTF-8 が表示できる [ＭＳ ゴシック] を使ってます

Haskell 関係無しに、コンソール上で type "ファイル名" とコマンドを打てば、
UTF-8 エンコードされた日本語テキストファイルは問題なく表示されます

この状態で ghci を立ち上げて、
s = "テスト" と記述された hs ファイルをロードし、
putStrLn s とすると、「テ・・ス・・ト・・」と表示されます

どうして余計な文字まで表示されるのでしょうか

ちなみに、実際のところ余計な文字は全角中点「・」ではなく「�」です
ＭＳゴシックだとたまたま全角中点に見えるだけで、何か別の文字みたいです

[環境]
Windows 7
GHC 7.2.2

713(1): 712 [sage] 2011/12/18(日) 01:55:56.12 AAS
>>712
> ＭＳゴシックだとたまたま全角中点に見えるだけで、

すいません
コンソールの表示をよく見たら、全角ではなく「半角中点」に見えます

つまり 「テ･･ス･･ト･･」 と表示されているように見えます

778(6): デフォルトの名無しさん [sage] 2011/12/21(水) 19:40:34.62 AAS
>>767
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 は後方にある

提示された条件を全て完全に満たすものとして式を書いたので、
エラー処理は省いてある

799(1): デフォルトの名無しさん [sage] 2011/12/23(金) 18:22:51.88 AAS
いい例かどうか分からないが
外部ﾘﾝｸ[html]:blog.sigfpe.com
外部ﾘﾝｸ:www.haskell.org
外部ﾘﾝｸ:www.haskell.org

867(3): デフォルトの名無しさん [] 2011/12/25(日) 20:21:39.10 AAS
>>858 >>864
ああ、また見捨てられてしもた。いっつもこうや。わしに学がないばっかりに。
ふつうのプログラムはやってるから、あのIOやエラーは知ってるし、
Maybeなんちゅうのがあるらしいのも知ってるけど、そんなんじゃ
話がわからんちゅうこっちゃろな。
Monad入門ってどこにあるんですか？
今日は冷えるわ。