関数型プログラミング言語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/ 30 名前：デフォルトの名無しさん [2015/04/11(土) 00:32:26.25 ID:yKCF81vS.net] www.amazon.co.jp/dp/4798043761 この本がテンプレに入ってないとかにわかの集まりかよここ 31 名前：デフォルトの名無しさん [2015/04/11(土) 00:50:21.52 ID:EIYF0vjB.net] >>24-25 こういう紹介されるとすげーつまんなそう聞こえるなｗ 32 名前：デフォルトの名無しさん mailto:sage [2015/04/11(土) 00:55:28.45 ID:QE/0qqyV.net] Haskellerにエンタープライズしぐさが備わり最強に見える 33 名前：デフォルトの名無しさん mailto:sage [2015/04/11(土) 02:29:30.13 ID:tV+Qw8l4.net] 本スレ誘導 peace.2ch.net/test/read.cgi/tech/1428597032/ 34 名前：デフォルトの名無しさん [2015/04/11(土) 05:25:12.70 ID:3ysa7CQc.net] ハスケルって読むのこれ？ 35 名前：デフォルトの名無しさん [2015/04/11(土) 14:47:55.18 ID:7QTRUsgm.net] 『関数型プログラミングに目覚めた! IQ145の女子高校生の先輩から受けた特訓5日間』 www.amazon.co.jp/dp/4798043761/ 名著の予感 36 名前：デフォルトの名無しさん mailto:sage [2015/04/11(土) 15:12:12.25 ID:OMIW7dLX.net] Haskellはその本に関係ないじゃん javascriptスレに貼りなよ 37 名前：デフォルトの名無しさん mailto:sage [2015/04/11(土) 17:35:37.54 ID:BHEErXA4.net] Kaleidoscopeのチュートリアルやってるけどsoがリンクできねー 38 名前：デフォルトの名無しさん mailto:sage [2015/04/12(日) 12:14:23.85 ID:1ufa80Mz.net] Halcyon使ってる人いる？ 39 名前：デフォルトの名無しさん mailto:sage [2015/04/12(日) 12:31:57.57 ID:ZMVnoNXo.net] 諸君、議論したまえ 40 名前：デフォルトの名無しさん mailto:sage [2015/04/12(日) 17:48:53.46 ID:c/eluCW1.net] >>37 公式HP見たが、結局何をするものなのかよう分からんかった。 Haskellで作られたアプリケーション専用のインストーラ？ 41 名前：デフォルトの名無しさん mailto:sage [2015/04/12(日) 19:14:22.05 ID:B8mBNkjP.net] データベース接続先などの外部設定ファイルを起動時に一度だけ読み取ってその後はその値を使いまわしたい 純粋関数型言語のHaskellらしい設計や解決法を教えてください 42 名前：デフォルトの名無しさん mailto:sage [2015/04/12(日) 19:37:41.19 ID:1ufa80Mz.net] >>39 やっぱり？ 俺も公式見たけど分からなかった ググっても日本語まったく引っかからないけど Cabalの公式ページで紹介されてるくらいだし使ってる人居るのかなって 43 名前：デフォルトの名無しさん mailto:sage [2015/04/12(日) 19:55:27.61 ID:c/eluCW1.net] >>40 それは Configurations Problem といって、 アプリケーションを作る上で言語問わずぶち当たる問題。 （解決の難しさは言語によるが） Haskell でもいくつか解法が提案されているから、ググってみて。 44 名前：デフォルトの名無しさん [2015/04/12(日) 21:33:01.14 ID:skbmhi5R.net] >>40 起動時に読み込んで後は変更がないならunsafePerformIO使う。 45 名前：デフォルトの名無しさん [2015/04/13(月) 07:09:06.13 ID:2F6fpEK8.net] 154 名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！ 2015/04/11(土) 11:41:16.75 ID:XmyizTso0 わかってない奴多いけど、岡部がQiitaアカウントを剥奪されたのは、 間違ったことを書いたからではなく、批判と向き合わなかったからでもなく、 単にコメント欄に、他者の個人情報含めた暴露と、根拠のない言い、誹謗中傷レベルの言いがかりを名指しで続けたからだよ。 あそこで野田の名前出すか普通？ 46 名前：デフォルトの名無しさん [2015/04/13(月) 07:16:38.90 ID:WAzsEDwP.net] Haskell 初心者です。分からない事があるのですが、すごいHaskell本のp93の import Data.List wordNums :: String -> [(String,Int)] wordNums = map (\ ws -> (head ws, length ws)) . group . sort . words このwordNums関数がよく分かりません、wordNums関数を使う場合、何故String(=[Char]?)を渡してwords関数がちゃんと適用されるのでしょうか？ mapの定義は map :: (a -> b) -> [a] -> [b] map f xs = foldr (\ x acc -> f x : acc) [] xs こんな感じだと思っているのですが、 それだとStringの一文字毎にfが適用されていく事になり全く意味が無いと思ってしまいます…（実際はちゃんと文字列に対するwordsになっているのですが） 日本語が分かりにくくて申し訳無いのですが、分かった方はどなたか解説して頂けたら頂けたら嬉しいです… 47 名前：デフォルトの名無しさん mailto:sage [2015/04/13(月) 07:51:32.36 ID:sSjAttKF.net] >>45 その少し下の方に書いてある、ポイントフリーじゃない版を見れば mapがどう適用されてるか理解できるはず 48 名前：デフォルトの名無しさん mailto:sage [2015/04/13(月) 10:17:44.49 ID:gz5WXRUc.net] cabal build で自分でgccを使って生成した.soファイルをリンクすることってできますか？ ghcではghc ~.so --make Main.hs -o Mainでやっていたのですが、同じことをcabalで行う方法が分かりません 49 名前：デフォルトの名無しさん [2015/04/13(月) 13:56:46.50 ID:H7xRrVnS.net] >>45 そこんところに適用されていく様子が書いてあるでしょ。 wordNums "wa wa wee wa"なら words "wa wa wee wa" 　→　["wa", "wa", "wee", "wa"] sort ["wa", "wa", "wee", "wa"] → ["wa", "wa", "wa", "wee"] group ["wa", "wa", "wa", "wee"] → [ ["wa","wa","wa"], ["wee"] ] map (¥ws->(head ws, length ws)) [ ["wa","wa","wa"], ["wee"] ] → [("wa",3),("wee",1)] で、一目瞭然だと思うんだけどなにが分かんないの？ ポイントフリーだから混乱してるとかそういう話？ wordNums xs = map (¥ ws -> (head ws, length ws)) $ group $ sort $ words xs 敢えて最後に引数補ってこう書いてあればわかったりするのかしら。 50 名前：デフォルトの名無しさん mailto:sage [2015/04/13(月) 15:56:16.90 ID:5UiTPbcQ.net] これが巷で噂の新人君を三ヶ月で辞職に追い込んでいくスタイルだ。 だがちょっと待って欲しい、 >>48をスタイル抜群女パイセンの台詞に脳内変換してみるとどうだろう？ 51 名前：デフォルトの名無しさん [2015/04/13(月) 18:51:08.84 ID:H7xRrVnS.net] >>49 こんなんで辞職に追い込まれないだろw で、>>45の疑問がわかった気がする。wordsNumの定義を （f = ¥ ws -> (head ws, length ws) として） map (f . group . sort . words) だと思ってるんだな。 String（=[Char]）に対して、合成された関数をmapしてるかのように読んでるんだろう。 正しい構文解析はそうではなくて (map f) . group . sort . words だというだけの話だ（関数適用の結合は関数合成演算子より強いのでそうなる）。 52 名前：デフォルトの名無しさん mailto:sage [2015/04/13(月) 20:18:57.06 ID:mroSQvvT.net] kenokabe-techwriting.blogspot.jp/2015/04/blog-post.html これマジ読んでみ。飯噴出すから。 53 名前：デフォルトの名無しさん [2015/04/13(月) 21:05:27.45 ID:WAzsEDwP.net] >>50 ありがとうございます！その通りで、おかげで完全に挙動を理解出来ました…！ >>46さんもありがとうございました！ 54 名前：デフォルトの名無しさん mailto:sage [2015/04/13(月) 21:06:37.25 ID:HtEQcKP3.net] >>51 噴き出したwww 55 名前：デフォルトの名無しさん mailto:sage [2015/04/13(月) 22:33:35.71 ID:g1+aVity.net] Yesod の Yesod.Core.cleanPath 関数について2つ質問です。 1つ目 この関数はどのようなタイミングで呼ばれるのでしょうか。 2つ目 この関数の戻り値 Either [Text] [Text] 型の値（の [Text] の部分）に joinPath 関数が第3引数として適用されると考えて間違いないでしょうか。 56 名前：デフォルトの名無しさん [2015/04/13(月) 22:36:15.84 ID:fLjhhhkx.net] だからkenokabeはhaskellもocamlもmlもcoqもscalaも一行も書けないんだから このスレや関数型の言語のスレには全く関係ないだろ javascriptのスレでやれよ　彼はjavascriptしか書けんみたいだし 57 名前：デフォルトの名無しさん mailto:sage [2015/04/14(火) 19:21:20.43 ID:7ObaBR0M.net] 君達は毛の壁を煽って何がしたいのだ。召喚したいのか？ 58 名前：デフォルトの名無しさん mailto:sage [2015/04/14(火) 22:39:30.34 ID:hfFhnDD4.net] 関数型コミュニティに対するポエムの続きが読みたいんでしょ 59 名前：デフォルトの名無しさん mailto:sage [2015/04/15(水) 01:36:25.39 ID:RG2QVuzc.net] ヲチスレでやってくれないかな 60 名前：デフォルトの名無しさん [2015/04/15(水) 06:30:15.96 ID:MJe1PTeI.net] おい、あの岡部健のアプリだぞｗｗｗｗ www.appjenny.com/Android/App/com.kenokabe.costcobb 61 名前：デフォルトの名無しさん [2015/04/15(水) 06:31:39.99 ID:MJe1PTeI.net] www.iphoneapp.xyz/free/com.kenokabe.costcobb.apk 毛の壁のiOSアプリ、みんな使え〜 62 名前：デフォルトの名無しさん [2015/04/15(水) 10:01:46.78 ID:wcd6okB3.net] あいつアプリ作ってたのか objectivecできるのかあいつ？ 63 名前：デフォルトの名無しさん mailto:sage [2015/04/15(水) 11:14:04.24 ID:32OEEOG2.net] >>60 なんで拡張子がapkなわけ？ 64 名前：デフォルトの名無しさん [2015/04/15(水) 14:35:06.68 ID:zDoLrJPm.net] なんちゃって関数型クラスタども、これが世間だよ https://twitter.com/buroburo6/statuses/588156083350458369 65 名前：デフォルトの名無しさん [2015/04/15(水) 23:13:46.91 ID:4gfphDFh.net] 本屋に平積みにされてたら買っちゃう奴いそう 66 名前：デフォルトの名無しさん mailto:sage [2015/04/15(水) 23:27:52.69 ID:Q89pzmWa.net] まだ発売されていないのにいい本とかわかるのか？ 67 名前：デフォルトの名無しさん mailto:sage [2015/04/16(木) 05:47:12.05 ID:J3guke8p.net] え！？もうreturnって書かなくていいの！？pureでいいの？ 68 名前：デフォルトの名無しさん [2015/04/16(木) 07:17:46.98 ID:7jUqfvFj.net] スーパークラス化で感心するところそこなのかよwww でもまあ、実のところリストの[]みたいに(pure a)を<a>と書けたりすると Applicativeスタイルにはマッチすると思うんだけどな。 69 名前：デフォルトの名無しさん [2015/04/16(木) 08:50:37.52 ID:0XHfZc1W.net] 毛の壁の事をよく知りたい方は、このまとめPDFもご覧ください。 nmuta.dip.jp/~muta/tog288.pdf 70 名前：デフォルトの名無しさん [2015/04/16(木) 10:28:10.38 ID:Uxi3XrZK.net] [WikiJA-l] Suisui氏より即時無期限ブロックを発動されたFXSTです  Ken OKABE xxxxxxxx ＠ xxxxx.xxx  2006年 9月 9日 (土) 17:31:10 UTC  lists.wikimedia.org/pipermail/wikija-l/2006-September/000919.html  71 名前：デフォルトの名無しさん mailto:sage [2015/04/16(木) 22:13:00.24 ID:9N3+Oa4T.net] wholemeal programming というのは、データ型に対する演算を、 ある構造を受け取って別の構造へと変換する関数によって表現すること、 と捉えて間違いないでしょうか。 Thinking Functionally with Haskell という本に数独ソルバーを作る章があり、 そこで wholemeal programming が出てきました。 行のリストとして表現された9x9行列 type Matrix a = [[a]] に対して、 列のリストや、3x3小行列のリストを得る関数が定義されます。 その際、m :: Matrix a に対して m !! i !! j などとインデックス計算をして個々の要素を参照するのではなく、 行列を転置して列のリストを得たり、3要素ずつグループ化する関数などを合成して小行列リストを得たり、 そうやって構造そのものの形を変換しており、そのようなプログラミングスタイルが wholemeal programming だと紹介されていました。 wholemeal programming というのは、このような構造変換だけでなく、 もっと広い意味を持っているのでしょうか。 72 名前：デフォルトの名無しさん mailto:sage [2015/04/16(木) 22:25:21.10 ID:9N3+Oa4T.net] >>70 ちなみに、本では構造を変換するとは書かれてなくて、 （インデックス計算するのではなく）行列それ自身を complete entity として扱う関数を定義する と書かれていました。 しかし、言っている意味がよく分からず、実際にやっていたのが構造全体を組み替える処理だったので、 とりあえず >>69 のように捉えてみたしだいです。 73 名前：デフォルトの名無しさん mailto:sage [2015/04/16(木) 23:22:05.24 ID:3W63KRV6.net] 鶏を裁くのに牛刀を用いるのがwholemeal approach。 最初に効率を一切考えない、正しい解法も含むがいらない処理も沢山してしまう解法を作り、 その後不要な計算をしないよう改良していく手法。 数独ソルバーなら、空欄に1-9の全てのパターンを網羅した9x9行列のリストを作り、 その中から数独のルールに適合するものを取り出す、という方法がスタートになる。 10^(空欄の数)のパターンを全て計算するのは現実的ではないから、必要ない計算をしないようにしていく。 www.cs.nott.ac.uk/~gmh/sudoku.lhs これがその本の元ネタでしょう。 74 名前：デフォルトの名無しさん mailto:sage [2015/04/16(木) 23:41:27.15 ID:C8wOR+dQ.net] 牛刀の例えはネガティブなイメージ出ちゃうんじゃない？ 文字通り全粒粉アプローチって訳せば、 最初はゴミ（モミとフスマ）だらけの全粒粉から開発スタートってイメージがわかるかと。 75 名前：デフォルトの名無しさん [2015/04/17(金) 08:20:31.78 ID:xoZHp2iY.net] 1から9を繰り返し足していくのに、ループを使うような原始人から進化するべき 「アルゴリズム」「フロー」を捨てろ。 でないと関数型を追求することは不可能だよ 76 名前：デフォルトの名無しさん [2015/04/17(金) 08:22:08.56 ID:xoZHp2iY.net] 「フロー」というものがプログラミングには不可欠だという固定観念を捨てなきゃ。 77 名前：デフォルトの名無しさん [2015/04/17(金) 08:40:08.59 ID:2I4pOBqW.net] >>72 完全に逆だ。 Huttonのそれが元ネタにしてるのが Richard Birdの本なんだからな。 78 名前：デフォルトの名無しさん [2015/04/17(金) 08:57:05.88 ID:va7l7l3W.net] >>75 フローだのアルゴリズムだの、無い言語があるの？ 79 名前：デフォルトの名無しさん [2015/04/17(金) 09:07:42.22 ID:IlVLp4fy.net] 　　　　　　　　　_＿＿ 　　　　　　　　 |　岡� 80 名前：@|　　　　　　　　　　　　　　　　　　　　 　　　　　　　　 |　部　| 　　　　　　　　 |　家　| 　　　　　　　　 |　先　| 　　　　　　　　 |　祖　| 　　　　　　　　 |　代　| 　　　　　　　　 |　々　| 　　 　 　,,,.　　 |　之　|　,'"';, 　　　 ､''ﾞﾞ;､).　 |　墓　|　､''ﾞﾞ;､),､ 　 　 　ﾞ''!ﾘ''　i二二二二!ﾞ''l!ﾘ'''ﾞ 　　　　 ‖　 ｀i二二二!´　‖ 　　　　 昌　|:￣￣￣￣:|　昌 　　　　|￣:|_|;;;l"二二ﾞﾞl;;|_|￣:| 　　　　|　 :|::::::| |;;;;;;;;;;| |::::|　 :| 　　　　| 　:|::::::|┌─┐|::::|　 :|　　　　　　　　　　　　　　　　　　　 　＿＿ 　.／ﾞﾞ└‐┴ ┴l,,,,,,,,,,l┴┴‐┘ﾞﾞﾞﾞ＼ 　　　　　　　　　　　　　 ／￣　　　＼ 　|￣￣￣￣￣￣￣￣￣￣￣￣￣| 　　　　　〜 ＆　　　　　|　　　　　　:::| 　￣|三|三三|三三三三|三三|三|￣ 　　　　　　 　 ~ 　 　 　 |　　健　 　::::| 　　 |　 |:::　　|: :　　　 : : |:: 　　|　 | 　 　　　　　　　　　　　 　 |　　 　　　 ::::: | 　　 |　 |:::　　|: :　　　 : : |:: 　　|　 | 　 　 　　　　　　 　 　　 　|　 ∬ 　 　∬::|　 　　/＿|:::　　|: : 　 　　: :.|::　　:|＿ヽ 　　　　 　　 　 　　 　 　|ii,,≦≧､　 :ii :::| 　_|＿__|;;;;;;;;;;|,;,;,,,,,,,,,,,,,,,;,;,|;;;;;;;;;;|＿__|_ 　　　　　　　　　　 　 _ |旦‖===‖旦:| _ 　l;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;l　　　　　-W-----┘二二二二二二二二二└--ff---\--　 [] [ここ壊れてます] 81 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 11:31:42.74 ID:NBcEkCSw.net] Haskell というより英語の話。 Maybe aについて、 NothingはいいんですけどJust aの "Just" がどういう気持ちなのか あんまりはっきり理解できていないのですが、みなさんどんなかんじですか？ Nothingじゃない方のコンストラクタに使う英単語として選定されたこのjustの（英語としての）意味はどんなもの？ 82 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 13:15:32.90 ID:ki8iVvfx.net] アルゴリズムもフローもいらんとなると、演繹というものが存在しなくなるんと違うか 83 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 13:17:48.16 ID:H3Beje5C.net] やっぱり初心者にもはすける ビジネスシーンにもはすけるだろう！ 84 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 13:22:59.36 ID:H3Beje5C.net] プログラミング初心者向けのhaskell本で 「はじめてのH」って本だれか書いて？ 85 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 13:25:07.77 ID:PzasXWb4.net] 権威に泥を塗られたスピノザという被害者への憐憫は見過ごされがちだ 86 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 15:31:40.71 ID:HcT4Z6BJ.net] >>79 「単なる〜」とか「ただの〜」みたいな意味では ejje.weblio.jp/content/It's+just+a 87 名前：デフォルトの名無しさん [2015/04/17(金) 16:31:48.10 ID:nxIB1yc7.net] 395 名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！ 2015/04/17(金) 07:14:27.41 ID:9SxWDYYT0 毛の壁初心者の方へ 現役の弁護士によるツイートをご覧ください そしてＲＴを https://twitter.com/motoken_tw/status/452009450313097216 https://twitter.com/motoken_tw/status/453696338489016321 88 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 17:31:36.64 ID:1Smloeqb.net] >>84 もしかしたら〜 から まさに〜 になるんだろ 89 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 18:19:06.44 ID:s+nJaO1V.net] Just Systems May-Be SOFT 90 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 20:44:35.19 ID:PLmfZzGD.net] >>72 >>73 私の理解は全くの見当はずれでしたね。 本ではことさら indexing との対比が書かれていたので勘違いしてしまいました。 おかげさまで納得できました。 ありがとうございました。 91 名前：デフォルトの名無しさん mailto:sage [2015/04/18(土) 01:23:36.46 ID:cIanB9vz.net] 他言語のdata Option a= Some a | None の方が馴染んでいるのは秘密 92 名前：デフォルトの名無しさん [2015/04/18(土) 20:00:24.92 ID:zBL4xnwg.net] 417 名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！ 2015/04/18(土) 19:59:37.86 ID:LNSLKYsZ0 岡部ちゃんのブログ更新 kenokabe-techwriting.blogspot.jp/2015/04/lispspinoza.html?m=1 あらら、手抜きコピペの再利用ですね。 一つ前の記事に後悔しちゃって、消すことも出来ないので「目立たなくするように」するためかな？ 岡部ちゃんさ、「すでに【脱アルゴリズム宣言】シリーズで述べたように、」 ってあるけど、それはどこを参照すれば良いのかな？（爆笑） コピペリサイクル記事でもさ、せめて、この程度の修正はしようぜ？ 93 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 12:21:14.03 ID:BDx+P9mq.net] 原発コピペが去ったと思ったら入れ替わりで毛の壁が来たな 94 名前：79 mailto:sage [2015/04/19(日) 14:41:18.79 ID:pB/4TY1x.net] >>84 反応ありがとうございます。なんか「なんにもない」と「単に5!!!」がやっぱりしっくりこないんですよねえ… もう少し訓練をつんでみます 95 名前：デフォルトの名無しさん [2015/04/19(日) 19:25:20.36 ID:TqE05fjB.net] >>92 Intが入っているかもしれない箱を渡されて、開けたら中身が 「なんにもない」 「ちょうど5」 なだけだろ。なんでそれがしっくりこないのかこそがわからんわ。 96 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 19:44:35.88 ID:g7ko6rYD.net] Justって言葉がしっくりくるかこないかは人の感覚次第だろう 自分もHaskellの文法だからってのを忘れたとすると Maybeの中身がNothingかJust xだというのはいいとして xをMaybeにするためにJust xってするのはもやっとする 97 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 19:47:51.06 ID:HUQoVR+2.net] 紛れもない 98 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 19:49:46.90 ID:HUQoVR+2.net] 分かった。Obvios a に変えよう 99 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 19:56:54.50 ID:bs5hwhjS.net] >>93 そこで「ちょうど」と言うのがしっくりこないのかと。 日本人ならその状況で「ちょうど5」とは言わず、単に「5」と言う。 「ちょうど5」と言うと、では、ちょうどではない曖昧な5もあるのか、 という事になりかねない。 まぁ、Haskell だと何らかの値構築子が必要なわけで、 Just 以外ならどんな名前にするかと訊かれると、返答に困るが・・・ >>96 は冗談だろ 100 名前：デフォルトの名無しさん [2015/04/19(日) 20:33:51.59 ID:TqE05fjB.net] >>97 Maybeが曖昧で、それを無曖昧化した結果がNothingかJust xなんだから、 まさにJustでいいんだ、というのが命名者の発想だろ。 Justの代わりにSomeの方が日本人にはわかんないんじゃないの？ 「なし None」と「なんらかの・ある Some」って語感がわかるならいいけど。 101 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 21:03:30.47 ID:bs5hwhjS.net] >>98 なるほどね。 ちょうどなんて言うからヘンなんだよな。 まさにって言えば俺もしっくりきた。 って >>86 でもう出てたんだね、ごめんよ。 102 名前：デフォルトの名無しさん mailto:sage [2015/04/20(月) 01:17:23.81 ID:6TQJBTny.net] Boostライブラリのプログレスバーの存在意義を論ずるような真似をいつまで続ける気だ 103 名前：デフォルトの名無しさん mailto:sage [2015/04/20(月) 01:58:55.74 ID:pO1ymbwK.net] 本筋でないつまらないことで盛り上がって何かした気になる よくある 104 名前：デフォルトの名無しさん mailto:sage [2015/04/20(月) 09:54:07.62 ID:HQWDK9Be.net] cf. 自転車置き場の議論 105 名前：デフォルトの名無しさん mailto:sage [2015/04/20(月) 13:03:15.78 ID:u7LO/gCX.net] Parsecとかでも時々ん？ってなるネーミングはある Haskellだと関数だけじゃなくて型コンストラクタたったりフィールドだったり識別するものが増えるからネーミングが余計に気になるのかも 106 名前：デフォルトの名無しさん [2015/04/20(月) 14:38:09.34 ID:2eevj3Zk.net] Spinozaは確かに使える。可能性を感じた。 107 名前：デフォルトの名無しさん [2015/04/20(月) 16:43:11.52 ID:0hSvk0Oi.net] 緑の害虫には一生つきまとってやる。 108 名前：デフォルトの名無しさん [2015/04/22(水) 08:19:49.68 ID:GJyQGfm3.net] 毛の壁の過去 netbmari.seesaa.net/article/81337651.html 109 名前：デフォルトの名無しさん [2015/04/22(水) 20:54:17.76 ID:NZ8QzlQ5.net] ☆ 日本の核ブ装は絶対に必須ですわ。☆ www.soumu.go.jp/senkyo/kokumin_touhyou/index.html ☆ 日本国民の皆様方、2016年7月の『第２４回 参議院選挙』で、改憲の参議院議員が 3分の2以上を超えると改憲が実現します。皆様方、必ず投票に自ら足を運んでください。 私たちの『日本国憲法』を絶対に改正しましょう。☆ 110 名前：デフォルトの名無しさん [2015/04/23(木) 07:36:47.21 ID:6rGfWaSo.net] 毛の壁本 今日本屋に並ぶらしいですよ 111 名前：デフォルトの名無しさん [2015/04/23(木) 08:24:55.14 ID:/Z6TrNg2.net] どんどん広まって、UCLAを卒業したという学歴詐称も広まってほしい 112 名前：デフォルトの名無しさん [2015/04/23(木) 09:10:23.02 ID:sxaJ1zhu.net] 増田の岡部関連の書き込み、かなり削除されてるなww 岡部もやることが小さいなww 113 名前：デフォルトの名無しさん mailto:sage [2015/04/23(木) 21:20:22.01 ID:LeResooG.net] 何が始まるんです？ 114 名前：デフォルトの名無しさん [2015/04/24(金) 12:58:05.70 ID:v3IT9RWU.net] おいこら、らくだの卯之助よ。 岡部健氏とスキルで勝てるんか？勝負しろや。逃げんな 115 名前：デフォルトの名無しさん [2015/04/24(金) 13:02:06.09 ID:/IU9j/kd.net] コンパイラもマトモに書けない健チャソが OCamlの文法とコンパイラ拡張してラベル付き 引数持ちこんだ駱駝にどうやって勝てるんだwww 116 名前：デフォルトの名無しさん [2015/04/24(金) 15:02:59.72 ID:sR1g6M3b.net] 粘着軍はこんなスレまで立てたのか(呆) 117 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 10:17:48.89 ID:zFI89MHg.net] アプリカティブうんちしてくる 118 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 14:48:52.43 ID:/My2uXcp.net] www.amazon.co.jp/gp/product/4798043761/ Amazonでベストセラー１位じゃん 実は人気あるんだな 119 名前：デフォルトの名無しさん [2015/04/25(土) 14:56:53.67 ID:IIQtsCT+.net] 彼はiOSの出来損ないアプリに、当然のようについた低評価のレビューを片っ端から削除した前科がある。 だから、アマゾンの書評も「これは誹謗中傷目的の不当な評価である」と逃げを打つのは既定路線。 120 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 16:05:32.13 ID:iXjJJv3p.net] スレチ状態が続きすぎて諦めてるけど お前らもしレビューを書くならあくまで真面目にな 中途半端に絡むなよ 121 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 16:32:38.19 ID:K9QmTshb.net] わろ 122 名前：デフォルトの名無しさん [2015/04/25(土) 19:00:18.52 ID:1G6YdpRM.net] App Storeで「青空文庫を読む」というバグだらけのアプリに低評価なコメントされて逆切れし、 「これは誹謗中傷目的だから削除します」とのたまって本当に削除した岡部健だから、 今回のアマゾンとかの低評価も「陰謀だ」と言い出すのはわかりきってる。 過去にはこんなことをやってた。 u1sokuhou .ldblog.jp/archives/50346264.html 123 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 21:32:07.54 ID:gdfW3sMF.net] レビューはどうでもいいからこのスレで絡まないでくれ バカが自分の通用する場だと勘違いする 124 名前：デフォルトの名無しさん [2015/04/25(土) 21:49:40.65 ID:pGkm3L04.net] 粘着軍どもが岡部氏を中傷する目的で立てたスレだから言っても無駄ですよ。 125 名前：デフォルトの名無しさん [2015/04/25(土) 22:03:21.14 ID:QkVyrL7g.net] 岡部、今度はAmazonで演説し始めたぞ twitter.com/SE_O_T/status/591932284967591936 126 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 22:50:49.29 ID:UUGDuW98.net] 岡部健っていう奴、どういう経歴なの？ 数学系や情報工学系の由緒正しい経歴じゃないっぽい雰囲気。 文系から来たタイプか？ 127 名前：デフォルトの名無しさん [2015/04/25(土) 23:52:39.20 ID:eYc1bK/z.net] 毛の壁10連ガチャとか作った奴誰だよ 128 名前：デフォルトの名無しさん [2015/04/25(土) 23:53:42.91 ID:/Lz62wVI.net] >>124 GOOGLE+のプロフィール参照な。 129 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 00:03:48.04 ID:Kxjo5Nwd.net] そういえば古賀潤一郎がカリフォルニア大学ロサンゼルス校出身と自己紹介していたが、後に学歴詐称だと分かった事件があったね。 130 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 00:04:26.53 ID:Kxjo5Nwd.net] そもそも岡部健という人物は本当にいるの？

---

---

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

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