関数型プログラミング言語Haskell Part22

[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part22 (1001ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

2: 2013/03/23(土)12:34 AAS
関連書籍
・Introduction to Functional Programming Using Haskell (2nd ed.)
　外部ﾘﾝｸ:www.amazon.co.jp

・Haskell: The Craft of Functional Programming
　外部ﾘﾝｸ:www.amazon.co.jp

・The Fun of Programming
　外部ﾘﾝｸ:www.amazon.co.jp

・The Haskell School of Expression: Learning Functional Programming Through Multimedia
　外部ﾘﾝｸ:www.amazon.co.jp

・入門Haskell
　外部ﾘﾝｸ:www.amazon.co.jp

・ふつうのHaskellプログラミング
　外部ﾘﾝｸ:item.rakuten.co.jp

・Programming in Haskell
　外部ﾘﾝｸ:www.amazon.co.jp

・Real World Haskell
　外部ﾘﾝｸ:www.amazon.co.jp

・関数プログラミングの楽しみ
　外部ﾘﾝｸ:www.amazon.co.jp

・すごいHaskellたのしく学ぼう!
　外部ﾘﾝｸ:www.amazon.co.jp

3: 2013/03/23(土)12:34 AAS
関連リンク
・GHC Wiki
　外部ﾘﾝｸ:hackage.haskell.org

・A History of Haskell
　外部ﾘﾝｸ:research.microsoft.com

・関数型関連の用語集
　外部ﾘﾝｸ:sky.zero.ad.jp

・本物のプログラマはHaskellを使う
　外部ﾘﾝｸ:itpro.nikkeibp.co.jp

・Haskell API search Engine
　外部ﾘﾝｸ:www.haskell.org

　【簡単な使い方】
　１．検索バーに関数名を入れて検索
　　例　map
　２．検索バーに型名を入れて検索
　　例　(a -> b) -> [a] -> [b]

・Real World Haskell
　外部ﾘﾝｸ:book.realworldhaskell.org

・Learn You a Haskell for Great Good!
　外部ﾘﾝｸ:learnyouahaskell.com

4: 2013/03/23(土)12:34 AAS
　
私がこの世界に求める優しさのすべて―
　　それがHaskellなんだと。

あぁ　この世界の女性がみんなHaskellになったら
　　なんてすてきな世界なんだろうと考えました。

レトルトカレーしか作れぬお前がHaskellになったところで

　　　そ　れ　は　H　a　s　k　e　l　l　で　は　な　い　!

5: 2013/03/23(土)12:34 AAS
さすがキチガイだな
Haskellにはチンポ入れる穴がないだろ

6: 2013/03/23(土)12:34 AAS
チンコ入らないこともなさそう外部ﾘﾝｸ:hackage.haskell.org

7(1): 2013/03/23(土)12:34 AAS
927 デフォルトの名無しさん [] 2013/03/24(日) 13:57:24.26 ID: Be:
    15分で始めるScala
    外部ﾘﾝｸ:xerial.org

    ↑
    東大の先生は、Scala使ってDNA解析をガンガンぶん回しているというのに、
    おまえらみたいな低脳は、いつまでもたっても、言語がどーのこーので、ちっとも前に進まないな。

928 デフォルトの名無しさん [sage] 2013/03/24(日) 15:33:58.26 ID: Be:
    そういうレスはHaskellスレに書いたほうがウケる

8: 2013/03/23(土)12:34 AAS
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

9: 2013/03/23(土)12:34 AAS
いくらクソ言語のクソスレだからってあんまりだ……

10: 2013/03/23(土)12:34 AAS
外部ﾘﾝｸ:d.hatena.ne.jp
外部ﾘﾝｸ[pdf]:th.nao.ac.jp
御使い乙、代わりにこれをあげよう

11(1): 2013/03/23(土)12:34 AAS
>>7
scalaなんかで解析してるから進みが遅いんだな・・・

12(1): 2013/03/23(土)12:34 AAS
貴様は一生機械語でカイてろ

13(2): 2013/03/23(土)12:34 AAS
Haskellって遅延評価じゃん？
この言語で作ったGUIも遅延評価になるの？

GUIが遅延評価になるってのが自分で言っててよくわかんないんだけど

2chブラウザなんか作ったとして、スレッドを読み込んだ時点で
先の方のレスはまだ表示させる必要ないから
データの解釈とレンダリングは必要になる(実際にそのレス番に着く)までしないとかさ
そういう、特に工夫しなくてもデフォルトで遅延評価になってることを類推するじゃん？

14: 2013/03/23(土)12:34 AAS
>>13
特殊な裏ワザを使わなければ遅延評価
ただし、評価生成されるのは、「表示」じゃなくて「表示するプロセス」

15: 2013/03/23(土)12:34 AAS
>>13
gtkとか使う場合、描画タイミングとかはwidgetにお任せだよ。

16: 2013/03/23(土)12:34 AAS
むむむ

17: 2013/03/23(土)12:34 AAS
誰も使わない

18(1): 2013/03/23(土)12:34 AAS
>>12
君はいつもそういう極論しか言えないよね

19: 2013/03/23(土)12:34 AAS
ただの報告だけど、いまHaskell使ってGPU用のCのコードを自動生成してる
並列計算

20: 2013/03/23(土)12:34 AAS
突然どうした

21: 2013/03/23(土)12:34 AAS
>>18
>>11 の暴論っぷりはスルーかいw

22: 2013/03/23(土)12:34 AAS
　　　　　参照は透ける――Haskell！

よし

23(2): 2013/03/23(土)12:34 AAS
Haskellって言語としての出来はともかく標準ライブラリは変だよね
なんでApplicativeのpureとMonadのreturnが分かれてるんだ
歴史的経緯は分かるんだけど、Applicativeを導入するときにpureじゃなくてreturnって名前にすりゃよかったじゃん

24: 2013/03/23(土)12:34 AAS
(」・ω・)」はぁ～

(/・ω・)/　透けるぅー！

25: 2013/03/23(土)12:34 AAS
>>23
return の方がおかしいと思うのは俺だけか？

26: 2013/03/23(土)12:34 AAS
>>23
歴史的経緯が分かってて、その提案なの？

27(1): 2013/03/23(土)12:34 AAS
MonadとClannadの違いについて教えてください

28: 2013/03/23(土)12:34 AAS
>>27
違いについて質問しようと思った経緯を教えて欲しい。
それによって返答が違う。

たとえば、＊＊や～～などの共通項を見つけたが、
あまりにも似すぎているために、逆に違いがあるのか気になった、とか。

スレチだったりバカな理由なら以後は無視する。

29: 2013/03/23(土)12:34 AAS
Monadは隠蔽でClannadは人生

30(1): 2013/03/23(土)12:34 AAS
クラナッハはハウスバルドゥンクの師匠に当たるのかな。

31: 2013/03/23(土)12:34 AAS
レーベンシュタイン距離……？

32: 2013/03/23(土)12:34 AAS
モナドは文脈依存

33: 2013/03/23(土)12:34 AAS
Keyは登場人物がキチガイだらけの糞

34: 2013/03/23(土)12:34 AAS
Haskell頭文字がHだからってエロゲの話しなくていいから
今ホットなライブラリの話でもしててくれ

35: 2013/03/23(土)12:34 AAS
ホットというか、新しいプラットホーム入れたらライブラリがけっこう移動しててビビッた

36: 2013/03/23(土)12:34 AAS
>>30
ハンス・バルドゥンクだろう。グリーンの使い方の名手として
知られたらしいが、あまり発色の良いものは残っていないらしい。

37(1): 2013/03/23(土)12:34 AAS
美術をテーマにしたHaskellプログラムは見たことがないな。Prologだと、
1980年代前半から古典主義建築のオーダーだとか、ファサードの研究に
結構利用されていたのだが。

38(1): 2013/03/23(土)12:34 AAS
なにそれ詳しく知りたいです

39: 2013/03/23(土)12:34 AAS
>>38
84-5年頃だから前半ではなくて中頃だった。建設省建築研究所での
Prolog-KABAを使った研究が有名。浮動小数点数も扱えない処理系で
何ができたかは疑問ですが。
それとは全く別の話だが、こちらは海外でPrologのプログラミングで
黄金分割の研究をしたものもあった。

40: 2013/03/23(土)12:34 AAS
>>37
GitHubにはあると思うけど。

41: 2013/03/23(土)12:35 AAS
綺麗に書かれたコードはそれ自体が美術です

42: 2013/03/23(土)12:35 AAS
クヌースは文芸と言っていた

43: 2013/03/23(土)12:35 AAS
"The Art of ~" シリーズがベストセラーを連発していてすっかり世俗化した。

44(1): 2013/03/23(土)12:35 AAS
hoge :: a -> Maybe b とするべきか
hoge :: a -> b として境界条件外はundefinedするべきか
よく迷うけど指針ってありますか？ (b自体はMaybe型じゃないとして)

45: 2013/03/23(土)12:35 AAS
それは、戻り値が境界条件外だった場合に「何がしたいか」によると思うんだが

46: 2013/03/23(土)12:35 AAS
すまん、戻り値がじゃなくて引数が、ね

境界条件外だった場合に、その事を何かに伝達したいのなら Maybe b の方が良いだろうし

47: 2013/03/23(土)12:35 AAS
Nothingってどのくらいメモリ食うの？
Left "" はその何倍食うの？

48(1): 2013/03/23(土)12:35 AAS
>>44
数学の関数として考えるとき、定義域(domain)に未定義はあり得ない
引数が定義域の範囲の外にあるなら、それは例外として処理すべき

49(1): 2013/03/23(土)12:35 AAS
そう言う実コードの役に立たない知識はどうでもいいです

50(3): 2013/03/23(土)12:35 AAS
Types And Programming Languages って、ついに翻訳されたんだな
外部ﾘﾝｸ:www.amazon.co.jp

くっそ高いけど

51: 2013/03/23(土)12:35 AAS
>>50
ですよねぇ。価値ある情報が無料じゃないのは許されないと思います。

52(1): 2013/03/23(土)12:35 AAS
>>49はモデル化できないks

53(1): 2013/03/23(土)12:35 AAS
>>48
有理関数（分母と分子が多項式になってる分数で定義される関数）なんかは、
分母がゼロになるところを定義域から外すようにすると、有理関数
を定義するのに先立って分母がゼロになるところを求めておいてそれを
除外したところを定義域とするようにしないといけないのであり得ませんね

54: 2013/03/23(土)12:35 AAS
TaPL立ち読みしたけど、クソむずそうで興味持てなかったわ

55: 2013/03/23(土)12:35 AAS
>>50
英語版買ったばかりなのに........

56: 2013/03/23(土)12:35 AAS
オーム社の関数型言語への入れこみっぷりはちょっとおかしい
ラムダ社に社名変更すべき

57: 2013/03/23(土)12:35 AAS
>>50
まじで。偉業だな。
大学一年の推薦図書決定だなw

58: 2013/03/23(土)12:35 AAS
>>52
そんなに気に障ったの？

59: 2013/03/23(土)12:35 AAS
Haskeller様はコードなんて書かないからいいんだよ

60: 2013/03/23(土)12:35 AAS
たまには書くわ！ばかにするな！

61(1): 2013/03/23(土)12:35 AAS
>>53
高次多項式の零点を求めることになるから、それは一般に計算不可能
関数の計算が問題にする時点で正則関数に限定されており、つまり、分母に零になった時点で例外にしなければならない

特異点を例外にしないのは、高階関数や数式処理をする場合だけにすべき

62(1): 2013/03/23(土)12:35 AAS
「高階関数や数式処理」ってなんだよ……

63: 2013/03/23(土)12:35 AAS
>>62
高階関数＝積分
数式処理＝通分

64: 2013/03/23(土)12:35 AAS
TaPL日本語、期待してたんだが、ちょっと訳が直訳気味だな。
これだと原語のほうが読みやすいぞ。
超訳よりはマシだが、もうちょいこなれた日本語にできんかったんかね？

上下前次 1-新書関写板覧索設栞歴

あと 937 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.029s