[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part22 (1001ﾚｽ)
関数型プログラミング言語Haskell Part22 http://echo.5ch.net/test/read.cgi/tech/1364009659/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
1: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:19.09 haskell.org ttp://www.haskell.org/ 日本語サイト ttp://www.sampou.org/cgi-bin/haskell.cgi ttp://www.shido.info/hs/ 過去ログ 関数型プログラミング言語Haskell Part1 ttp://pc.2ch.net/tech/kako/996/996131288.html Part2 ttp://pc2.2ch.net/test/read.cgi/tech/1013846140/ Part3 ttp://pc8.2ch.net/test/read.cgi/tech/1076418993/ Part4 ttp://pc8.2ch.net/test/read.cgi/tech/1140717775/ Part5 ttp://pc8.2ch.net/test/read.cgi/tech/1149263630/ Part6 ttp://pc11.2ch.n
et/test/read.cgi/tech/1162902266/ Part7 ttp://pc11.2ch.net/test/read.cgi/tech/1174211797/ Part8 ttp://pc11.2ch.net/test/read.cgi/tech/1193743693/ Part9 ttp://pc11.2ch.net/test/read.cgi/tech/1211010089/ Part10 ttp://pc12.2ch.net/test/read.cgi/tech/1231861873/ Part11 ttp://pc12.2ch.net/test/read.cgi/tech/1252382593/ Part12 ttp://hibari.2ch.net/test/read.cgi/tech/1272536128/ Part13 ttp://hibari.2ch.net/test/read.cgi/tech/1286706874/ Part14 ttp://hibari.2ch.net/test/read.cgi/tech/1299385928/ Part15 ttp://hibari
.2ch.net/test/read.cgi/tech/1310199414/ Part16 ttp://toro.2ch.net/test/read.cgi/tech/1317958045/ Part17 ttp://toro.2ch.net/test/read.cgi/tech/1325510368/ Part18 ttp://toro.2ch.net/test/read.cgi/tech/1331902463/ Part19 ttp://toro.2ch.net/test/read.cgi/tech/1340760070/ Part20 ttp://toro.2ch.net/test/read.cgi/tech/1350428908/ Part21 ttp://toro.2ch.net/test/read.cgi/tech/1358702176/ http://echo.5ch.net/test/read.cgi/tech/1364009659/1
2: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:21.00 関連書籍 ・Introduction to Functional Programming Using Haskell (2nd ed.) ttp://www.amazon.co.jp/exec/obidos/ASIN/0134843460/ ・Haskell: The Craft of Functional Programming ttp://www.amazon.co.jp/exec/obidos/ASIN/0201342758/ ・The Fun of Programming ttp://www.amazon.co.jp/exec/obidos/ASIN/0333992857/ ・The Haskell School of Expression: Learning Functional Programming Through Multimedia ttp://www.amazon.co.jp/exec/obidos/ASIN/0521644089/
・入門Haskell ttp://www.amazon.co.jp/exec/obidos/ASIN/4839919623/ ・ふつうのHaskellプログラミング ttp://item.rakuten.co.jp/book/4052963/ ・Programming in Haskell ttp://www.amazon.co.jp/exec/obidos/ASIN/0521692695/ ・Real World Haskell ttp://www.amazon.co.jp/exec/obidos/ASIN/0596514980 ・関数プログラミングの楽しみ ttp://www.amazon.co.jp/exec/obidos/ASIN/4274068056 ・すごいHaskellたのしく学ぼう! ttp://www.amazon.co.jp/dp/4274068854 http://echo.5ch.net/test/read.cgi/tech/1364009659/2
3: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:22.00 関連リンク ・GHC Wiki ttp://hackage.haskell.org/trac/ghc/wiki/TitleIndex ・A History of Haskell ttp://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/ ・関数型関連の用語集 ttp://sky.zero.ad.jp/~zaa54437/programming/concepts/ ・本物のプログラマはHaskellを使う ttp://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/?ST=ittrend ・Haskell API search Engine ttp://www.haskell.org/hoogle/ 【簡単な使い方】 １
．検索バーに関数名を入れて検索 例 map ２．検索バーに型名を入れて検索 例 (a -> b) -> [a] -> [b] ・Real World Haskell ttp://book.realworldhaskell.org/read/ ・Learn You a Haskell for Great Good! ttp://learnyouahaskell.com/chapters http://echo.5ch.net/test/read.cgi/tech/1364009659/3
4: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:23.00 私がこの世界に求める優しさのすべて― それがHaskellなんだと。 あぁ この世界の女性がみんなHaskellになったら なんてすてきな世界なんだろうと考えました。 レトルトカレーしか作れぬお前がHaskellになったところで そ れ は H a s k e l l で は な い ! http://echo.5ch.net/test/read.cgi/tech/1364009659/4
5: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:24.00 さすがキチガイだな Haskellにはチンポ入れる穴がないだろ http://echo.5ch.net/test/read.cgi/tech/1364009659/5
6: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:25.00 チンコ入らないこともなさそう http://hackage.haskell.org/trac/ghc/wiki/Holes http://echo.5ch.net/test/read.cgi/tech/1364009659/6
7: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:26.00 927 デフォルトの名無しさん [] 2013/03/24(日) 13:57:24.26 ID: Be: 15分で始めるScala http://xerial.org/scala-cookbook/recipes/2012/11/29/scala-in-15-minutes/ ↑ 東大の先生は、Scala使ってDNA解析をガンガンぶん回しているというのに、 おまえらみたいな低脳は、いつまでもたっても、言語がどーのこーので、ちっとも前に進まないな。 928 デフ
ォルトの名無しさん [sage] 2013/03/24(日) 15:33:58.26 ID: Be: そういうレスはHaskellスレに書いたほうがウケる http://echo.5ch.net/test/read.cgi/tech/1364009659/7
8: デフォルトの名無しさん [] 2013/03/23(土) 12:34:27.00 このスレッドは天才チンパンジー「アイちゃん」が 言語訓練のために立てたものです。 アイと研究員とのやり取りに利用するスレッドなので、 関係者以外は書きこまないで下さい。 京都大学霊長類研究所 http://echo.5ch.net/test/read.cgi/tech/1364009659/8
9: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:28.00 いくらクソ言語のクソスレだからってあんまりだ…… http://echo.5ch.net/test/read.cgi/tech/1364009659/9
10: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:29.00 http://d.hatena.ne.jp/nushio/touch/20120517 http://th.nao.ac.jp/meeting/rironkon11/oral-files/muranushi.pdf 御使い乙、代わりにこれをあげよう http://echo.5ch.net/test/read.cgi/tech/1364009659/10
11: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:30.00 >>7 scalaなんかで解析してるから進みが遅いんだな・・・ http://echo.5ch.net/test/read.cgi/tech/1364009659/11
12: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:31.00 貴様は一生機械語でカイてろ http://echo.5ch.net/test/read.cgi/tech/1364009659/12
13: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:32.00 Haskellって遅延評価じゃん？ この言語で作ったGUIも遅延評価になるの？ GUIが遅延評価になるってのが自分で言っててよくわかんないんだけど 2chブラウザなんか作ったとして、スレッドを読み込んだ時点で 先の方のレスはまだ表示させる必要ないから データの解釈とレンダリングは必要になる(実際にそのレス番に着く)までしないとかさ そういう、特に工夫しなくてもデフォルトで遅延評価になってることを類推するじゃん？ http://echo.5ch.net/test/read.cgi/tech/1364009659/13
14: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:33.00 >>13 特殊な裏ワザを使わなければ遅延評価 ただし、評価生成されるのは、「表示」じゃなくて「表示するプロセス」 http://echo.5ch.net/test/read.cgi/tech/1364009659/14
15: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:34.00 >>13 gtkとか使う場合、描画タイミングとかはwidgetにお任せだよ。 http://echo.5ch.net/test/read.cgi/tech/1364009659/15
16: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:35.00 むむむ http://echo.5ch.net/test/read.cgi/tech/1364009659/16
17: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:36.00 誰も使わない http://echo.5ch.net/test/read.cgi/tech/1364009659/17
18: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:37.00 >>12 君はいつもそういう極論しか言えないよね http://echo.5ch.net/test/read.cgi/tech/1364009659/18
19: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:38.00 ただの報告だけど、いまHaskell使ってGPU用のCのコードを自動生成してる 並列計算 http://echo.5ch.net/test/read.cgi/tech/1364009659/19
20: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:39.00 突然どうした http://echo.5ch.net/test/read.cgi/tech/1364009659/20
21: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:40.00 >>18 >>11 の暴論っぷりはスルーかいw http://echo.5ch.net/test/read.cgi/tech/1364009659/21
22: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:41.00 参照は透ける――Haskell！ よし http://echo.5ch.net/test/read.cgi/tech/1364009659/22
23: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:42.00 Haskellって言語としての出来はともかく標準ライブラリは変だよね なんでApplicativeのpureとMonadのreturnが分かれてるんだ 歴史的経緯は分かるんだけど、Applicativeを導入するときにpureじゃなくてreturnって名前にすりゃよかったじゃん http://echo.5ch.net/test/read.cgi/tech/1364009659/23
24: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:43.00 (」・ω・)」はぁ〜 (/・ω・)/ 透けるぅー！ http://echo.5ch.net/test/read.cgi/tech/1364009659/24
25: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:44.00 >>23 return の方がおかしいと思うのは俺だけか？ http://echo.5ch.net/test/read.cgi/tech/1364009659/25
26: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:45.00 >>23 歴史的経緯が分かってて、その提案なの？ http://echo.5ch.net/test/read.cgi/tech/1364009659/26
27: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:46.00 MonadとClannadの違いについて教えてください http://echo.5ch.net/test/read.cgi/tech/1364009659/27
28: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:47.00 >>27 違いについて質問しようと思った経緯を教えて欲しい。 それによって返答が違う。 たとえば、＊＊や〜〜などの共通項を見つけたが、 あまりにも似すぎているために、逆に違いがあるのか気になった、とか。 スレチだったりバカな理由なら以後は無視する。 http://echo.5ch.net/test/read.cgi/tech/1364009659/28
29: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:48.00 Monadは隠蔽でClannadは人生 http://echo.5ch.net/test/read.cgi/tech/1364009659/29
30: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:49.00 クラナッハはハウスバルドゥンクの師匠に当たるのかな。 http://echo.5ch.net/test/read.cgi/tech/1364009659/30
31: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:50.00 レーベンシュタイン距離……？ http://echo.5ch.net/test/read.cgi/tech/1364009659/31
32: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:51.00 モナドは文脈依存 http://echo.5ch.net/test/read.cgi/tech/1364009659/32
33: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:52.00 Keyは登場人物がキチガイだらけの糞 http://echo.5ch.net/test/read.cgi/tech/1364009659/33
34: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:53.00 Haskell頭文字がHだからってエロゲの話しなくていいから 今ホットなライブラリの話でもしててくれ http://echo.5ch.net/test/read.cgi/tech/1364009659/34
35: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:54.00 ホットというか、新しいプラットホーム入れたらライブラリがけっこう移動しててビビッた http://echo.5ch.net/test/read.cgi/tech/1364009659/35
36: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:55.00 >>30 ハンス・バルドゥンクだろう。グリーンの使い方の名手として 知られたらしいが、あまり発色の良いものは残っていないらしい。 http://echo.5ch.net/test/read.cgi/tech/1364009659/36
37: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:56.00 美術をテーマにしたHaskellプログラムは見たことがないな。Prologだと、 1980年代前半から古典主義建築のオーダーだとか、ファサードの研究に 結構利用されていたのだが。 http://echo.5ch.net/test/read.cgi/tech/1364009659/37
38: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:57.00 なにそれ詳しく知りたいです http://echo.5ch.net/test/read.cgi/tech/1364009659/38
39: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:58.00 >>38 84-5年頃だから前半ではなくて中頃だった。建設省建築研究所での Prolog-KABAを使った研究が有名。浮動小数点数も扱えない処理系で 何ができたかは疑問ですが。 それとは全く別の話だが、こちらは海外でPrologのプログラミングで 黄金分割の研究をしたものもあった。 http://echo.5ch.net/test/read.cgi/tech/1364009659/39
40: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:59.00 >>37 GitHubにはあると思うけど。 http://echo.5ch.net/test/read.cgi/tech/1364009659/40
41: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:00.00 綺麗に書かれたコードはそれ自体が美術です http://echo.5ch.net/test/read.cgi/tech/1364009659/41
42: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:01.00 クヌースは文芸と言っていた http://echo.5ch.net/test/read.cgi/tech/1364009659/42
43: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:02.00 "The Art of ~" シリーズがベストセラーを連発していてすっかり世俗化した。 http://echo.5ch.net/test/read.cgi/tech/1364009659/43
44: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:03.00 hoge :: a -> Maybe b とするべきか hoge :: a -> b として境界条件外はundefinedするべきか よく迷うけど指針ってありますか？ (b自体はMaybe型じゃないとして) http://echo.5ch.net/test/read.cgi/tech/1364009659/44
45: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:04.00 それは、戻り値が境界条件外だった場合に「何がしたいか」によると思うんだが http://echo.5ch.net/test/read.cgi/tech/1364009659/45
46: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:05.00 すまん、戻り値がじゃなくて引数が、ね 境界条件外だった場合に、その事を何かに伝達したいのなら Maybe b の方が良いだろうし http://echo.5ch.net/test/read.cgi/tech/1364009659/46
47: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:06.00 Nothingってどのくらいメモリ食うの？ Left "" はその何倍食うの？ http://echo.5ch.net/test/read.cgi/tech/1364009659/47
48: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:07.00 >>44 数学の関数として考えるとき、定義域(domain)に未定義はあり得ない 引数が定義域の範囲の外にあるなら、それは例外として処理すべき http://echo.5ch.net/test/read.cgi/tech/1364009659/48
49: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:08.00 そう言う実コードの役に立たない知識はどうでもいいです http://echo.5ch.net/test/read.cgi/tech/1364009659/49
50: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:09.00 Types And Programming Languages って、ついに翻訳されたんだな http://www.amazon.co.jp/dp/4274069117/ くっそ高いけど http://echo.5ch.net/test/read.cgi/tech/1364009659/50
51: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:10.00 >>50 ですよねぇ。価値ある情報が無料じゃないのは許されないと思います。 http://echo.5ch.net/test/read.cgi/tech/1364009659/51
52: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:11.00 >>49はモデル化できないks http://echo.5ch.net/test/read.cgi/tech/1364009659/52
53: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:12.00 >>48 有理関数（分母と分子が多項式になってる分数で定義される関数）なんかは、 分母がゼロになるところを定義域から外すようにすると、有理関数 を定義するのに先立って分母がゼロになるところを求めておいてそれを 除外したところを定義域とするようにしないといけないのであり得ませんね http://echo.5ch.net/test/read.cgi/tech/1364009659/53
54: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:13.00 TaPL立ち読みしたけど、クソむずそうで興味持てなかったわ http://echo.5ch.net/test/read.cgi/tech/1364009659/54
55: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:14.00 >>50 英語版買ったばかりなのに........ http://echo.5ch.net/test/read.cgi/tech/1364009659/55
56: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:15.00 オーム社の関数型言語への入れこみっぷりはちょっとおかしい ラムダ社に社名変更すべき http://echo.5ch.net/test/read.cgi/tech/1364009659/56
57: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:16.00 >>50 まじで。偉業だな。 大学一年の推薦図書決定だなw http://echo.5ch.net/test/read.cgi/tech/1364009659/57
58: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:17.00 >>52 そんなに気に障ったの？ http://echo.5ch.net/test/read.cgi/tech/1364009659/58
59: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:18.00 Haskeller様はコードなんて書かないからいいんだよ http://echo.5ch.net/test/read.cgi/tech/1364009659/59
60: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:19.00 たまには書くわ！ばかにするな！ http://echo.5ch.net/test/read.cgi/tech/1364009659/60
61: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:20.00 >>53 高次多項式の零点を求めることになるから、それは一般に計算不可能 関数の計算が問題にする時点で正則関数に限定されており、つまり、分母に零になった時点で例外にしなければならない 特異点を例外にしないのは、高階関数や数式処理をする場合だけにすべき http://echo.5ch.net/test/read.cgi/tech/1364009659/61
62: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:21.00 「高階関数や数式処理」ってなんだよ…… http://echo.5ch.net/test/read.cgi/tech/1364009659/62
63: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:22.00 >>62 高階関数＝積分 数式処理＝通分 http://echo.5ch.net/test/read.cgi/tech/1364009659/63
64: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:23.00 TaPL日本語、期待してたんだが、ちょっと訳が直訳気味だな。 これだと原語のほうが読みやすいぞ。 超訳よりはマシだが、もうちょいこなれた日本語にできんかったんかね？ http://echo.5ch.net/test/read.cgi/tech/1364009659/64
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 937 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.026s