[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part16 (978ﾚｽ)
関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
188: 186 [sage] 2011/10/20(木) 23:29:22.83 >>187 C、java、rubyと来たのでmapは理解していたけど、手続き型言語には無い発想だと思う。 ついでに言うと、今なら手続き型言語ユーザーが何故、関数型言語を誤解するのか判る気がする。 「関数」「型」「評価」など、同じ字面でも関数型言語とは違う意味で説明される物が多い。 http://echo.5ch.net/test/read.cgi/tech/1317958045/188
189: SCHEME餃子 ◆8X2XSCHEME [sage] 2011/10/20(木) 23:52:51.12 要するに根本的なパラダイムが違うって話だよな 英語で話すときは英語で考えなきゃ滑らかに話せないって話は聞くけど、 Haskell で書くときは Haskell で考えなきゃいけないってことだろ http://echo.5ch.net/test/read.cgi/tech/1317958045/189
190: デフォルトの名無しさん [sage] 2011/10/20(木) 23:53:46.97 >>186 いいかどうかは別にして、カウンタやインデキシングを避けて、 何でもリストで考えればそうなる。 そうするとリストの代数的操作でプログラミングするようになる。 Richard Bird先生の本を読むのがいいかもしれない。 http://echo.5ch.net/test/read.cgi/tech/1317958045/190
191: 187 [sage] 2011/10/21(金) 00:00:33.30 >>188 逆にオレはfor文でFizzBuzz書けとかいわれたら、戸惑うかな？ たぶん戸惑うな。 whileでとか憤死するレベル。 http://echo.5ch.net/test/read.cgi/tech/1317958045/191
192: デフォルトの名無しさん [sage] 2011/10/21(金) 00:05:06.91 よーしパパFizzモナドとBuzzモナドを合成しちゃうぞー http://echo.5ch.net/test/read.cgi/tech/1317958045/192
193: デフォルトの名無しさん [sage] 2011/10/21(金) 00:10:44.14 でも それ、１から連続する数字のリストだから正解なだけで あまりいい回答ではないと思ったかな。fibbuzzとかはやってるけど 関数型言語の普通の作り方すれば、最後のリストを[1..100]と 違うのだけの違いだから新鮮にも見えなかったよ。抽象化が得意な言語 とそうでないものでのさがあるんだなということかな。 prnFizzBuzz = mapM_ putStrLn.FizzBuzz FizzBuzz n 。。。パターンマッチ で prnFizzBuzz [1..100] とか prnFizzBuzz fibSeq とかでおしまいだろ？ http://echo.5ch.net/test/read.cgi/tech/1317958045/193
194: デフォルトの名無しさん [sage] 2011/10/21(金) 00:14:42.74 for文などでかけと言われたらかけるけど、関数型の記述に比べれば 泥臭くって、抽象化ができないよね。関数オブジェクトなどを使って 抽象化させて作るんだったら、初級っぽくないだろうし。 http://echo.5ch.net/test/read.cgi/tech/1317958045/194
195: デフォルトの名無しさん [sage] 2011/10/21(金) 07:52:37.50 mplusを使ってfizzbuzzを書こうとすると現行のMonadPlusの駄目な部分がわかるかも http://echo.5ch.net/test/read.cgi/tech/1317958045/195
196: 186 [sage] 2011/10/21(金) 08:04:56.77 >>190 ＞>>186 ＞Richard Bird先生の本を読むのがいいかもしれない。 情報有難う！ Research paperを幾つか、ざっと読んでみた。 まだよく理解出来ない所も多いけど、Haskellって面白い。 http://echo.5ch.net/test/read.cgi/tech/1317958045/196
197: デフォルトの名無しさん [sage] 2011/10/21(金) 08:52:36.35 >>194 細かい抽象化は全体からみれば効果がないだろうよ http://echo.5ch.net/test/read.cgi/tech/1317958045/197
198: デフォルトの名無しさん [sage] 2011/10/21(金) 09:48:20.45 >>196 鳥先生に興味が出てきたら早速ピアソンのサイトへ行ってAlgebra of Programmingを手に入れるんだ http://echo.5ch.net/test/read.cgi/tech/1317958045/198
199: デフォルトの名無しさん [sage] 2011/10/21(金) 10:38:23.33 >>197 何を優先してるかで違うのは当然だが、抽象化のセンスを見るのにも いいとは思うがな。ボイラープレイトを取り除くにしても、この手の単純な 抽象化が出来なければ難しく感じるだろう。 余談だが、この辺の抽象化のセンスってLispのマクロを作るセンスにも通じ てる印象がある。マクロで関数を作成するにしてもマクロを作成するにして もボイラープレイと除去と同じセンス必要なので。 http://echo.5ch.net/test/read.cgi/tech/1317958045/199
200: デフォルトの名無しさん [sage] 2011/10/21(金) 11:19:02.96 >>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]みたいな型になればそれっぽいんだけど http://echo.5ch.net/test/read.cgi/tech/1317958045/200
201: デフォルトの名無しさん [sage] 2011/10/21(金) 12:37:44.28 >>194 で、いざHaskellでEnumeratorとモナド使ったfor記法が定義されたら 嬉々として使うんだろ？ http://echo.5ch.net/test/read.cgi/tech/1317958045/201
202: デフォルトの名無しさん [sage] 2011/10/21(金) 12:43:09.39 >>201 いらないよ。ループ系ですらほとんど使わないのに。 http://echo.5ch.net/test/read.cgi/tech/1317958045/202
203: デフォルトの名無しさん [sage] 2011/10/21(金) 12:50:12.54 >>201 それってfoldlとどう違うの？ http://echo.5ch.net/test/read.cgi/tech/1317958045/203
204: デフォルトの名無しさん [sage] 2011/10/21(金) 14:40:50.67 >>201 そんな書き込みして何が楽しいの？ http://echo.5ch.net/test/read.cgi/tech/1317958045/204
205: デフォルトの名無しさん [sage] 2011/10/21(金) 17:53:37.66 >>189 思考が言語を作ったが 今や言語が思考を制限するのですね http://echo.5ch.net/test/read.cgi/tech/1317958045/205
206: デフォルトの名無しさん [sage] 2011/10/21(金) 18:00:38.90 自然言語では当たり前の話だが、言語＝思考なんだよ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/206
207: デフォルトの名無しさん [sage] 2011/10/21(金) 18:07:06.79 自然言語ですら異論ありまくりだよ http://echo.5ch.net/test/read.cgi/tech/1317958045/207
208: デフォルトの名無しさん [sage] 2011/10/21(金) 18:27:55.96 たとえばMatzあたりがよく引き合いに出すが、そんなに支持されてる仮説じゃない あと、エキスパートの思考は言語化できないことが多い http://echo.5ch.net/test/read.cgi/tech/1317958045/208
209: デフォルトの名無しさん [sage] 2011/10/21(金) 19:45:59.14 エスパーの思考に見えた http://echo.5ch.net/test/read.cgi/tech/1317958045/209
210: デフォルトの名無しさん [sage] 2011/10/21(金) 21:08:24.89 明日筑波でHaskellな話してくるよ！ http://echo.5ch.net/test/read.cgi/tech/1317958045/210
211: デフォルトの名無しさん [sage] 2011/10/21(金) 21:33:02.92 まだハスプラ更新されない 毎回のように延期するんならもうちょっと余裕を持ってスケジュール宣言しとけよ http://echo.5ch.net/test/read.cgi/tech/1317958045/211
212: デフォルトの名無しさん [sage] 2011/10/21(金) 21:47:04.40 ドラクエみたいなモンだよ スケジュール通りに発売されたドラクエなんて、逆に心配だろ？ http://echo.5ch.net/test/read.cgi/tech/1317958045/212
213: デフォルトの名無しさん [sage] 2011/10/21(金) 22:00:15.46 確かに長々と書いたC++のコードが一発でコンパイル通った時くらい眉唾だな http://echo.5ch.net/test/read.cgi/tech/1317958045/213
214: デフォルトの名無しさん [sage] 2011/10/21(金) 22:25:17.56 >>198 URLぷりーず。 ピアソン? http://echo.5ch.net/test/read.cgi/tech/1317958045/214
215: デフォルトの名無しさん [sage] 2011/10/21(金) 23:43:26.13 >>210 Matz王国へ乗り込むんだな。 http://echo.5ch.net/test/read.cgi/tech/1317958045/215
216: デフォルトの名無しさん [sage] 2011/10/21(金) 23:54:23.33 >>214 つhttp://www.pearsoned.co.uk/bookshop/detail.asp?item=100000000010900 http://echo.5ch.net/test/read.cgi/tech/1317958045/216
217: デフォルトの名無しさん [sage] 2011/10/22(土) 16:35:01.20 Winでgtk2hs使えるようにするのって大変っぽい？ linuxだとcabalをapt-getで入れて、gtk-buildingToolsをcabalで入れれば良いだけみたいなんだけど、Winのgtk2hsインストール手順が別になってて複雑っぽい。。。 http://echo.5ch.net/test/read.cgi/tech/1317958045/217
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 761 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s