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

1 名前：デフォルトの名無しさん [2015/04/09(木) 08:31:01.42 ID:4yjREsCN.net] 関数型プログラミング言語 Haskell について語るスレです。 　　　　　　　　　,.-―:￣｀ー::::::::::､ 　　　　　　　／::::::::::::.::::::::::::::::::::::::::::｀::､､ 　　　　　　/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､ 　　　　　 ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l 　　　 　 l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l 　　　　 l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l 　　　 　l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l 　　　　 ヽ::::　´､ひ> ;: 　l .<ひ>'　 ､::::::::/ 　　　　ヽ:::::　　 ￣ .)::;　 l　￣　　　ｌ::::/ 　　　＜　毛の壁（岡部健）の話は禁止な 　　　　　､:::::..　　 /:::;　.,-､　　　　 l:::/、 　　　　,―::::::::　　ゝヽ- ｰ' ､　　　 l::/,､ヽ 　　 　 l,､,､,,:､::　/ ,--､,-.､_ l　 　 /::::::,､,､l 　　　ｌ,､,､,､,､,､::､　｀ー￣-'　　　/:::::::::::,､,､l 　　　ｌ,､,､,､,､,､,､::ヽ　　　　　 ／::::::::､,､,､,､,ﾉ:＼ haskell.org (公式サイト) www.haskell.org/ 前スレ 関数型プログラミング言語Haskell Part27 peace.2ch.net/test/read.cgi/tech/1420718555/ 488 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 17:31:06.57 ID:keQMp1Zr.net] マ板の岡部スレでOCamlerにコテンパンに論破された松沢がこっちに来たな。 Haskellプログラミング以外の話はよそでやれ 489 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 18:12:13.77 ID:s+m3IBNO.net] reduce f r xs = last ys where ys = r : map (\(x,y) -> f y x) (zip xs ys) は面白いと思う 490 名前：デフォルトの名無しさん [2015/06/09(火) 18:36:24.03 ID:Wpjwmkjs.net] 　 しばしば目にするパターンではあるんだよな。 余再帰を巧く使いこなせるようになりたいとは思う。 491 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 19:37:05.34 ID:YMX6lY//.net] 初心者スレが見当たらないのでここに書き込ませてください。 「$演算子による関数適用の区切り」と「.演算子による関数合成」 この違いというか使い分けって $演算子は括弧対応を沢山省略できて便利 例: sin $ cos $ tan $ x + 1 .演算子は関数合成で変数に束縛可能になるから便利 例: fun = sin . cos . tan . (+ 1) くらいかなと思ったのですが、後者は fun x = sin $ cos $ tan $ x + 1 別にこれでも構わないわけですよね。 .演算子の利点って他に何があるんでしょうか？ 492 名前：デフォルトの名無しさん [2015/06/09(火) 19:46:28.21 ID:Wpjwmkjs.net] >>484 ポイントフリー教信者が使うため。 ってのはともかく、mapみたいな高階関数に関数を 渡さなきゃいけないところで、 map (¥x -> f $ g x) xs map (f . g) xs を見比べれば意味がわかるのでは。 なにかに関数を連鎖して適用した結果ではなくあくまで 連鎖した関数そのものが欲しい時には ( . ) が便利。 493 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 20:00:13.95 ID:YMX6lY//.net] 「関数そのものが欲しい時」って fun x = sin $ cos $ tan $ x + 1 一応これでも目当ての関数 fun が得られてると思うのですが、要は「引数って邪魔だよね」的な感覚？ 美的感覚だけでなく実行効率も違ってくるのでしょうか。 494 名前：デフォルトの名無しさん [2015/06/09(火) 20:10:23.23 ID:Wpjwmkjs.net] 実行効率は一緒。 (f . g) を普通に「gしてfする」とか読むのになれると引数の方がじゃまになる。 「¥x -> f $ g $ x +1 」 より 「 f . g . (+1)」の方が、 「1足してgしてfする」と読みやすいし明瞭でしょ。 そのうちmapの引数にいちいちラムダ式書いてられるかって気になるよ。 よく使うものの構文は軽くなくてはいけない、というだけ（美的感覚とは少し違う）。 495 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 20:13:23.65 ID:YMX6lY//.net] ポイントフリーでググってみましたが... 例えば fact :: Integer -> Integer fact n = product [1..n] よりも fact = foldl (*) 1 . enumFromTo 1 のほうがスマートで好まれるのでしょうか。 実行効率同じなのになんだか可読性を犠牲にしすぎのように思えるのですが。 496 名前：デフォルトの名無しさん [2015/06/09(火) 20:21:06.13 ID:Wpjwmkjs.net] >>488 ポイントフリー教に入信する理由は全然ない（本当にやめてほしい）。 簡単に「〜して…して〜する」みたいに読める時だけ使えば十分。 いちいち名前をつける必要のない（むしろ使い捨てなので名前をつけるべきでない）ような 関数のチェインをラムダ式よりも軽い構文で書ける、というのがまずは利点。 もう少し慣れてくると今度は Control.Lensパッケージが 関数合成演算子( . )を あたかもオブジェクト指向言語のメソッド呼び出しであるかのように見せる 芸当を見せてくれるけど、それはまだ先の話。 497 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 20:39:29.39 ID:YMX6lY//.net] ありがとうございます。ちょっとだけ感覚が分かってきました。 498 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 22:00:18.96 ID:On8D0YSk.net] ポイントフリーの理由は、読む能力を上げることだろうね 人間が書いたものは読めないならクレームをつけて書き直させることができるが 自然現象のようなものを読む場合は読む人の能力に全てがかかっている 499 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 22:31:32.15 ID:lp6qdJfP.net] あまりに自然現象のようなレスなのでびっくりしている 500 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 23:05:53.18 ID:On8D0YSk.net] 驚き最小の法則ってあったけど なんで驚いた側ではなく驚かせた側を改善しようとするのかね 両方改善した方がいいのに 501 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 23:31:39.42 ID:nX857Zqc.net] とても自然現象です。すごく。 502 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 23:31:47.34 ID:s+m3IBNO.net] >>493 驚かせる側＝言語設計者より 驚く側＝プログラマのほうが圧倒的に人数が多いから、 前者が改善したほうが合理的。 …とかくだらないこと聞くなよ。 mapでreduce実装のほうがまだためになる >>492はワロタ 503 名前：デフォルトの名無しさん mailto:sage [2015/06/09(火) 23:49:25.76 ID:On8D0YSk.net] 圧倒的多数が改善するより、少数が改善する方が合理的？ それは自明ではないよね 504 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 00:12:15.37 ID:4dIY3WJF.net] よそでやれ 505 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 02:25:01.58 ID:7goP4N8P.net] こうどなあおりあい 506 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 07:04:49.86 ID:xkthzaZS.net] >>496 合理的かどうかは知らんが、 出来る奴程仕事が舞い込む理屈だよ。 507 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 10:52:14.97 ID:t1zCKUmg.net] HaskellやOCamlの設計は大部分が重複していて真の設計者が誰なのかわからんから 設計者を探し出して可読性とかを要求するという古典的なやり方が効く保証がない 508 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 11:04:20.00 ID:McYDyKet.net] ワードサラダ汚染マジうざい＞On8D0YSk,t1zCKUmg 509 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 11:56:36.76 ID:t1zCKUmg.net] どのワードをうざいと思ったか教えてくれ 可読性かな？ 510 名前：デフォルトの名無しさん [2015/06/10(水) 12:46:16.17 ID:vkTp1NO/.net] 端的に意味不明だろ。 511 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 13:15:55.24 ID:t1zCKUmg.net] 意味がわかる人もわからない人もいると思う 後者がすごい自信を持っている理由を教えてほしい 常識的には「わからない」より「わかる」方が有能だと思う 今それが逆転しているのはなぜなのか 512 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 14:01:51.47 ID:vxCnSfpA.net] 荒らしなので無視してね 513 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 14:08:38.12 ID:YrTGTRFm.net] △ 「意味不明」 ◯ 文章の論理が根本的に間違っていてコミュニケーションが成立しない 完全に対話不可能だから二度と出てくんな。 514 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 14:09:43.52 ID:YrTGTRFm.net] >>505 スマンカッタ 515 名前：デフォルトの名無しさん [2015/06/10(水) 17:54:46.33 ID:9PwGA43Z.net] 時代はK言語だろ 516 名前：デフォルトの名無しさん mailto:sage [2015/06/10(水) 19:36:45.21 ID:Gkss7rSH.net] >>508 つまりハングルか。 517 名前：デフォルトの名無しさん [2015/06/10(水) 21:12:55.26 ID:7i1MtT87.net] 今までモナドという概念がなかったということは 理論計算機科学ってへぼいということでしょうか？ 518 名前：デフォルトの名無しさん [2015/06/10(水) 21:22:17.53 ID:vkTp1NO/.net] 表示意味論が提示されてから10年ほどで計算効果一般の モデルをモナドで与えようという発想が提出されてるのだが、 「今までモナドという概念がなかった」とはこれいかに。 519 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 00:21:14.93 ID:hzM+9d/O.net] >>510 基地外は失せろ >>511 ScottからMoggiまで十数年ぐらい？ 確かに意外と短かったんだな… 520 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 00:38:40.42 ID:pB1BlG5Q.net] Dana S. Scott. Outline of a mathematical theory of computation. Technical Monograph PRG-2, Oxford University Computing Laboratory, Oxford, England, November 1970. E. Moggi. Computational lambda-calculus and monads. In 4th LICS Conf. IEEE, 1989. この間ほぼ20年かな？　いずれにせよ「今までなかった」はないｗ 521 名前：デフォルトの名無しさん [2015/06/11(木) 00:53:54.36 ID:QUqBUSLw.net] >>512,513 1980年代初めには応用可能性が知られてて、 1985年にMoggi含む複数人の「圏論とプログラミング」という ワークショップが開かれてるんで、10年ほど、と計算した。 522 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 01:06:20.81 ID:pB1BlG5Q.net] しらんかった。後者はこれか。 dx.doi.org/10.1007/3-540-17162-2_126 ぱっと見、まだmonadとは書かれていないが。 www.disi.unige.it/person/MoggiE/ftp/lc88.pdf には My thanks to M. Hyland, A. Kock (and other participants to the 1988 Category Theory Meeting in Sussex) for directing me towards the literature on monads relevant to the subject. とあるな。 523 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 03:59:27.71 ID:bOOr6QDN.net] モナドを使うという発想は、C++でテンプレート機構使えばコンパイル時処理できるぞっていう発見と似たようなものではないか そのために生み出されたのでなく元々そこに（見過ごされたまま）あった 524 名前：デフォルトの名無しさん [2015/06/11(木) 09:14:47.16 ID:XjBiZb+W.net] おいおいみんなどうしたんだよｗ モナドもしょぼい概念だったとそろそろ分かれよｗ 525 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 09:31:44.59 ID:IhjRP6Ev.net] では次のを頼む 526 名前：デフォルトの名無しさん [2015/06/11(木) 09:44:54.00 ID:XjBiZb+W.net] >>518 しょぼいっていうのは分かってんだな？ ScottやMoggiにあこがれてるんじゃまだかなと思うんだが 527 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 10:16:52.40 ID:kAIL8Wh0.net] なんか地獄のミサワっぽい 528 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 10:57:09.42 ID:npoi0wO0.net] 基地外うざいししつこい＞bOOr6QDN,XjBiZb+W 529 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 11:01:20.03 ID:PuDMuD0l.net] こういうマウンティングのためだけに知識を得る底辺層が消えない限り プログラマの地位は向上しないだろうな 530 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 12:10:32.39 ID:bAVDGSXl.net] 知識を得なければマウンティングできない現状をどう変える？ 少なくとも言えることは、知識ゼロでマウンティングできる最悪の状況は回避してほしい 531 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 12:55:54.03 ID:5wVrf0wy.net] マウンティングした者はLetter to a Young Haskell Enthusiastを1000回音読する刑に処す 532 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 13:47:53.72 ID:MCnGDuRk.net] なぜマウンティングするのか？　なぜならそこに山があるからだ 533 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 14:26:29.66 ID:bAVDGSXl.net] 言っておくがLisperが関数型の知識をいくら詰め込んでもドヤ顔できない なぜなら動的型だから ドヤ顔したいやつは静的型に群がっているのであって、関数型はあまり重要ではない 534 名前：デフォルトの名無しさん [2015/06/11(木) 17:04:10.51 ID:QUqBUSLw.net] なんで毛スレのキチガイがOCamlじゃあんくてHaskellのスレに紛れ込んでるんだか。 535 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 18:26:19.74 ID:npoi0wO0.net] >>527 >>481 536 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 19:26:15.71 ID:bOOr6QDN.net] つまりOCamlerは強いけどHaskellerは嘗められてる？ 537 名前：デフォルトの名無しさん [2015/06/11(木) 19:45:13.61 ID:yf7swl7Y.net] >>527 キチガイはお前だよ 538 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 20:02:46.43 ID:npoi0wO0.net] >>527は>>514でちゃんと有用な情報を提供している >>523>>519>>517>>516>>511は情報価値0以下の荒らし。 539 名前：531 mailto:sage [2015/06/11(木) 20:04:50.35 ID:npoi0wO0.net] >>511じゃない、>>510な 540 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 21:32:50.42 ID:pgVrj2dA.net] 悪行は善行で相殺できるという前提があるから 犯人とか功労者とかが誰か調べることに拘ってるのか すごい納得してしまった 541 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 22:17:16.64 ID:3DdkuOqE.net] 相殺云々以前に、プログラム板なんだから プログラムの話をまともに出来ない奴は お呼びじゃない、ってだけだろ。 542 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 22:48:19.91 ID:QpuB/nCQ.net] コード書けない連中がこういうときだけでかい面して鬱陶しい 543 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 22:57:20.66 ID:npoi0wO0.net] 相殺も何も基地外は善行0、それ以外の人は悪行0。 544 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 23:43:07.37 ID:pgVrj2dA.net] 「プログラムは書く時間より読む時間が長い」なんて言われたら プログラムを書く話なんてしなくなるでしょ 読んだ人の感想とかそれに対しどう返答するかみたいな事ばかり考えるようになる 545 名前：デフォルトの名無しさん mailto:sage [2015/06/12(金) 00:12:07.74 ID:lWqlv+DR.net] 全くならない。 546 名前：デフォルトの名無しさん [2015/06/12(金) 00:48:31.06 ID:de1HjIPa.net] このスレ、プログラム板でもかなり書き込みが多い方なんだけど、 その割にHaskellで作ったアプリが世の中にないのは、 このスレに書き込んでいる人間の大半は結局喋っているだけで、ちっとも作っていないから？ それとも、ごく少数の口数の多い人間がこのスレに常駐しているということか？ 547 名前：デフォルトの名無しさん mailto:sage [2015/06/12(金) 01:09:28.05 ID:kpQWF1y9.net] みんな不安なんだよ 548 名前：デフォルトの名無しさん [2015/06/12(金) 01:11:49.35 ID:ewifs/WC.net] 「アプリ」でどういうものを指しているのかによるだろ。 549 名前：デフォルトの名無しさん mailto:sage [2015/06/12(金) 01:14:23.65 ID:3H6DdNeR.net] スレが伸びてるのは単に基地外が粘着してるから。 アプリは https://wiki.haskell.org/Haskell_in_practice とかあるし、 外資もNTTデータも金融とかclosedなので外に出ないの� 550 名前：熨ｽいと思うが、 それでもC++とかJavaとかに比べれば実験的な言語だから少ないな…… [] [ここ壊れてます] 551 名前：デフォルトの名無しさん [2015/06/12(金) 01:29:41.08 ID:ewifs/WC.net] スクリプト言語の代わりに普段使いしてる感じだし、 なによりParsecのお蔭で色々とはかどるのでなあ。 わりと最近3000行程度のGUIのツールを書いたが、 他所で役に立つようなものでもないので、公開するとか そういうことも特にない。 552 名前：デフォルトの名無しさん mailto:sage [2015/06/12(金) 07:19:43.33 ID:1CtSfxjI.net] 書くだけならスクリプト言語で十分だが読めない保守できない等の苦情が予想されるので じゃあ静的型付けなら読めるのか実験したい 553 名前：デフォルトの名無しさん [2015/06/12(金) 10:25:49.56 ID:ppIf3q9e.net] NTTデータを入れると、一気にカスっぽく見える。 外資と金融の間に、さりげなくNTTデータを入れるセンスが絶妙。 554 名前：デフォルトの名無しさん mailto:sage [2015/06/12(金) 11:52:15.09 ID:lWqlv+DR.net] >>545 https://www.google.co.jp/search?q=ntt%E3%83%87%E3%83%BC%E3%82%BF+haskell こういう世界でどうなるか、少なくとも実験としてはすごいと思う。 数理システムも買収したし。 555 名前：546 mailto:sage [2015/06/12(金) 11:54:37.53 ID:lWqlv+DR.net] iOSのSafari、リンクがまともにコピペできねーorz >>546は「NTTデータ Haskell」の検索結果な 556 名前：デフォルトの名無しさん mailto:sage [2015/06/12(金) 12:00:11.55 ID:nIxAy/au.net] NTTデータって人身売買の会社じゃなかったの？ 557 名前：デフォルトの名無しさん mailto:sage [2015/06/12(金) 12:08:38.69 ID:lWqlv+DR.net] 前はHaskellでインドに外注とか言ってて いろんな意味ですげーとか思ったが 最近はどうなん？ 558 名前：デフォルトの名無しさん mailto:sage [2015/06/12(金) 12:26:32.05 ID:bMq/lwLt.net] （ ゜Д゜）ﾏｼﾞｶﾖ 559 名前：デフォルトの名無しさん [2015/06/12(金) 12:46:55.72 ID:ppIf3q9e.net] 年金のシステム作ってたのもNTTデータだろ？ NTTデータって、空き巣に絶対に破られない鍵を設置して、 鍵を閉め忘れて出かけるような感じだよね。 560 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 04:35:41.57 ID:VBb4KC+k.net] あれもうシステムの問題じゃないよなあ フリーメールで届いた添付.exeダブルクリックする連中とかソーシャルエンジニアリング以前の問題 561 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 10:21:50.46 ID:+dSTwJzi.net] そんなに蒸し返したいなら言わせてもらう ユーザが多数で開発者が少数なら、ユーザのせいにするのは非合理的という思想があった その合理主義の結果がこれ それとも蒸し返す意図がなくても自然に繰り返されるパターンなのか 562 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 11:17:16.80 ID:kXcfUXOo.net] 結果がこれ　ってどれ？ 563 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 11:22:32.93 ID:fmObtMJM.net] はすけるスレだからハスケルの話してね 564 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 12:05:27.26 ID:+dSTwJzi.net] 関数型言語の仕様は意図的かそれとも自然にできたか 衒学的な意図がないならないと正確に説明できれば普及しやすいのでは 565 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 12:20:08.70 ID:RjEVnwaL.net] >>556 普及するのにそんな御大層なものは要らんよ。 必要なのは次の3つのみ。 ・馬鹿でも簡単に始められて、扱いやすいGUIアプリ用フレームワーク ・そのフレームワークと連動するRAD統合開発環境 ・数多くのGUIアプリのサンプル これに加えてスマホアプリも簡単に作れれば尚良い。 逆に、Haskell というアプリ開発環境はこれらが無いから流行らない。 566 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 13:26:03.85 ID:+dSTwJzi.net] >>557 VBやObj-Cが普及した理由はそれだが長続きしない それらを終わコンにする圧力があった MSやAppleでも逆らえない 567 名前：デフォルトの名無しさん [2015/06/13(土) 14:42:11.49 ID:gPoekrm5.net] バカに流行る必要なんざ微塵もないだろ。 環境が悪化するだけだわ。 568 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 14:43:22.99 ID:CpRxCXBF.net] >>559みたいなバカが寄り付いている時点で確かに終わってるな 569 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 14:55:15.57 ID:fmObtMJM.net] 表面じゃなくて内容の話を希望な 570 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 16:08:55.81 ID:U7fz6F5N.net] 「その数式、プログラムできますか？」という本を立ち読みしたら 圏論とSTLがどーたらみたいな謎文章が目に入って困惑している "圏論 STL"でググれば当該箇所Google Booksで読めるんですけどこれってまともなんですかね？ Haskell関係ないけど圏論がらみということで一つ 571 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 16:55:46.04 ID:KIURMs4/.net] >>556 何故、普及に拘るの？ 572 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 17:04:10.62 ID:oBvXXQ5V.net] >>562 見たけど、確かに意味不明だ。訳の問題かと思ったが、原文も似たようなもんだな……。 強いて言えば原文の"categorical theories"が和訳では勝手に「圏論(categorical theory)」になってたり、 "not computationally isomorphic"のnotが訳し漏れで「計算上は同型」になってたりと訳の問題も大きくて、 原文のほうは好意的に解釈すればまだ理解可能だけど。 573 名前：564 mailto:sage [2015/06/13(土) 17:09:54.96 ID:oBvXXQ5V.net] （原文も「好意的に解釈すれば理解可能」なだけで、 For a long time,　people believed that only categorical theories were useful for programming 云々は聞いたこともないので違う並行宇宙の話としか思えないｗ） 574 名前：デフォルトの名無しさん [2015/06/13(土) 18:44:09.66 ID:P5CgqW+9.net] 普及しないと、ゴミみたいな知識に終わるからだ。 普及させたくない層もいるけど、ごく一部だろう。 普及すると、割を食うのはトップ層だからな。 575 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 20:11:39.38 ID:sBN7IsLr.net] category theory（圏論）とcategorical theoryは別物なのかｗ 誤訳するのもわからなくもない （notの訳し漏れは論外) https://en.wikipedia.org/wiki/Categorical_theory > "Categorical theory" redirects here. Not to be confused with Category Theory. 576 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 20:13:41.36 ID:xQVzvj+B.net] >>566 俺は総合的には普及してほしくないとは思わんが、 普及するとゴミが増えるのも事実 577 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 20:21:22.10 ID:ZkFtP6do.net] >>558 そうは言っても、そうとう長続きしてきたような気がするが。 >>557 は普及する要因ではあってもオワコン化する原因ではないんじゃないか？ それとも、>>557 のせいでオワコン化が早まったということ？ 何れにしても、Haskell はその歴史は長いくせに、 アプリ開発という点では未だに始まってすらいないよな。 方法論の研究は行われてるのかな？ 578 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 20:43:48.20 ID:jKGoCo7L.net] なにか適当な GUI のからくりはないものか 579 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 21:00:56.80 ID:EFCkVZsH.net] GUI開発環境はともかく、「方法論」は手続き型やオブジェクト志向でも それこそゴミしかないと思うんだが。 580 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 21:18:01.62 ID:ZkFtP6do.net] >>571 まだまだゴミだと評価しようが、 その方法論で実際に数多くの多種多様なアプリが作られてる。 これからも現場で起きた問題に対して改善案が提案されていくと思う。 ... --> 問題 --> 提案 --> 問題 --> ... というサイクルができてる。 で、Haskell（関数型）はどうなのよ、という話。 一歩引いた立ち位置の研究者から提案された方法論が現場で使われ始めた段階なのか、 それとも、そういう方法論すらまだ無い状態なのか。 581 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 21:19:33.57 ID:jKGoCo7L.net] モナディウスはどうしているのだろう？ 582 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 21:22:43.08 ID:SsnyuIbc.net] 単体テストは関数的なほうが副作用ないから簡単だよな。 ミクロなデザインパターンとかも、そもそも不要か自明になるってよく言われてるとは思う。 マクロな開発プロセスは普通と変わらないんじゃない？ 583 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 21:32:42.37 ID:ZkFtP6do.net] >>573 あれは、取りあえず作ってみただけで、その後が続かなかったよね。 あれを叩き台にして色々議論されることもなく、 Haskell でこんなこともできるんだと言われて、それで終わり。 584 名前：デフォルトの名無しさん mailto:sage [2015/06/14(日) 00:34:08.79 ID:RWIDraJH.net] モナディウスって名前だけで方法論がわかる 他のアプリを真似すればいいんだろ 585 名前：デフォルトの名無しさん [2015/06/14(日) 08:27:51.02 ID:OtrhG80a.net] スーパートップ層　普及を望んでいる トップ層　普及を望んでいない 中堅層　普及を望んでいる 下位層　普及を望んでいないか、どっちでも良い 586 名前：デフォルトの名無しさん mailto:sage [2015/06/14(日) 09:07:11.87 ID:kkYM1O8c.net] >>577 proof it! 587 名前：デフォルトの名無しさん [2015/06/14(日) 10:09:03.75 ID:Pjcz0hD2.net] >>573 コード読めないの？馬鹿なの？ 588 名前：デフォルトの名無しさん mailto:sage [2015/06/14(日) 10:32:05.79 ID:SL/F9php.net] プログラムなんてのはツールなんで 用途に応じた使い方ができればそれでいい。 一番売れるのは安くてシンプルな電卓だろうが 使う用途や人間を選ぶ高機能な関数電卓や、 ソロバンや計算尺にもそれぞれ需要がある。 計算尺振り回して「使い方が分からん。 こんなモンはゴミだ」と喚いても メーカーもユーザも苦笑か失笑しか出来ん。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef