186(10): デフォルトの名無しさん [sage] 2011/10/20(木) 22:49:20.89 AAS
FizzBuzzを剰余使って書くのはすぐ思いつくけど、以下のは新鮮だった。
どうやったらこんな発想が出来る様になるんだろ。

fizz = cycle ["","","Fizz"]
buzz = cycle ["","","","","Buzz"]

f s n
| s == "" = show n
| otherwise = s

main = print $ zipWith f (zipWith (++) fizz buzz) [1..100]

198(1): デフォルトの名無しさん [sage] 2011/10/21(金) 09:48:20.45 AAS
>>196
鳥先生に興味が出てきたら早速ピアソンのサイトへ行ってAlgebra of Programmingを手に入れるんだ

272(1): デフォルトの名無しさん [sage] 2011/10/25(火) 00:39:21.95 AAS
GHCi, version 7.0.3 で
Prelude> let a = reverse
で、:t a と :t reverse が互いに同様なのに、
Prelude> import List
Prelude List> let b = group
で、:t b と :t group が互いに違うのは何でだろ？
エロイ人教えて。

439(1): デフォルトの名無しさん [sage] 2011/11/09(水) 23:04:27.78 AAS
>>435
> その場合は、その関数の引数として対象のデータ型の値が要りますね
これはデータ型に直接ラベルを定義しても同じ事でした、すいません

>>436
やはり、そうしますか

>>437
サブモジュールをどのように作って、どのようにアクセスさせているのでしょうか

モジュールを分けても、データ型のその情報にアクセスする為には関数が必要で、
当然その関数は各モジュールからエクスポートさせるのですよね

ボールの位置、バーの位置、ブロックの位置などの情報に対するアクセス関数の
名前のバッティングはどうしてるのでしょうか

もしかして、各モジュールをインポートする時に as で別名を与えてるのでしょうか

770(1): デフォルトの名無しさん [sage] 2011/12/20(火) 22:55:42.52 AAS
>>767
めっさ力技

data Pos = F | M | E deriving Show

getPos :: Eq a => [a] -> [a] -> a -> (Maybe Pos)
getPos listA listB = fmap f . (`lookup`listE) where
    listC = map (`elem` listB) listA
    listE = zip listA $ zip listC $ scanl1 (||) listC
    f (True,_)      = M
    f (False,False) = F
    f (False,True)  = E

listA = [0,1,2,3,4]
listB = [2,3,1]
x=0
main = do
 let g = getPos listA listB
 print $ g 0
 print $ g 1
 print $ g 2
 print $ g 3
 print $ g 4

771(4): デフォルトの名無しさん [sage] 2011/12/20(火) 23:35:56.81 AAS
>>767
1. listAをlistA1 ++ [x] ++ listA2にわける
2. listA1とlistBのintersectionを取って判定

f listA listB x =
if y == 0 then 1 else if y == length listB then -1 else 0
　where y = length $ takeWhile (/= x) listA `intersect` listB

772(1): デフォルトの名無しさん [sage] 2011/12/21(水) 01:20:13.13 AAS
>>767
f listA listB x = (elem x as, elem x listB) where as = takeWhile (not.flip elem listB) listA

845(1): デフォルトの名無しさん [sage] 2011/12/25(日) 19:04:09.30 AAS
IO がモナドで表現されるようになった経緯は、
「A History of Haskell」の Section 7 に詳しく書かれている

外部ﾘﾝｸ:research.microsoft.com

846(3): デフォルトの名無しさん [sage] 2011/12/25(日) 19:05:37.16 AAS
>>841
> で、IOはたまたまモナドの枠組に適合する(ので、IOモナドと呼ばれる)

なるほど。
いつまでもIOモナドは難しいと言われ続ける理由がわかったよ。

本当にIOモナドは「たまたま」モナドの枠組みに適合してるの？
わざわざモナドとしての宣言をしているのを「たまたま」というの？

わざわざ色々なIOをモナド則にあわせて整理して宣言しているのを
「たまたま」とか言って誤魔化しているわけでしょ。
学ぶ人達の能力を信用していないから、そうやって誤魔化すわけだ。

そうやって学ぶ人達を信用せずに、ありのままを伝えず、
取って着けたようなすぐバレるデッチアゲばかり言うから、
学ぶ人達はどの言葉を信用すればいいかわからなくなって、
「Haskellは難しい」という結論になっているんじゃないの？

847(2): [―{}@{}@{}-] デフォルトの名無しさん [sage] 2011/12/25(日) 19:10:26.88 AAS
>>844
>IOモナドはモナドのひとつじゃないん？
そうだよ
>その「純粋さを保ったまま入出力をする仕組み」がモナドなんやろ？
IOモナドがその仕組み。それ以外のモナドは全然別のことをする(構文解析とか)
>純粋さって関数型のってこと？もしそうなら、どの程度保てるものなの？
副作用のある関数を一切使わずに入出力のあるプログラムが書ける