[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part16 (978ﾚｽ)
関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
250: デフォルトの名無しさん [sage] 2011/10/23(日) 01:26:52.91 >>248 じゃないけど、おれも >>186 のどこが関数的か分からん 関数的とも手続き的手も言えん、なんとも分からん代物 http://echo.5ch.net/test/read.cgi/tech/1317958045/250
251: デフォルトの名無しさん [sage] 2011/10/23(日) 01:42:08.77 こんなの関数的な要素は全く無いだろ mainの最後を[2..100]と変えたらおかしくなることからして関数的でないことが分かる それに関数的かどうかとは別に、プログラムとしても洗練されてない fizzとbuzzの空文字列や関数fに数値を渡す設計はどうにかならなかったのかと思うし fの中で文字列の比較をしてるのも酷い Bird先生？難しい本を薦める前に添削してやれよと… http://echo.5ch.net/test/read.cgi/tech/1317958045/251
252: デフォルトの名無しさん [sage] 2011/10/23(日) 04:25:14.59 BackusのFPはポイントフリースタイルのイメージだね。 Bird先生は別に要素レベルの演算までリストでやれと言ってるわけではないと思う。 lift n = (n,"") fizz (n,s) = (n,s ++ if n `mod` 3 == 0 then "fizz" else "") buzz (n,s) = (n,s ++ if n `mod` 5 == 0 then "buzz" else "") fizzbuzz xs = map (buzz . fizz . lift) xs くらいでも関数的と言っていいんじゃないか。 http://echo.5ch.net/test/read.cgi/tech/1317958045/252
253: デフォルトの名無しさん [sage] 2011/10/23(日) 04:54:09.21 それ以前に、センスがあるとは思えないんだが。奇抜さはあるにしても。 http://echo.5ch.net/test/read.cgi/tech/1317958045/253
254: デフォルトの名無しさん [sage] 2011/10/23(日) 07:27:28.91 >>251 洗練されたコード早く http://echo.5ch.net/test/read.cgi/tech/1317958045/254
255: デフォルトの名無しさん [sage] 2011/10/23(日) 07:46:21.09 >>254 >>252 http://echo.5ch.net/test/read.cgi/tech/1317958045/255
256: デフォルトの名無しさん [sage] 2011/10/23(日) 08:15:42.99 >>254 それはBird先生の本を薦めていた人たちに言ってくれよ 俺は剰余を使ったつまらないのしか書けないから しかし>>252も何がしたいのかよく分からないなｗ http://echo.5ch.net/test/read.cgi/tech/1317958045/256
257: デフォルトの名無しさん [sage] 2011/10/23(日) 08:32:01.87 えー、>>252はないわ http://echo.5ch.net/test/read.cgi/tech/1317958045/257
258: デフォルトの名無しさん [sage] 2011/10/23(日) 08:49:31.00 >>220 つListLike http://echo.5ch.net/test/read.cgi/tech/1317958045/258
259: デフォルトの名無しさん [sage] 2011/10/23(日) 11:08:00.97 >>258 うん そういうのを使って「標準ライブラリ」を大掃除して整理してほしいんだよ そうすれば、外部ライブラリもそれに倣う http://echo.5ch.net/test/read.cgi/tech/1317958045/259
260: デフォルトの名無しさん [sage] 2011/10/23(日) 11:19:24.02 それは結構前から言われてるけどいまだに実現して無いよな(例 http://blog.ezyang.com/2010/05/punt-the-prelude/) そんだけ肥大化して硬直化してるんだろうな 少なくともfold/buid書き換えがstream fusion(笑)に変わるよか後で Cabalのdependency hellが解決されるのと同じくらい(見込みが無い)ように思える http://echo.5ch.net/test/read.cgi/tech/1317958045/260
261: デフォルトの名無しさん [sage] 2011/10/23(日) 11:37:11.82 標準Ｃライブラリですら比較的に一貫しててすっきりしてるのに 今ある標準ライブラリはもう手を付けず deprecated にして、 真標準ライブラリを新たに作ればいいのにな それか、標準ライブラリにバージョンを付けるとか http://echo.5ch.net/test/read.cgi/tech/1317958045/261
262: デフォルトの名無しさん [sage] 2011/10/23(日) 11:40:25.87 普通のライブラリは（いちおう）バージョンで管理できていて、インターフェースとかバリバリ変わっても（いちおう）整合性が保てているのに、 Preludeはそういう鈍重な憂き目にあうのは、つまり、Prelude自動読み込みというアイデアがアウトだったのでは http://echo.5ch.net/test/read.cgi/tech/1317958045/262
263: デフォルトの名無しさん [sage] 2011/10/23(日) 11:47:36.18 なるほど、Monad の return に勝るとも劣らない汚点に思えてきた 仕様が 2010 に変わる時にいっしょに整理しておくべきだったよな http://echo.5ch.net/test/read.cgi/tech/1317958045/263
264: デフォルトの名無しさん [sage] 2011/10/23(日) 11:51:42.42 ラノベ読んでたら、よくわかる現代魔法でHaskellのコード出てきた http://echo.5ch.net/test/read.cgi/tech/1317958045/264
265: デフォルトの名無しさん [sage] 2011/10/23(日) 12:12:23.80 2巻以降には出てこないけどなw http://echo.5ch.net/test/read.cgi/tech/1317958045/265
266: デフォルトの名無しさん [sage] 2011/10/23(日) 18:53:15.42 実際使うだけの場合、名前の由来がわかりづらいとは思うが、 returnは別に汚点じゃない。 http://echo.5ch.net/test/read.cgi/tech/1317958045/266
267: デフォルトの名無しさん [sage] 2011/10/23(日) 20:06:09.98 failさん・・ http://echo.5ch.net/test/read.cgi/tech/1317958045/267
268: デフォルトの名無しさん [sage] 2011/10/23(日) 23:05:12.84 >>261 Haskell版Boostをご所望か？ http://echo.5ch.net/test/read.cgi/tech/1317958045/268
269: デフォルトの名無しさん [sage] 2011/10/23(日) 23:26:21.32 >>268 ごめん、Boost とどう繋がるのか全く分からん http://echo.5ch.net/test/read.cgi/tech/1317958045/269
270: デフォルトの名無しさん [sage] 2011/10/24(月) 00:21:47.40 >>269 うん。酔っぱらってた。 http://echo.5ch.net/test/read.cgi/tech/1317958045/270
271: デフォルトの名無しさん [sage] 2011/10/24(月) 00:47:01.62 >>270がかわいい http://echo.5ch.net/test/read.cgi/tech/1317958045/271
272: デフォルトの名無しさん [sage] 2011/10/25(火) 00:39:21.95 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 が互いに違うのは何でだろ？ エロイ人教えて。 http://echo.5ch.net/test/read.cgi/tech/1317958045/272
273: デフォルトの名無しさん [sage] 2011/10/25(火) 03:15:22.56 >>272 たぶん、単相性制限とGHCiにおける型のデフォルト化の拡張の結果。 単相性制限 http://www.sampou.org/haskell/report-revised-j/decls.html#sect4.5.5 GHCiにおける型のデフォルト化の拡張 http://www.kotha.net/ghcguide_ja/latest/interactive-evaluation.html#extended-default-rules http://echo.5ch.net/test/read.cgi/tech/1317958045/273
274: デフォルトの名無しさん [sage] 2011/10/25(火) 11:19:01.55 関数型言語の原点「=ったら=なの！」からどんどん外れて 言語仕様が焼け太りしてきたな♪ http://echo.5ch.net/test/read.cgi/tech/1317958045/274
275: デフォルトの名無しさん [sage] 2011/10/25(火) 11:25:06.28 heterogeneous equalityが原点とな？ http://echo.5ch.net/test/read.cgi/tech/1317958045/275
276: デフォルトの名無しさん [sage] 2011/10/25(火) 22:45:52.30 もう忍者はいないよ 死んだ http://echo.5ch.net/test/read.cgi/tech/1317958045/276
277: デフォルトの名無しさん [sage] 2011/10/25(火) 22:47:07.73 死んだ 一つの生命が途絶えた Perl忍者 Perl忍者の意志を継ぐものが現れるよ 新生 そう感じる http://echo.5ch.net/test/read.cgi/tech/1317958045/277
278: デフォルトの名無しさん [sage] 2011/10/25(火) 23:04:45.72 >>276 ファンだったのに、、、 http://echo.5ch.net/test/read.cgi/tech/1317958045/278
279: デフォルトの名無しさん [sage] 2011/10/26(水) 23:30:49.18 遅延評価前提のデータ構造って、よ〜するに制御構造だよね？ これはいつ評価される(べき)か、とか考えつつデータ構造を作りながら、 ふとそう思った。 http://echo.5ch.net/test/read.cgi/tech/1317958045/279
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 699 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s