[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
188(1): 186 2011/10/20(木)23:29 AAS
>>187
C、java、rubyと来たのでmapは理解していたけど、手続き型言語には無い発想だと思う。
ついでに言うと、今なら手続き型言語ユーザーが何故、関数型言語を誤解するのか判る気がする。
「関数」「型」「評価」など、同じ字面でも関数型言語とは違う意味で説明される物が多い。
189(1): SCHEME餃子 ◆8X2XSCHEME 2011/10/20(木)23:52 AAS
要するに根本的なパラダイムが違うって話だよな
英語で話すときは英語で考えなきゃ滑らかに話せないって話は聞くけど、
Haskell で書くときは Haskell で考えなきゃいけないってことだろ
190(1): 2011/10/20(木)23:53 AAS
>>186
いいかどうかは別にして、カウンタやインデキシングを避けて、
何でもリストで考えればそうなる。
そうするとリストの代数的操作でプログラミングするようになる。
Richard Bird先生の本を読むのがいいかもしれない。
191: 187 2011/10/21(金)00:00 AAS
>>188
逆にオレはfor文でFizzBuzz書けとかいわれたら、戸惑うかな？ たぶん戸惑うな。
whileでとか憤死するレベル。
192(1): 2011/10/21(金)00:05 AAS
よーしパパFizzモナドとBuzzモナドを合成しちゃうぞー
193: 2011/10/21(金)00:10 AAS
でも それ、１から連続する数字のリストだから正解なだけで
あまりいい回答ではないと思ったかな。fibbuzzとかはやってるけど
関数型言語の普通の作り方すれば、最後のリストを[1..100]と
違うのだけの違いだから新鮮にも見えなかったよ。抽象化が得意な言語
とそうでないものでのさがあるんだなということかな。
prnFizzBuzz = mapM_ putStrLn.FizzBuzz
FizzBuzz n 。。。パターンマッチ
で
prnFizzBuzz [1..100] とか prnFizzBuzz fibSeq とかでおしまいだろ？
194(2): 2011/10/21(金)00:14 AAS
for文などでかけと言われたらかけるけど、関数型の記述に比べれば
泥臭くって、抽象化ができないよね。関数オブジェクトなどを使って
抽象化させて作るんだったら、初級っぽくないだろうし。
195: 2011/10/21(金)07:52 AAS
mplusを使ってfizzbuzzを書こうとすると現行のMonadPlusの駄目な部分がわかるかも
196(1): 186 2011/10/21(金)08:04 AAS
>>190
＞>>186
＞Richard Bird先生の本を読むのがいいかもしれない。
情報有難う！
Research paperを幾つか、ざっと読んでみた。
まだよく理解出来ない所も多いけど、Haskellって面白い。
197(1): 2011/10/21(金)08:52 AAS
>>194
細かい抽象化は全体からみれば効果がないだろうよ
198(1): 2011/10/21(金)09:48 AAS
>>196
鳥先生に興味が出てきたら早速ピアソンのサイトへ行ってAlgebra of Programmingを手に入れるんだ
199: 2011/10/21(金)10:38 AAS
>>197
何を優先してるかで違うのは当然だが、抽象化のセンスを見るのにも
いいとは思うがな。ボイラープレイトを取り除くにしても、この手の単純な
抽象化が出来なければ難しく感じるだろう。
余談だが、この辺の抽象化のセンスってLispのマクロを作るセンスにも通じ
てる印象がある。マクロで関数を作成するにしてもマクロを作成するにして
もボイラープレイと除去と同じセンス必要なので。
200: 2011/10/21(金)11:19 AAS
>>192のアイデアを水平合成とみて>>186のに適用するとこんな感じ？
type Magma a = a -> a -> a
class MonadZero m where
mzero :: m a
class MonadZero m => MonadOr m where
mor :: Magma (m a)
class MonadZero m => MonadPlus m where
mplus :: Magma (m a)
instance MonadZero [] where
mzero = []
instance MonadOr [] where
mor xs = if null xs then id else const xs
instance MonadPlus [] where
mplus = (++)
fizz = cycle $ replicate 2 mzero `mplus` return "Fizz"
buzz = cycle $ replicate 4 mzero `mplus` return "Buzz"
fizzbuzz = zipWith mplus fizz buzz
main = print $ zipWith mor fizzbuzz $ map show [1..100]
listモナドの和を論理和(つまりMaybeモナドの和)、数値和の二通りに見ることで数値和で作ったfizzbuzzのパターンと数字のパターンを論理和で合成する・・・と
Listを信号としてみれば、もろor回路による信号の合成だよな。始まる場所が変わることに対してはdrop等で開始位置をずらしてつまり信号のdelay回路か
SignalArrowを使った抽象化でもいけそうに見えるな
それはさておき垂直合成、つまりモナド変換子を使うのはどうなるんだろうか
FizzT (FuzzT Identity Int) [String]みたいな型になればそれっぽいんだけど
201(3): 2011/10/21(金)12:37 AAS
>>194
で、いざHaskellでEnumeratorとモナド使ったfor記法が定義されたら
嬉々として使うんだろ？
202: 2011/10/21(金)12:43 AAS
>>201
いらないよ。ループ系ですらほとんど使わないのに。
203: 2011/10/21(金)12:50 AAS
>>201
それってfoldlとどう違うの？
204: 2011/10/21(金)14:40 AAS
>>201
そんな書き込みして何が楽しいの？
205: 2011/10/21(金)17:53 AAS
>>189
思考が言語を作ったが
今や言語が思考を制限するのですね
206: 2011/10/21(金)18:00 AAS
自然言語では当たり前の話だが、言語＝思考なんだよ。
207: 2011/10/21(金)18:07 AAS
自然言語ですら異論ありまくりだよ
208: 2011/10/21(金)18:27 AAS
たとえばMatzあたりがよく引き合いに出すが、そんなに支持されてる仮説じゃない
あと、エキスパートの思考は言語化できないことが多い
209: 2011/10/21(金)19:45 AAS
エスパーの思考に見えた
210(1): 2011/10/21(金)21:08 AAS
明日筑波でHaskellな話してくるよ！
211: 2011/10/21(金)21:33 AAS
まだハスプラ更新されない
毎回のように延期するんならもうちょっと余裕を持ってスケジュール宣言しとけよ
212: 2011/10/21(金)21:47 AAS
ドラクエみたいなモンだよ
スケジュール通りに発売されたドラクエなんて、逆に心配だろ？
213: 2011/10/21(金)22:00 AAS
確かに長々と書いたC++のコードが一発でコンパイル通った時くらい眉唾だな
214(1): 2011/10/21(金)22:25 AAS
>>198
URLぷりーず。
ピアソン?
215: 2011/10/21(金)23:43 AAS
>>210
Matz王国へ乗り込むんだな。
216: 2011/10/21(金)23:54 AAS
>>214
つ外部ﾘﾝｸ[asp]:www.pearsoned.co.uk
217: 2011/10/22(土)16:35 AAS
Winでgtk2hs使えるようにするのって大変っぽい？
linuxだとcabalをapt-getで入れて、gtk-buildingToolsをcabalで入れれば良いだけみたいなんだけど、Winのgtk2hsインストール手順が別になってて複雑っぽい。。。
上下前次1-新書関写板覧索設栞歴
あと 761 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.024s