15/04/10 00:06:42.77 rXOjr/Cy.net
関数型プログラミング言語 Haskell について語るスレです。
haskell.org (公式サイト)
URLﾘﾝｸ(www.haskell.org)
前スレ
関数型プログラミング言語Haskell Part27
ｽﾚﾘﾝｸ(tech板)
9:デフォルトの名無しさん
15/04/10 00:11:18.13 rXOjr/Cy.net
過去スレ一覧
26) htｽﾚﾘﾝｸ(tech板)
25) htｽﾚﾘﾝｸ(tech板)
24) htｽﾚﾘﾝｸ(tech板)
23) htｽﾚﾘﾝｸ(tech板)
22) htｽﾚﾘﾝｸ(tech板)
21) htｽﾚﾘﾝｸ(tech板)
20) htｽﾚﾘﾝｸ(tech板)
19) htｽﾚﾘﾝｸ(tech板)
18) htｽﾚﾘﾝｸ(tech板)
17) htｽﾚﾘﾝｸ(tech板)
16) htｽﾚﾘﾝｸ(tech板)
15) htｽﾚﾘﾝｸ(tech板)
14) htｽﾚﾘﾝｸ(tech板)
13) htｽﾚﾘﾝｸ(tech板)
12) htｽﾚﾘﾝｸ(tech板)
11) htｽﾚﾘﾝｸ(tech板)
10) htｽﾚﾘﾝｸ(tech板)
09) htｽﾚﾘﾝｸ(tech板)
08) htｽﾚﾘﾝｸ(tech板)
07) htｽﾚﾘﾝｸ(tech板)
06) htｽﾚﾘﾝｸ(tech板)
05) htｽﾚﾘﾝｸ(tech板)
04) htｽﾚﾘﾝｸ(tech板)
03) htｽﾚﾘﾝｸ(tech板)
02) htｽﾚﾘﾝｸ(tech板)
01) htURLﾘﾝｸ(pc.2ch.net)
10:デフォルトの名無しさん
15/04/10 00:14:16.42 rXOjr/Cy.net
関連サイト
(英語)
Haskell - Wikibooks, open books for an open world (ページ内に内容をまとめたPDFあり)
htURLﾘﾝｸ(en.wikibooks.org)
Learn You a Haskell for Great Good! (『すごいHaskellたのしく学ぼう!』の無料オンライン版)
htURLﾘﾝｸ(learnyouahaskell.com)
Real World Haskell (同名書籍の無料オンライン版)
htURLﾘﾝｸ(book.realworldhaskell.org)
(以下、日本語)
Haskell入門 5ステップ - HaskellWiki (公式サイト内、日本語入門セクション)
htURLﾘﾝｸ(wiki.haskell.org)
Haskell - Wikibooks (先述Wikibooksの日本語版。未編集の項目、多)
htURLﾘﾝｸ(ja.wikibooks.org)
Programming in Haskell
htURLﾘﾝｸ(www.sampou.org)
Haskell のお勉強
htURLﾘﾝｸ(www.shido.info)
Haskell Programming
htURLﾘﾝｸ(www.geocities.jp)
本物のプログラマはHaskellを使う:ITpro
htURLﾘﾝｸ(itpro.nikkeibp.co.jp)
［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！
htURLﾘﾝｸ(gihyo.jp)
11:デフォルトの名無しさん
15/04/10 00:28:02.86 rXOjr/Cy.net
以上、>>8-10、及び>>3が正しいテンプレです。
なお、>>9-10は(一部の専ブラを除き)URLがリンク化されていないと思いますが、2ちゃんねるの
新規制で1レス内の外部リンク数が制限されるようです(スレ立ての場合を除く？)。そこで当該URLの
一部分に数値文字参照を用いて回避したための産物です。ご了承を。
12:デフォルトの名無しさん
15/04/10 03:29:01.19 KZNYLMbm.net
関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
ｽﾚﾘﾝｸ(tech板)
13:デフォルトの名無しさん
15/04/10 06:51:05.28 CIf+UAaH.net
アホな質問でスマンが、
すごいhaskell本のp140 7章 木を植えよう の
treeInsert関数が 型引数a と 引数xを比較してるように見えるんだけど
haskell初心者の自分にしては意味不明なんだけど
どういう事なんだ。。。
14:デフォルトの名無しさん
15/04/10 07:05:02.76 ZILiwe6J.net
関数型は銀の弾丸なのか？
15:デフォルトの名無しさん
15/04/10 12:09:31.13 tgPQdxTN.net
おい、毛の壁のブログが更新されたぞ
なんか、脳内の関数型コミュニティーと戦っとる
16:デフォルトの名無しさん
15/04/10 12:31:20.47 ff5t5Whl.net
>>13
aは型引数じゃなくてパターンマッチで用いてる方だと思われ
treeInsert x (Node a left right)
のa
17:デフォルトの名無しさん
15/04/10 13:04:40.10 C/bkXAcX.net
次立ったんだ、乙
18:デフォルトの名無しさん
15/04/10 13:18:21.19 y7KG2L/p.net
>>15
開いた口が塞がらない。
19:デフォルトの名無しさん
15/04/10 13:18:42.90 apwty0cJ.net
ドン毛ホーテには風車がドラゴンに見えるんだよ
20:デフォルトの名無しさん
15/04/10 13:50:13.44 R8l9PNq/.net
そんなものいちいち報告しなくてよろしい
>>１３
そう見えて紛らわしいのでyに読み替えていい
21:デフォルトの名無しさん
15/04/10 15:25:29.23 iRFxon+y.net
俺の友達の友達が、某まつもと氏と知り合いなんだけど、この前、岡部氏の事を高く評価されていた。
ちゃんと見てる人は見てるし、世界クラスにもなると岡部氏の記事が容易に理解できるんだろうね。
22:デフォルトの名無しさん
15/04/10 15:27:33.90 iRFxon+y.net
おまえら関数型コミュニティのチャイルディッシュな発想からは
岡部氏のような創造には至らない
23:デフォルトの名無しさん
15/04/10 19:43:04.83 /T7b06ac.net
このエントリの内容は概ね正しいの？
URLﾘﾝｸ(qiita.com)
24:デフォルトの名無しさん
15/04/10 20:59:25.97 JUcvVYvq.net
もっとエンタープライズおじさんが好みそうな感じの売り込み方すれば流行る
Haskellは最先端の計算機理論にもとづいた
システム開発の効率化とプログラムの自動生成および
プログラムの標準化を実現する高機能な関数型言語です
・高速で高信頼性
コンパイル型言語のため高速なデータ処理が行え
型安全なため信頼性の高いプログラムが生成できます。
これによりシステムの信頼性・整合性が向上します。
さらに保守フェーズにおける効率化も実現します
25:デフォルトの名無しさん
15/04/10 21:00:15.54 JUcvVYvq.net
・プログラミングレス
処理ではなくデータに対して注
26:目し どのように処理したいのか宣言的に記述を行います。 これにより設計書ベースでの業務プログラム開発を行う環境を提供します。 ・ダウンサイジングへの対応 ホストコンピュータ、オフィスプロセッサだけでなく UNIXマシンを実行環境とするソフトウェア開発が行える開発環境を実現できます これにより異なるOSへのソフトウェア移植も容易に行えます ・業務に最適化した記述 単一の言語にて各種の業務に合わせた専用の記述形式を用意できるため 旧来の基幹システム開発のジェネレータ言語で問題になっていた 実際の業務との不整合のための非効率な作業を排除できます
27:デフォルトの名無しさん
15/04/10 21:03:34.25 dP0/e/so.net
学習コストｗｗｗｗｗｗｗｗｗｗ
28:デフォルトの名無しさん
15/04/10 21:09:22.58 JpfDZLA2.net
このスレは天才禁止
29:デフォルトの名無しさん
15/04/10 21:18:45.46 JUcvVYvq.net
よし、学習コストが問題なら
COBOL風のDSLを書けばすべて解決するな！
30:デフォルトの名無しさん
15/04/11 00:32:26.25 yKCF81vS.net
URLﾘﾝｸ(www.amazon.co.jp)
この本がテンプレに入ってないとかにわかの集まりかよここ
31:デフォルトの名無しさん
15/04/11 00:50:21.52 EIYF0vjB.net
>>24-25
こういう紹介されるとすげーつまんなそう聞こえるなｗ
32:デフォルトの名無しさん
15/04/11 00:55:28.45 QE/0qqyV.net
Haskellerにエンタープライズしぐさが備わり最強に見える
33:デフォルトの名無しさん
15/04/11 02:29:30.13 tV+Qw8l4.net
本スレ誘導
ｽﾚﾘﾝｸ(tech板)
34:デフォルトの名無しさん
15/04/11 05:25:12.70 3ysa7CQc.net
ハスケルって読むのこれ？
35:デフォルトの名無しさん
15/04/11 14:47:55.18 7QTRUsgm.net
『関数型プログラミングに目覚めた! IQ145の女子高校生の先輩から受けた特訓5日間』
URLﾘﾝｸ(www.amazon.co.jp)
名著の予感
36:デフォルトの名無しさん
15/04/11 15:12:12.25 OMIW7dLX.net
Haskellはその本に関係ないじゃん
javascriptスレに貼りなよ
37:デフォルトの名無しさん
15/04/11 17:35:37.54 BHEErXA4.net
Kaleidoscopeのチュートリアルやってるけどsoがリンクできねー
38:デフォルトの名無しさん
15/04/12 12:14:23.85 1ufa80Mz.net
Halcyon使ってる人いる？
39:デフォルトの名無しさん
15/04/12 12:31:57.57 ZMVnoNXo.net
諸君、議論したまえ
40:デフォルトの名無しさん
15/04/12 17:48:53.46 c/eluCW1.net
>>37
公式HP見たが、結局何をするものなのかよう分からんかった。
Haskellで作られたアプリケーション専用のインストーラ？
41:デフォルトの名無しさん
15/04/12 19:14:22.05 B8mBNkjP.net
データベース接続先などの外部設定ファイルを起動時に一度だけ読み取ってその後はその値を使いまわしたい
純粋関数型言語のHaskellらしい設計や解決法を教えてください
42:デフォルトの名無しさん
15/04/12 19:37:41.19 1ufa80Mz.net
>>39
やっぱり？
俺も公式見たけど分からなかった
ググっても日本語まったく引っかからないけど
Cabalの公式ページで紹介されてるくらいだし使ってる人居るのかなって
43:デフォルトの名無しさん
15/04/12 19:55:27.61 c/eluCW1.net
>>40
それは Configurations Problem といって、
アプリケーションを作る上で言語問わずぶち当たる問題。
（解決の難しさは言語によるが）
Haskell でもいくつか解法が提案されているから、ググってみて。
44:デフォルトの名無しさん
15/04/12 21:33:01.14 skbmhi5R.net
>>40
起動時に読み込んで後は変更がないならunsafePerformIO使う。
45:デフォルトの名無しさん
15/04/13 07:09:06.13 2F6fpEK8.net
154 名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！ 2015/04/11(土) 11:41:16.75 ID:XmyizTso0
わかってない奴多いけど、岡部がQiitaアカウントを剥奪されたのは、
間違ったことを書いたからではなく、批判と向き合わなかったからでもなく、
単にコメント欄に、他者の個人情報含めた暴露と、根拠のない言い、誹謗中傷レベルの言いがかりを名指しで続けたからだよ。
あそこで野田の名前出すか普通？
46:デフォルトの名無しさん
15/04/13 07:16:38.90 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:デフォルトの名無しさん
15/04/13 07:51:32.36 sSjAttKF.net
>>45
その少し下の方に書いてある、ポイントフリーじゃない版を見れば
mapがどう適用されてるか理解できるはず
48:デフォルトの名無しさん
15/04/13 10:17:44.49 gz5WXRUc.net
cabal build で自分でgccを使って生成した.soファイルをリンクすることってできますか？
ghcではghc ~.so --make Main.hs -o Mainでやっていたのですが、同じことをcabalで行う方法が分かりません
49:デフォルトの名無しさん
15/04/13 13:56:46.50 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:デフォルトの名無しさん
15/04/13 15:56:16.90 5UiTPbcQ.net
これが巷で噂の新人君を三ヶ月で辞職に追い込んでいくスタイルだ。
だがちょっと待って欲しい、
>>48をスタイル抜群女パイセンの台詞に脳内変換してみるとどうだろう？
51:デフォルトの名無しさん
15/04/13 18:51:08.84 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:デフォルトの名無しさん
15/04/13 20:18:57.06 mroSQvvT.net
URLﾘﾝｸ(kenokabe-techwriting.blogspot.jp)
これマジ読んでみ。飯噴出すから。
53:デフォルトの名無しさん
15/04/13 21:05:27.45 WAzsEDwP.net
>>50
ありがとうございます！その通りで、おかげで完全に挙動を理解出来ました…！
>>46さんもありがとうございました！
54:デフォルトの名無しさん
15/04/13 21:06:37.25 HtEQcKP3.net
>>51
噴き出したwww
55:デフォルトの名無しさん
15/04/13 22:33:35.71 g1+aVity.net
Yesod の Yesod.Core.cleanPath 関数について2つ質問です。
1つ目
この関数はどのようなタイミングで呼ばれるのでしょうか。
2つ目
この関数の戻り値 Either [Text] [Text] 型の値（の [Text] の部分）に joinPath 関数が第3引数として適用されると考えて間違いないでしょうか。
56:デフォルトの名無しさん
15/04/13 22:36:15.84 fLjhhhkx.net
だからkenokabeはhaskellもocamlもmlもcoqもscalaも一行も書けないんだから
このスレや関数型の言語のスレには全く関係ないだろ
javascriptのスレでやれよ 彼はjavascriptしか書けんみたいだし
57:デフォルトの名無しさん
15/04/14 19:21:20.43 7ObaBR0M.net
君達は毛の壁を煽って何がしたいのだ。召喚したいのか？
58:デフォルトの名無しさん
15/04/14 22:39:30.34 hfFhnDD4.net
関数型コミュニティに対するポエムの続きが読みたいんでしょ
59:デフォルトの名無しさん
15/04/15 01:36:25.39 RG2QVuzc.net
ヲチスレでやってくれないかな
60:デフォルトの名無しさん
15/04/15 06:30:15.96 MJe1PTeI.net
おい、あの岡部健のアプリだぞｗｗｗｗ
URLﾘﾝｸ(www.appjenny.com)
61:デフォルトの名無しさん
15/04/15 06:31:39.99 MJe1PTeI.net
URLﾘﾝｸ(www.iphoneapp.xyz)
毛の壁のiOSアプリ、みんな使え～
62:デフォルトの名無しさん
15/04/15 10:01:46.78 wcd6okB3.net
あいつアプリ作ってたのか
objectivecできるのかあいつ？
63:デフォルトの名無しさん
15/04/15 11:14:04.24 32OEEOG2.net
>>60
なんで拡張子がapkなわけ？
64:デフォルトの名無しさん
15/04/15 14:35:06.68 zDoLrJPm.net
なんちゃって関数型クラスタども、これが世間だよ
URLﾘﾝｸ(twitter.com)
65:デフォルトの名無しさん
15/04/15 23:13:46.91 4gfphDFh.net
本屋に平積みにされてたら買っちゃう奴いそう
66:デフォルトの名無しさん
15/04/15 23:27:52.69 Q89pzmWa.net
まだ発売されていないのにいい本とかわかるのか？
67:デフォルトの名無しさん
15/04/16 05:47:12.05 J3guke8p.net
え！？もうreturnって書かなくていいの！？pureでいいの？
68:デフォルトの名無しさん
15/04/16 07:17:46.98 7jUqfvFj.net
スーパークラス化で感心するところそこなのかよwww
でもまあ、実のところリストの[]みたいに(pure a)を<a>と書けたりすると
Applicativeスタイルにはマッチすると思うんだけどな。
69:デフォルトの名無しさん
15/04/16 08:50:37.52 0XHfZc1W.net
毛の壁の事をよく知りたい方は、このまとめPDFもご覧ください。
nmuta.dip.jp/~muta/tog288.pdf
70:デフォルトの名無しさん
15/04/16 10:28:10.38 Uxi3XrZK.net
[WikiJA-l] Suisui氏より即時無期限ブロックを発動されたFXSTです
Ken OKABE xxxxxxxx ＠ xxxxx.xxx
2006年 9月 9日 (土) 17:31:10 UTC
URLﾘﾝｸ(lists.wikimedia.org)
71:デフォルトの名無しさん
15/04/16 22:13:00.24 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:デフォルトの名無しさん
15/04/16 22:25:21.10 9N3+Oa4T.net
>>70
ちなみに、本では構造を変換するとは書かれてなくて、
（インデックス計算するのではなく）行列それ自身を complete entity として扱う関数を定義する
と書かれていました。
しかし、言っている意味がよく分からず、実際にやっていたのが構造全体を組み替える処理だったので、
とりあえず >>69 のように捉えてみたしだいです。
73:デフォルトの名無しさん
15/04/16 23:22:05.24 3W63KRV6.net
鶏を裁くのに牛刀を用いるのがwholemeal approach。
最初に効率を一切考えない、正しい解法も含むがいらない処理も沢山してしまう解法を作り、
その後不要な計算をしないよう改良していく手法。
数独ソルバーなら、空欄に1-9の全てのパターンを網羅した9x9行列のリストを作り、
その中から数独のルールに適合するものを取り出す、という方法がスタートになる。
10^(空欄の数)のパターンを全て計算するのは現実的ではないから、必要ない計算をしないようにしていく。
URLﾘﾝｸ(www.cs.nott.ac.uk)
これがその本の元ネタでしょう。
74:デフォルトの名無しさん
15/04/16 23:41:27.15 C8wOR+dQ.net
牛刀の例えはネガティブなイメージ出ちゃうんじゃない？
文字通り全粒粉アプローチって訳せば、
最初はゴミ（モミとフスマ）だらけの全粒粉から開発スタートってイメージがわかるかと。
75:デフォルトの名無しさん
15/04/17 08:20:31.78 xoZHp2iY.net
1から9を繰り返し足していくのに、ループを使うような原始人から進化するべき
「アルゴリズム」「フロー」を捨てろ。
でないと関数型を追求することは不可能だよ
76:デフォルトの名無しさん
15/04/17 08:22:08.56 xoZHp2iY.net
「フロー」というものがプログラミングには不可欠だという固定観念を捨てなきゃ。
77:デフォルトの名無しさん
15/04/17 08:40:08.59 2I4pOBqW.net
>>72
完全に逆だ。
Huttonのそれが元ネタにしてるのが
Richard Birdの本なんだからな。
78:デフォルトの名無しさん
15/04/17 08:57:05.88 va7l7l3W.net
>>75
フローだのアルゴリズムだの、無い言語があるの？
79:デフォルトの名無しさん
15/04/17 09:07:42.22 IlVLp4fy.net
_＿＿
| 岡�
80:@| | 部 | | 家 | | 先 | | 祖 | | 代 | | 々 | ,,,. | 之 | ,'"';, ､''ﾞﾞ;､). | 墓 | ､''ﾞﾞ;､),､ ﾞ''!ﾘ'' i二二二二!ﾞ''l!ﾘ'''ﾞ ∥ ｀i二二二!´ ∥ 昌 |:￣￣￣￣:| 昌 |￣:|_|;;;l"二二ﾞﾞl;;|_|￣:| | :|::::::| |;;;;;;;;;;| |::::| :| | :|::::::|┌─┐|::::| :| ＿＿ .／ﾞﾞ└‐┴ ┴l,,,,,,,,,,l┴┴‐┘ﾞﾞﾞﾞ＼ ／￣ ＼ |￣￣￣￣￣￣￣￣￣￣￣￣￣| ～ ＆ | :::| ￣|三|三三|三三三三|三三|三|￣ ~ | 健 ::::| | |::: |: : : : |:: | | | ::::: | | |::: |: : : : |:: | | | ∬ ∬::| /＿|::: |: : : :.|:: :|＿ヽ |ii,,≦≧､ :ii :::| _|＿__|;;;;;;;;;;|,;,;,,,,,,,,,,,,,,,;,;,|;;;;;;;;;;|＿__|_ _ |旦∥===∥旦:| _ l;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;l -W-----┘二二二二二二二二二└--ff---\--
81:デフォルトの名無しさん
15/04/17 11:31:42.74 NBcEkCSw.net
Haskell というより英語の話。
Maybe aについて、 NothingはいいんですけどJust aの "Just" がどういう気持ちなのか
あんまりはっきり理解できていないのですが、みなさんどんなかんじですか？
Nothingじゃない方のコンストラクタに使う英単語として選定されたこのjustの（英語としての）意味はどんなもの？
82:デフォルトの名無しさん
15/04/17 13:15:32.90 ki8iVvfx.net
アルゴリズムもフローもいらんとなると、演繹というものが存在しなくなるんと違うか
83:デフォルトの名無しさん
15/04/17 13:17:48.16 H3Beje5C.net
やっぱり初心者にもはすける
ビジネスシーンにもはすけるだろう！
84:デフォルトの名無しさん
15/04/17 13:22:59.36 H3Beje5C.net
プログラミング初心者向けのhaskell本で
「はじめてのH」って本だれか書いて？
85:デフォルトの名無しさん
15/04/17 13:25:07.77 PzasXWb4.net
権威に泥を塗られたスピノザという被害者への憐憫は見過ごされがちだ
86:デフォルトの名無しさん
15/04/17 15:31:40.71 HcT4Z6BJ.net
>>79
「単なる～」とか「ただの～」みたいな意味では
URLﾘﾝｸ(ejje.weblio.jp)'s+just+a
87:デフォルトの名無しさん
15/04/17 16:31:48.10 nxIB1yc7.net
395 名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！ 2015/04/17(金) 07:14:27.41 ID:9SxWDYYT0
毛の壁初心者の方へ
現役の弁護士によるツイートをご覧ください
そしてＲＴを
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com)
88:デフォルトの名無しさん
15/04/17 17:31:36.64 1Smloeqb.net
>>84
もしかしたら～
から
まさに～
になるんだろ
89:デフォルトの名無しさん
15/04/17 18:19:06.44 s+nJaO1V.net
Just Systems
May-Be SOFT
90:デフォルトの名無しさん
15/04/17 20:44:35.19 PLmfZzGD.net
>>72 >>73
私の理解は全くの見当はずれでしたね。
本ではことさら indexing との対比が書かれていたので勘違いしてしまいました。
おかげさまで納得できました。
ありがとうございました。
91:デフォルトの名無しさん
15/04/18 01:23:36.46 cIanB9vz.net
他言語のdata Option a= Some a | None の方が馴染んでいるのは秘密
92:デフォルトの名無しさん
15/04/18 20:00:24.92 zBL4xnwg.net
417 名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！ 2015/04/18(土) 19:59:37.86 ID:LNSLKYsZ0
岡部ちゃんのブログ更新
URLﾘﾝｸ(kenokabe-techwriting.blogspot.jp)
あらら、手抜きコピペの再利用ですね。
一つ前の記事に後悔しちゃって、消すことも出来ないので「目立たなくするように」するためかな？
岡部ちゃんさ、「すでに【脱アルゴリズム宣言】シリーズで述べたように、」
ってあるけど、それはどこを参照すれば良いのかな？（爆笑）
コピペリサイクル記事でもさ、せめて、この程度の修正はしようぜ？
93:デフォルトの名無しさん
15/04/19 12:21:14.03 BDx+P9mq.net
原発コピペが去ったと思ったら入れ替わりで毛の壁が来たな
94:79
15/04/19 14:41:18.79 pB/4TY1x.net
>>84 反応ありがとうございます。なんか「なんにもない」と「単に5!!!」がやっぱりしっくりこないんですよねえ…
もう少し訓練をつんでみます
95:デフォルトの名無しさん
15/04/19 19:25:20.36 TqE05fjB.net
>>92
Intが入っているかもしれない箱を渡されて、開けたら中身が
「なんにもない」
「ちょうど5」
なだけだろ。なんでそれがしっくりこないのかこそがわからんわ。
96:デフォルトの名無しさん
15/04/19 19:44:35.88 g7ko6rYD.net
Justって言葉がしっくりくるかこないかは人の感覚次第だろう
自分もHaskellの文法だからってのを忘れたとすると
Maybeの中身がNothingかJust xだというのはいいとして
xをMaybeにするためにJust xってするのはもやっとする
97:デフォルトの名無しさん
15/04/19 19:47:51.06 HUQoVR+2.net
紛れもない
98:デフォルトの名無しさん
15/04/19 19:49:46.90 HUQoVR+2.net
分かった。Obvios a に変えよう
99:デフォルトの名無しさん
15/04/19 19:56:54.50 bs5hwhjS.net
>>93
そこで「ちょうど」と言うのがしっくりこないのかと。
日本人ならその状況で「ちょうど5」とは言わず、単に「5」と言う。
「ちょうど5」と言うと、では、ちょうどではない曖昧な5もあるのか、
という事になりかねない。
まぁ、Haskell だと何らかの値構築子が必要なわけで、
Just 以外ならどんな名前にするかと訊かれると、返答に困るが・・・
>>96 は冗談だろ
100:デフォルトの名無しさん
15/04/19 20:33:51.59 TqE05fjB.net
>>97
Maybeが曖昧で、それを無曖昧化した結果がNothingかJust xなんだから、
まさにJustでいいんだ、というのが命名者の発想だろ。
Justの代わりにSomeの方が日本人にはわかんないんじゃないの？
「なし None」と「なんらかの・ある Some」って語感がわかるならいいけど。
101:デフォルトの名無しさん
15/04/19 21:03:30.47 bs5hwhjS.net
>>98
なるほどね。
ちょうどなんて言うからヘンなんだよな。
まさにって言えば俺もしっくりきた。
って >>86 でもう出てたんだね、ごめんよ。
102:デフォルトの名無しさん
15/04/20 01:17:23.81 6TQJBTny.net
Boostライブラリのプログレスバーの存在意義を論ずるような真似をいつまで続ける気だ
103:デフォルトの名無しさん
15/04/20 01:58:55.74 pO1ymbwK.net
本筋でないつまらないことで盛り上がって何かした気になる
よくある
104:デフォルトの名無しさん
15/04/20 09:54:07.62 HQWDK9Be.net
cf. 自転車置き場の議論
105:デフォルトの名無しさん
15/04/20 13:03:15.78 u7LO/gCX.net
Parsecとかでも時々ん？ってなるネーミングはある
Haskellだと関数だけじゃなくて型コンストラクタたったりフィールドだったり識別するものが増えるからネーミングが余計に気になるのかも
106:デフォルトの名無しさん
15/04/20 14:38:09.34 2eevj3Zk.net
Spinozaは確かに使える。可能性を感じた。
107:デフォルトの名無しさん
15/04/20 16:43:11.52 0hSvk0Oi.net
緑の害虫には一生つきまとってやる。
108:デフォルトの名無しさん
15/04/22 08:19:49.68 GJyQGfm3.net
毛の壁の過去
URLﾘﾝｸ(netbmari.seesaa.net)
109:デフォルトの名無しさん
15/04/22 20:54:17.76 NZ8QzlQ5.net
☆ 日本の核ブ装は絶対に必須ですわ。☆
URLﾘﾝｸ(www.soumu.go.jp)
☆ 日本国民の皆様方、2016年7月の『第２４回 参議院選挙』で、改憲の参議院議員が
3分の2以上を超えると改憲が実現します。皆様方、必ず投票に自ら足を運んでください。
私たちの『日本国憲法』を絶対に改正しましょう。☆
110:デフォルトの名無しさん
15/04/23 07:36:47.21 6rGfWaSo.net
毛の壁本
今日本屋に並ぶらしいですよ
111:デフォルトの名無しさん
15/04/23 08:24:55.14 /Z6TrNg2.net
どんどん広まって、UCLAを卒業したという学歴詐称も広まってほしい
112:デフォルトの名無しさん
15/04/23 09:10:23.02 sxaJ1zhu.net
増田の岡部関連の書き込み、かなり削除されてるなww
岡部もやることが小さいなww
113:デフォルトの名無しさん
15/04/23 21:20:22.01 LeResooG.net
何が始まるんです？
114:デフォルトの名無しさん
15/04/24 12:58:05.70 v3IT9RWU.net
おいこら、らくだの卯之助よ。
岡部健氏とスキルで勝てるんか？勝負しろや。逃げんな
115:デフォルトの名無しさん
15/04/24 13:02:06.09 /IU9j/kd.net
コンパイラもマトモに書けない健チャソが
OCamlの文法とコンパイラ拡張してラベル付き
引数持ちこんだ駱駝にどうやって勝てるんだwww
116:デフォルトの名無しさん
15/04/24 15:02:59.72 sR1g6M3b.net
粘着軍はこんなスレまで立てたのか(呆)
117:デフォルトの名無しさん
15/04/25 10:17:48.89 zFI89MHg.net
アプリカティブうんちしてくる
118:デフォルトの名無しさん
15/04/25 14:48:52.43 /My2uXcp.net
URLﾘﾝｸ(www.amazon.co.jp)
Amazonでベストセラー１位じゃん
実は人気あるんだな
119:デフォルトの名無しさん
15/04/25 14:56:53.67 IIQtsCT+.net
彼はiOSの出来損ないアプリに、当然のようについた低評価のレビューを片っ端から削除した前科がある。
だから、アマゾンの書評も「これは誹謗中傷目的の不当な評価である」と逃げを打つのは既定路線。
120:デフォルトの名無しさん
15/04/25 16:05:32.13 iXjJJv3p.net
スレチ状態が続きすぎて諦めてるけど
お前らもしレビューを書くならあくまで真面目にな
中途半端に絡むなよ
121:デフォルトの名無しさん
15/04/25 16:32:38.19 K9QmTshb.net
わろ
122:デフォルトの名無しさん
15/04/25 19:00:18.52 1G6YdpRM.net
App Storeで「青空文庫を読む」というバグだらけのアプリに低評価なコメントされて逆切れし、
「これは誹謗中傷目的だから削除します」とのたまって本当に削除した岡部健だから、
今回のアマゾンとかの低評価も「陰謀だ」と言い出すのはわかりきってる。
過去にはこんなことをやってた。
URLﾘﾝｸ(u1sokuhou) .ldblog.jp/archives/50346264.html
123:デフォルトの名無しさん
15/04/25 21:32:07.54 gdfW3sMF.net
レビューはどうでもいいからこのスレで絡まないでくれ
バカが自分の通用する場だと勘違いする
124:デフォルトの名無しさん
15/04/25 21:49:40.65 pGkm3L04.net
粘着軍どもが岡部氏を中傷する目的で立てたスレだから言っても無駄ですよ。
125:デフォルトの名無しさん
15/04/25 22:03:21.14 QkVyrL7g.net
岡部、今度はAmazonで演説し始めたぞ
URLﾘﾝｸ(twitter.com)
126:デフォルトの名無しさん
15/04/25 22:50:49.29 UUGDuW98.net
岡部健っていう奴、どういう経歴なの？
数学系や情報工学系の由緒正しい経歴じゃないっぽい雰囲気。
文系から来たタイプか？
127:デフォルトの名無しさん
15/04/25 23:52:39.20 eYc1bK/z.net
毛の壁10連ガチャとか作った奴誰だよ
128:デフォルトの名無しさん
15/04/25 23:53:42.91 /Lz62wVI.net
>>124
GOOGLE+のプロフィール参照な。
129:デフォルトの名無しさん
15/04/26 00:03:48.04 Kxjo5Nwd.net
そういえば古賀潤一郎がカリフォルニア大学ロサンゼルス校出身と自己紹介していたが、後に学歴詐称だと分かった事件があったね。
130:デフォルトの名無しさん
15/04/26 00:04:26.53 Kxjo5Nwd.net
そもそも岡部健という人物は本当にいるの？
131:デフォルトの名無しさん
15/04/26 03:03:37.91 ous7Nrql.net
Haskell界隈の閉鎖性を良く現している書き込みばっかりだな
別にいいじゃん、初学者が興味持ってくれて知名度上がれば
＞数学系や情報工学系の由緒正しい経歴じゃないっぽい雰囲気。
こういう難癖ってなんだろうね？
「数学ガール」の人気みて結城浩は数学科じゃない、論文書いてない、
博士号持ってない、とか難癖付けてる数学板の野良博士みたい。
出る杭は打たないと気がすまない。
そんなに岡部健に嫉妬するなら自分で良い入門書の一つも書けばいいのに
132:デフォルトの名無しさん
15/04/26 03:38:52.12 oJFxipXn.net
確かに、由緒正しい経歴である必要なんて全くない。
そんなこと言う奴は一人か二人では。
学歴なんか、どうでもいい。博士号なんて無くてもいい。
ただし、それは卒業してもいない学校を卒業したとフカシこくことを肯定するものではないことは、ハッキリさせておこうぜ。
133:デフォルトの名無しさん
15/04/26 03:40:16.55 oJFxipXn.net
というか、Haskell界隈であろうがなかろうが一匹や二匹は学歴至上主義みたいな奴は居るだろうよ
134:デフォルトの名無しさん
15/04/26 05:57:02.15 A1wpxgFi.net
荒らしの立てたスレ使ってるから調子に乗って荒らしが尽きない
こっちに移ろう
ｽﾚﾘﾝｸ(tech板)
135:デフォルトの名無しさん
15/04/26 05:59:50.39 3IjwcVse.net
それは２ちゃんねるのローカルルール的よろしくないな。
136:デフォルトの名無しさん
15/04/26 09:08:11.44 fRwOzUF5.net
ヲチスレでやれ、としか言い様がない。
１．kenokabeはJavaScriptしか書けないんだし、
２．関数プログラミングができないのもGithubみりゃ明らか。
Haskellスレでやる理由がどこにもない。
137:デフォルトの名無しさん
15/04/26 12:16:02.26 Kxjo5Nwd.net
>>131
学歴は重要じゃないよ。
しかし、基礎が分かっているかどうかを重視する上で、
独学で基礎が学べるかどうか考えたら、
なかなか難しいんじゃないかと考えるわけで・・・
138:デフォルトの名無しさん
15/04/26 12:17:32.56 Kxjo5Nwd.net
大学や大学院で受ける指導っていうのは、決して興味がある内容ばかりではないよ。
しかし、後にそれが基礎として重要だということに気づくわけ。
独学では興味が湧いたことしか勉強しないでしょ？
だから、独学はダメなんだよ。
139:デフォルトの名無しさん
15/04/26 12:33:02.08 YzZ8BmuQ.net
学問上の隠語を習得するには大学へ行くしかないが
そんな隠語で学問を囲って利権化したまま放置する態度が学者失格だとも言える
140:デフォルトの名無しさん
15/04/26 12:58:53.94 Kxjo5Nwd.net
隠語というか、専門用語は重要だよ。
概念の検索性を高める。
141:デフォルトの名無しさん
15/04/26 13:03:30.55 EksjvuLr.net
>>135
>しかし、基礎が分かっているかどうかを重視する上で、
>独学で基礎が学べるかどうか考えたら、
>なかなか難しいんじゃないかと考えるわけで・・・
学歴がある種のシグナリングになることは同意する
また学歴によるフィルターが結構実社会で有効と感じることが多い
大学や（高校でも）学んだ基礎ことは重要だと思う
でもさあ、相手が「わかってる」かどうか相手の学歴を見ないと判断できない、
って特にこの業界では役に立たないというか、結構無能じゃね（笑）
142:デフォルトの名無しさん
15/04/26 13:05:35.85 fCruzWL4.net
無能というより完全に有害
143:デフォルトの名無しさん
15/04/26 13:07:54.07 Kxjo5Nwd.net
>>139
なんとか健の本を読んだだけで、そいつがバカだと判断するのに十分だと言いたいわけね
144:デフォルトの名無しさん
15/04/26 13:36:15.63 A1wpxgFi.net
教育で得た正しさを使ってその正しさを証明する者と他の正しさを探す者がいる
前者はいかにも知識と教養にあふれているように見えるが
実際はエネルギーを消費するだけで何も生み出さないトートロジーである
145:デフォルトの名無しさん
15/04/26 13:42:11.12 2npT22yp.net
>>142
正しいことと証明できることとは別、という常識からすると、貴様の意見には同意しかねる
146:デフォルトの名無しさん
15/04/26 15:32:45.74 qgRFfbK0.net
岡部健はUCLAを仮にも卒業してるのだから、素養はあるんだろうさ。
C言語も実はできるのでは。
147:デフォルトの名無しさん
15/04/26 15:49:33.72 2npT22yp.net
コードを見ないことにはなんとも
148:デフォルトの名無しさん
15/04/26 16:54:25.20 L5p6tnBd.net
学歴が無いことは何も恥ではない。
恥なのは学歴を偽ることだ。
149:デフォルトの名無しさん
15/04/26 17:38:00.48 YIE+qGwA.net
あの文章でどうやってUCLAを卒業まで持っていけるんだ？
150:デフォルトの名無しさん
15/04/26 17:39:27.89 YIE+qGwA.net
本当にアメリカの大学をCSで卒業してるんなら、一人や二人はFBやTwitterで仲間との交流ぐらいあるだろうよ。
それが無いんだよ。学歴詐称に決まってるだろ。
151:デフォルトの名無しさん
15/04/26 19:34:37.24 JgRuu/Q5.net
駱駝とハムに比べたら岡部氏はもっと格上
152:デフォルトの名無しさん
15/04/26 20:45:41.96 e4tIRRVz.net
バックに何か付いてるのかな
153:デフォルトの名無しさん
15/04/26 20:55:12.20 Ql5jpImz.net
おまえらHaskellの話しろよ
154:デフォルトの名無しさん
15/04/26 21:05:58.90 KkAjQB1e.net
HaskellPlamform更新ﾏﾀﾞｰ
155:小保方晴子
15/04/26 22:23:21.53 CWSeILxV.net
まあ、私はちっとも驚きませんけどね。
２ちゃんねるでさんざん自作自演してる彼ですから。
156:デフォルトの名無しさん
15/04/26 22:54:30.08 GWsv7xfi.net
関数合成 (.) に関して一般的に交換法則は成り立ちませんが、
f . g の f や g によっては交換できる場合もあります。
交換法則が成り立つ必要十分条件はありますか？
157:デフォルトの名無しさん
15/04/27 07:49:04.83 wSLTFIGd.net
先ずプログラミング未経験の奴はソースコードをUTF-8で書けと言われても解らない
UTF-8で書くことを覚えてもターミナルの表示をUTF-8対応にできない
Shift-JISで日本語書き込んで詰む
そもそもターミナルなんて嫌でとっととグイアプリ作りたいのになんでターミナルで躓かなきゃならないんだとずぶ濡れの犬のような気持ちになる
もうややこしやといって敬遠する
このことが地味にHaskellへの新規流入を妨げている
158:デフォルトの名無しさん
15/04/27 08:14:27.11 7D8wCJnI.net
webブラウザで動いてjsの代わりになれば人気出るね
159:デフォルトの名無しさん
15/04/27 09:14:07.62 DOff7EOW.net
みんな考えることは同じ
URLﾘﾝｸ(qiita.com)
160:デフォルトの名無しさん
15/04/27 16:49:31.50 4SSIO0jR.net
>>151
するようなネタが全くないわけでして。
161:154
15/04/27 18:00:15.79 bzdehbpG.net
>>154
レスが付かないようなので、もう少し特定の場合に
162:絞ります。 ツリーやリスト、配列など、何らかの構造を持ったデータ型があるとします。 そのデータ型は構造の形と、その内容（ツリーの葉やリストの要素など）との組によって成ると考えられます。 このとき、内容に依存せずに構造の形を変える関数と、 構造の形を変えずに内容を変える関数とは、関数合成において可換です。 直感的には確かにこうなるとは分かるのですが、 なぜこれが成り立つのか、どのような構造のデータ型でも成り立つのか、 と問われると自信がありません。 このようなことに関して論じた論文やWebコンテンツ、書籍などはないでしょうか。
163:デフォルトの名無しさん
15/04/27 18:50:32.65 LJFJeOKy.net
URLﾘﾝｸ(twitter.com)
164:デフォルトの名無しさん
15/04/27 19:31:11.59 VB3BB2rW.net
haskellのはなしされても困る
難しいし
165:デフォルトの名無しさん
15/04/28 02:32:49.94 Vr1PFukf.net
イカ娘という藁人形くんは藁人形過ぎんべ。
166:デフォルトの名無しさん
15/04/28 02:48:39.41 Teqnn2Le.net
>>159
共役(conjugate)という概念が近い気がする
具体例としてはこんなの
URLﾘﾝｸ(ja.wikipedia.org)
今の話に連続性とかは全然要らないからもっと抽象化されたいい定義もあると思うんだけど
詳しくないのでこのくらいしか示せない
167:デフォルトの名無しさん
15/04/28 08:05:09.36 CdNtmvFe.net
177 ：名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！：2015/04/27(月) 18:37:49.73 ID:0nb1+zzF0
岡部によるMINIX談義
URLﾘﾝｸ(twitter.com)
168:デフォルトの名無しさん
15/04/28 12:09:01.30 xSgyLvy4.net
>>164
くっそwww
169:デフォルトの名無しさん
15/04/28 12:14:10.41 pmMjJKEE.net
ナベくんはやっぱり敵に回すと怖いことを再確認w
一応フォローを一時的に外しておいて良かったわww
170:デフォルトの名無しさん
15/04/28 14:13:57.53 8LxH1Yrp.net
>>159
何をきっかけに考え始めたの？
自然変換や多相関数っていうのは知ってるんだよね？
171:154
15/04/28 18:04:05.29 W3D8VZu+.net
>>163
ありがとうございます。
想像していたのとはちょっと違って抽象度が高そうですが、
がんばって学んでみます。
>>167
考え始めたきっかけは最適化です。
ポイントフリーで記述していた式の中で、たまたま2つの関数が
関数合成に関して可換なのに気づいたので交換してみたら、
交換後に隣同士になった関数同士が融合できて最適化できました。
その時は本当に偶然見つけたのですが、もっと効率よく発見できないかと思い質問しました。
条件が分かれば悩まなくて済み、また勘違いで交換してしまうこともなくなります。
Haskell のデータ値はすべて抽象構文木で表せるので、
その形や変換する部分木の位置などに依るのかなと思っていましたが、
圏論の話が出てくるのは予想外でした。
自然関数は名前だけは知ってます（内容は未学習）。
多相関数は要するに型シグネチャに型変数を含む関数ですよね。
172:デフォルトの名無しさん
15/04/28 18:49:24.22 s9k+iiT5.net
>>168
何らかの多相型をMとおいたとき、f : a -> bなる関数をmapで持ち上げたmap f : M a -> M bというと、
多相性を持ったまま何らかの操作を行う関数tx : forall a. M a -> M aは可換である、ということはなんとなく分かる。
多分、証明もできる。
もっと緩い条件もあるかもしれないけど、型レベルだとこの程度しか言えないんじゃないか？
173:デフォルトの名無しさん
15/04/28 22:38:28.56 8LxH1Yrp.net
>>168
自然関数じゃなくて自然変換だよｗ
自然変換はほぼ多相関数と同義で、
あなたのいう「内容に依存せずに構造の形を変える関数」のこと
だから名前だけ知ってるじゃなくてちょっと中身も見てみたら
まあ>>169の言う結果になると思うが
174:デフォルトの名無しさん
15/04/28 23:26:28.54 W3D8VZu+.net
>>169
>>170
すいません、自然関数はただの書き損じです。
ちょっとかじる程度では全く理解できないので自然変換についてちゃんと学びたいのですが、
Wikipedia のような辞書ではなく、ステップアップで学べるようなもので、
おすすめの書籍やサイトはありますか？
175:デフォルトの名無しさん
15/04/30 12:52:33.36 XY0F0CkV.net
>>171
URLﾘﾝｸ(nineties.github.io)
最近見てなかったけどマメに手が入ってる、尊い...拝掌
176:デフォルトの名無しさん
15/04/30 14:12:01.94 XY0F0CkV.net
すいません拝掌は書き損じです＞＜
177:デフォルトの名無しさん
15/04/30 20:39:45.77 Y/GqQ0EE.net
不正なノイズ
178:デフォルトの名無しさん
15/05/01 04:56:54.76 fVuNknYg.net
668 悶絶青年スエナガ ◆nHX7uJrJYv2Z 2015/04/30(木) 22:47:23.36 ID:Z5XSNckF0
皆さん、わかってないでつね( ﾟ∀ﾟ)
彼は自作自演レビューについて、Twitterやここで騒がれていることについては、
「知らなかった」という筋書きにするつもりなんでつよ・・・・
そう、彼はTwitterや2chなんて見ていない、という「設定」を今、作り上げているのでつ( ﾟ∀ﾟ)
その証拠に、いつもは瞬間湯沸かし器のようにTwitterに反応する彼が、今回は一切反応してませんwwwww
彼なりに、「必死に、必死に、必死になってガマン・ガマン・ガマン」してるのでつ( ﾟ∀ﾟ)
反応してしまったら、Twitterをエゴサーチしていることがバレますから、
「アマゾンレビューで自演していた」ことが噂になってることを知らなかったことには出来ませんからねwwwwww
彼は後になって「え？そんなことが話題になってたの？僕は知らない」と言うために必死になって今は耐えているのでつよwwwww
179:不明なデバイスさん
15/05/01 07:51:16.60 bd+SwLlp.net
まじで興味ないんだけど
何で反応する人がいるんだろ
180:デフォルトの名無しさん
15/05/01 08:35:11.62 eutNCxIi.net
興味あるからじゃね？
181:デフォルトの名無しさん
15/05/01 17:47:37.74 F/SXJcEE.net
>>172
スライドを紹介していただいたこと自体には感謝の気持ちはあるのですが、
お礼を言う気分になれません。
このようなタイミングで言い方をそっくり真似されるのは、
小馬鹿にされたようで、あまり気分の良いものではありません。
182:デフォルトの名無しさん
15/05/01 18:32:23.93 bZSKV+U3.net
URLﾘﾝｸ(shindanmaker.com)
毛の壁うらない、おまえらもやれよ
183:デフォルトの名無しさん
15/05/02 02:10:23.61 jinFEowY.net
Haskellの考案者が亡くなったと聞いて駆けつけました
184:デフォルトの名無しさん
15/05/02 09:56:16.48 X3dtRZ+Y.net
どこでそんな情報が出ていたんだ？
185:デフォルトの名無しさん
15/05/02 13:00:24.67 5Y45W3x5.net
>>181
URLﾘﾝｸ(www.reddit.com)
186:デフォルトの名無しさん
15/05/02 20:43:21.60 xs/LOAyd.net
30分くらい喪に服せよ
187:デフォルトの名無しさん
15/05/02 21:47:06.15 R1nes/uM.net
訃報: Haskell設計者Paul Hudak氏
URLﾘﾝｸ(developers.slashdot.jp)
スラドでも取り上げれられてた
188: ◆C93WWgXd.E
15/05/05 07:12:28.31 rJmUZz/a.net
おら、自作自演レビュー失敗野郎
ホモの岡部！かかってこんかい
189:デフォルトの名無しさん
15/05/05 16:26:05.11 NTx27ZOo.net
>>184
コレでこの言語もおしまいだね
190:デフォルトの名無しさん
15/05/06 13:13:54.56 d4s5gCSo.net
せやろか
191:デフォルトの名無しさん
15/05/06 18:51:40.54 lCIkxTrL.net
しょぼい質問ですまないが、
foldって多相関数？
192:デフォルトの名無しさん
15/05/06 19:02:30.29 x2IHNZjz.net
foldl :: (a -> b -> a) -> a -> [b] -> a
aとbは普遍量化されている。
193:デフォルトの名無しさん
15/05/06 19:15:58.04 lCIkxTrL.net
ということは、foldって自然変換であって自然性条件を満たしている？
foldの自然性条件がどんなものか想像できないんだ
194:デフォルトの名無しさん
15/05/06 19:18:01.71 x2IHNZjz.net
>>190
Foldable型クラスについて考えたら？
195:デフォルトの名無しさん
15/05/06 22:41:12.83 lCIkxTrL.net
>>192
もう少しヒントをくれないか
196:デフォルトの名無しさん
15/05/07 01:26:31.87 LlwVP2OT.net
自己解決キタ━━━(ﾟ∀ﾟ)━━━ ！！！！
197:デフォルトの名無しさん
15/05/07 07:42:17.64 lfcx6TTy.net
学歴欄に注目。
3年前は「卒業」という文言があったが、今では無くなっている。
118 ：名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！：2015/05/07(木) 01:21:47.78 ID:gZ11Gp/P0
みなさん、この画像をダウンロードしてみてください。
URLﾘﾝｸ(twitter.yfrog.com)
（「Download this image」というボタンをクリック）
彼はかつて、Google+ではUCLA卒業と記載していたのが、現在では消えています。
198:デフォルトの名無しさん
15/05/07 23:33:22.66 zMQZR1+Z.net
一度自演してしまうと以降のそれっぽいだけの書き込みまで自演にしか見えなくなる
・・・加勢せざるを得ない人は自演に見えてしまうだけで自演じゃないんだよね？
199:デフォルトの名無しさん
15/05/07 23:44:18.25 SJ9cQ9MA.net
スレチ
200:デフォルトの名無しさん
15/05/08 15:20:28.66 2DPjDbBn.net
毛の壁の顔おもしろすぐる
201:デフォルトの名無しさん
15/05/08 19:12:29.86 Wsgktw33.net
身なりや人格批判ではなく専門分野の知識のみに対して攻撃していこうな
202:デフォルトの名無しさん
15/05/08 19:17:35.45 ZHeXF73S.net
いいえそいつに関する全話題がスレ違いです
203:デフォルトの名無しさん
15/05/08 22:15:32.46 Ewa40zmC.net
身なりや人格批判なんて、全体の何％あるんだ？
大半は記事の批判してると思うが
204:岡部健一
15/05/08 23:50:43.90 Tc9eNMtd.net
fx-toushi.jp/blog-entry-31.html
更新
205:デフォルトの名無しさん
15/05/09 06:13:42.20 R7pPsL7j.net
何年か前にこのスレでお勧めされてたhaskellの教科書のコードが
最近のGHCで動かなかったんだけどhaskellってそういうものなの？
206:デフォルトの名無しさん
15/05/09 08:35:23.33 Bw82nfhw.net
>>202
コード貼ってみ
207:デフォルトの名無しさん
15/05/09 09:03:40.24 v8DO1laq.net
どんなコードが動かないのか言ってくれないと
互換性100%保って開発されてる言語なんてほぼないでしょ
としか言えない
208:デフォルトの名無しさん
15/05/09 10:57:45.25 3DvLgZhI.net
n-kのやつでは？
大概の言語は互換性を可能な限り保存するけど
Haskellは割とバッサリオプション扱いしちゃうよね。
209:デフォルトの名無しさん
15/05/09 11:30:54.68 bNXnXiFr.net
実験言語の宿命ですわ
使うならHaskellと心中する気で使わないと
210:デフォルトの名無しさん
15/05/10 19:54:16.77 vvnbmxfh.net
LXRとかopengrokとかgonzuiとか、cross referencerと言うのでしょか、
ソースコード見る時にタグづけ・リンク付けしてくれる便利なのがあるけど、
Haskellのソースにつかえるものって何かありませんか
211:デフォルトの名無しさん
15/05/11 07:33:17.87 XnQMQgf4.net
URLﾘﾝｸ(qiita.com)
ある種の書籍にみられるAmazonレビューコメント評価の傾向
URLﾘﾝｸ(qiita.com)
『関数型プログラミングに目覚めた！』のレビュー（Day-2）
212:デフォルトの名無しさん
15/05/11 09:40:29.74 OkrNXSSQ.net
査読が機能してない出版業界ってもうダメかもわからんね
we reject kenokabe
213:デフォルトの名無しさん
15/05/11 17:08:39.11 rqU23QV5.net
最近のレビューは商売レビュー屋が書くので当てにならない
214:デフォルトの名無しさん
15/05/11 18:07:53.13 fXdd85Lw.net
本屋にたくさん平積みしていたよ‥世紀末だね‥
215:デフォルトの名無しさん
15/05/11 20:54:00.11 tVwc5MX9.net
毛の壁は張角
IQ本は太平妖術三巻の内の一巻
216:岡部健
15/05/13 13:19:35.89 7n8Agdd+.net
ボレロ、おまえは間違ってる。圏論の理解も間違ってる
217:デフォルトの名無しさん
15/05/13 14:09:57.50 8NL6fUzR.net
cabalバージョン違いのパッケージ共存できないのか
サンドバックって付け焼刃みたいな対応とか、cabalがクソ過ぎる
と思ってぐぐるとcabal hellとか出てくるしorz
218:デフォルトの名無しさん
15/05/13 16:04:09.96 ll6glzrw.net
結局人力でパッケージ管理とか何のためのcabalか分からなくなってくる
219:デフォルトの名無しさん
15/05/13 18:24:31.35 ONEyRCsc.net
DRYとかいう不気味の谷
全然違うパッケージの共存は許すが殆ど同じものは許さない
220:デフォルトの名無しさん
15/05/13 18:42:00.16 L4VSJ4+X.net
ボレロ有名だったのか。Twitterでフォローしてたけど
221:デフォルトの名無しさん
15/05/13 19:02:14.28 TGVGO327.net
つまらん揚げ足取りで岡部さんのエネルギを浪費させるのはやめてくれ。
あんな話をしてくれる人は他にいないんだから。
仙台のなんとか先生の話はもういいよ。つまらんから。
222:デフォルトの名無しさん
15/05/13 19:30:03.41 1/KrX9dS.net
ボレロって何？
223:デフォルトの名無しさん
15/05/13 23:09:50.99 4wfpqqcc.net
>>219
厨二じゃない人だと思います。
224:デフォルトの名無しさん
15/05/14 07:35:02.35 YnCF7Vuv.net
862 ：名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！：2015/05/14(木) 07:07:10.96 ID:SRiT9Cuo0
勘違いしてる奴が非常に多いが、岡部がQiitaを除名されたのは、
言説の怪しさではない。
個人情報の暴露を含んだ誹謗中傷をしたから。
これが全て。
直ぐに消されたから、知らないんだろうな。
863 ：名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！：2015/05/14(木) 07:09:53.94 ID:SRiT9Cuo0
「記事を丸ごと消してコメントを削除」するということを繰り返していたことは、
運営に睨まれる要因ではあったが、除名されたのは、
「誹謗中傷行為を繰り返したがら」。
これ、大事なことなので忘れないように。
225:デフォルトの名無しさん
15/05/14 18:54:37.99 PqTHUvj6.net
kenokabeは爬虫類
226:デフォルトの名無しさん
15/05/14 23:48:35.62 PU6/Ufkb.net
粘着軍は黒光りする昆虫
227:デフォルトの名無しさん
15/05/16 05:26:51.08 f/6HmmLw.net
岡部が言ってるだけなのに、なんであんなに関数業界の人は必死になってんの？
関数業界の人は一般的なニーズと乖離した所ばかり掘ってるよ。
一般的なニーズは、関数型プログラミングでは、どういう成果物が効率よく作れるのか
という実用部分であって、瑣末な部分の理論の正否なんて気にしてないんだよ。
岡部の本に間違いがあるかどうかはともかく、大枠で方向性を示したことは評価できると
思うんだけどな。その辺がわかってないよな。
228:デフォルトの名無しさん
15/05/16 11:10:08.35 m17hPiVk.net
オブジェクト指向が衰退したんじゃないかな
今ならOOを倒せるっぽいしその中心にいる人物は英雄になれる
OO全盛期には必死に逆張りしても骨折り損だったが今は違う
229:デフォルトの名無しさん
15/05/16 11:15:10.46 BDaO4G29.net
40台でもう後がない岡部にとってはワンチャンなんでしょ
OO叩きはいい看板なんだよ
230:デフォルトの名無しさん
15/05/16 11:47:43.20 SD2VGHuN.net
ぶっちゃけHaskellもLispと一緒で主流にはなれないでしょ
231:デフォルトの名無しさん
15/05/16 13:17:28.79 cTE7t72a.net
スピノザならあるいは・・・・。
232:デフォルトの名無しさん
15/05/16 13:35:34.95 ucBctojg.net
>>224 >>225
その通り
233:デフォルトの名無しさん
15/05/16 15:58:34.07 Lio5eCYO.net
いくらなんでも自演バレバレだろうがよ
バレてないとでも思ってんのかね
234:デフォルトの名無しさん
15/05/16 17:29:33.32 1wcuMTJn.net
関数型 vs ＯＯという対立図式の方が売り込みやすい。マーケティングの
事がわかってない連中だけが騒いでる。ま、炎上して注目されるという
意味では悪い話ではないんだが。
235:デフォルトの名無しさん
15/05/16 20:47:21.57 m17hPiVk.net
多くの人にとって重要なのは対立することではなく簡単に勝てること
つまり逆張りしないことだ
236:デフォルトの名無しさん
15/05/16 20:52:20.70 SD2VGHuN.net
基地外が基地外理論喚いてるならほっとけばいいのに
コミュニティ(笑)の為にとか
発 者 同 . ｡_ ____ 争
生 同 .じ . /´ | (ゝ___) い
.し 士 .レ .__／'r-┴<ゝi,,ノ ro､ は、
.な で .ベ ∠ゝ (ゝ.／/｀ ./｀| }⌒j
.い し .ル } ⌒ ／｀ヽ､_∠l,ノ ・ヽ´
.! ! か の / ´..:.} ＞､､___, .r､ ｿ､｀＼
/ ..:.:.} / |∨ ｀￣
／ ..:.:./ | 丶
/ ＿､ ..:.:.:.{ .{.:.:. ＼
{ ..:Y .ゝ､ {.:.:.:.:. ヽ
|､ ..:/ 丿 .:〉 >.- ⌒ . ヽ
/ {. ..:./ ｿ ..:./ .( ..:.:.:｀ ..:}
./..:.:}.:.:./ ヘ､ ..:./ .＼ ..:.:r＿,ノ､.:.:}
./..:.:/|.:/ {.:./ X.:.:}.} X X
/..:.:/ .}.:| }:/ .Y丶ヽ Y.:Y
. ＿＿／.:／ { } 《.〈､ ＿,,__>.:》丶 Y.:＼
／.:.:.:.:.::／ !.:.:ゝ ゝ.:.￣ヾ ´:.:.:.:.:.:.:.:.:ヾゝ ＼.:￣＞
237:デフォルトの名無しさん
15/05/16 21:25:10.08 m8m9+RQQ.net
実際にQiitaとgoogle検索結果が汚染されたのは事実。
ここでkenokabe擁護？のような真似事している奴も中身について何も言及しないのも事実(>>224)。大枠って何？
日に何度か、書き捨てのようなレスをして荒らしている奴がいるのは事実。
物理板の荒れ方とよく似ているので、よく似た症状の患者がいるのだと推測。
238:デフォルトの名無しさん
15/05/16 22:53:41.06 1wcuMTJn.net
汚染厨来たなｗ
検索結果に文句があるなら、グーグルをdisるしかねぇだろ。
実は、グーグル先生のアルゴリズムでは、騒げば騒ぐほど検索上位になるんだぜ。
あと、qiitaの勝手管理者みたいな真似せず、君らが、独自にブログサービスでも
百科事典でも何でも作ればいいんだよ。人気が全く出ないだろうけど。
それに、無料で使わせてもらってるんだから、管理会社に迷惑かけるなよ。君ら
何様のつもりみたいな傲慢な人が関数界隈には多すぎる。
君らみたいなのが、初心者を遠ざけてしまい、イマイチ人気出ないんだよね。
ちょっとでも間違いがあると、人格まで全否定みたいな極端な奴が多い印象。
239:デフォルトの名無しさん
15/05/16 23:05:15.74 SD2VGHuN.net
まあGoogleが汚れるのはGoogleの責任だしQiitaが汚れるのはQiitaの責任だよな
例のアレが基地外なのは疑い様のない事実ではあるけども自称関数型コミュニティの識者()も勘弁してくれって感じ
240:デフォルトの名無しさん
15/05/16 23:19:10.31 ws39nzeu.net
いくら自演したって誰もまともに相手になんかしねーよ
自分のブログにでもひっこんでろ
241:デフォルトの名無しさん
15/05/16 23:42:59.03 5WGKvptr.net
騒動の収穫としては、岡部だけじゃなく、仙台の先生も同じく教祖タイプという
ことがわかったことだな。取巻きとしては、仙台の先生を祭上げておかないと
食扶持を失いかねないし、熱心な理由もわかる気がわかる気はする。
両者とも論理を越えたところで戦っているのだ。
一方、ビジネスとして見ると、マーケティング的には岡部は天才的なものを
持っている。キャッチーな用語を上手く編み出すのは天性のものだよ。
242:デフォルトの名無しさん
15/05/16 23:51:25.61 Xo5bM6FI.net
もしそうならこんなことにはなってないんじゃないか
243:デフォルトの名無しさん
15/05/17 00:09:05.06 vxP+UTbZ.net
仙台の先生って誰？
244:デフォルトの名無しさん
15/05/17 02:22:27.46 I4gH+GcU.net
bristle wall は火消し部隊を雇ったのか？急に書込が増えたな
245:デフォルトの名無しさん
15/05/17 03:46:18.69 KOELu0yT.net
別スレでやれ
246:デフォルトの名無しさん
15/05/17 09:52:55.38 XD8qkQRv.net
Haskellは難しいがC++も難しい
争いが絶えないとかいう問題ではなく統一したら難易度が倍になるから分離してるだけだ
247:デフォルトの名無しさん
15/05/17 09:57:22.35 ORYJ+N7V.net
> 仙台の先生も同じく教祖タイプ
仙台は教祖なんかじゃないよ。群れたがる三流学徒
248:だと確認できたよ
249:デフォルトの名無しさん
15/05/17 12:28:39.34 bObx+CyQ.net
すごいハスキル中の初学者です。
型クラスについて教えてください
Eq とか Ord とかの指定を習いましたが、これは言語処理系で組み込まれているものでしょうか？
それとも、実は自由に設定できる、あるいは自分流型クラスを設定できるように（学習が進めば）なるのでしょうか？
250:デフォルトの名無しさん
15/05/17 16:38:23.79 yjYevIhU.net
型クラスは自分で作れますが、クラスにはインスタンスが2個以上なければ無意味
なので同じ性質を持つ型を2個以上作るのですがそれはDRYの原則に矛盾する可能性があり
初学者にはおすすめ出来ません
251:デフォルトの名無しさん
15/05/17 20:30:26.93 /1M7kTbP.net
学習してる人にDon't Repeat Yourselfて…
既存の型を自作の型クラスのインスタンスにすることも、
自作の型を既存の型クラスのインスタンスにすることも、
既存の型を既存の型クラスのインスタンスにすることも、できる。
既にインスタンス化されている型と型クラスを書き換えるのは少し手間がかかる。
252:デフォルトの名無しさん
15/05/17 22:10:04.28 7pPi0iqf.net
> 既にインスタンス化されている型と型クラスを書き換えるのは少し手間がかかる。
えっそんなのできるの？ くわしく
data Foobar = ... deriving Hoge
でHogeを自作するのは可能？
253:デフォルトの名無しさん
15/05/18 02:24:26.93 85kr6JxX.net
>>243
C++は簡単だろ。
254:デフォルトの名無しさん
15/05/18 03:09:26.48 eEjXu/P7.net
>>248 語弊を与えてしまったと思う。申し訳ない。
newtype MyFoo = MyFoo Fooとかやって、instance C MyFoo where ... みたいにすれば、
オレオレ定義のインスタンス化はできるよっていうだけ。
既にあるインスタンスと、それを使っているコードの動作は変えられないよもちろん。
個人的には>>247の3番目が通るのはどうかと思う。
下手糞が作ったライブラリを使わないといけなくなったら地獄が待ってる。
まだそんな事例には出くわしたことがないけど、塞げる穴じゃないのかこれは。
255:デフォルトの名無しさん
15/05/18 08:33:14.68 PFYZF6oW.net
,.-―:￣｀ー::::::::::､
／::::::::::::.::::::::::::::::::::::::::::｀::､､
/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
ヽ:::: ´､ひ> ;: l .<ひ>' ､::::::::/
ヽ::::: ￣ .)::; l ￣ ｌ::::/
､:::::.. /:::; .,-､ l:::/、
,―:::::::: ゝヽ- ｰ' ､ l::/,､ヽ
l,､,､,,:､:: / ,--､,-.､_ l /::::::,､,､l
ｌ,､,､,､,､,､::､ ｀ー￣-' /:::::::::::,､,､l
ｌ,､,､,､,､,､,､::ヽ ／::::::::､,､,､,､,ﾉ:＼
256:デフォルトの名無しさん
15/05/18 11:41:43.76 1sYrNLv/.net
>>250
もし関数型が自然科学なら価値判断より事実が争点になる
「インスタンスになったら地獄」といくら主張しても
「インスタンスである」と事実を宣言されたら勝てない
257:デフォルトの名無しさん
15/05/18 14:08:32.13 J+DllwNy.net
>>252
健ちゃ、こんなところまできて自演？
258:デフォルトの名無しさん
15/05/18 14:33:22.46 NV1bgdqX.net
岡部は関数型でどんなアプリ作ったのか見せてくれよ。
自分は作ったことがないのに、「私の本を読めば作れるようになる」じゃ、詐欺だぞ
259:デフォルトの名無しさん
15/05/18 14:34:36.88 NV1bgdqX.net
あと岡部よ。アマゾンでてめぇの本をてめぇで高い評価しくさった事についても弁明しろや。
260:デフォルトの名無しさん
15/05/18 14:36:07.03 NV1bgdqX.net
おら、365日返金保証の教材野郎。逃げてんじゃねーぞ
261:デフォルトの名無しさん
15/05/18 14:41:12.33 aBJ9oZwQ.net
kenokabeもkenokabeアンチも氏ね
トンデモ理論を叩き潰したくなるのはただの同族嫌悪だろうが
262:デフォルトの名無しさん
15/05/18 14:48:21.07 J+DllwNy.net
>>257
>トンデモ理論を叩き潰したくなるのはただの同族嫌悪だろうが
意味わがんね
263:デフォルトの名無しさん
15/05/18 17:09:27.48 1sYrNLv/.net
同族嫌悪というか単純に名無しを嫌悪しているから実名を特定したくなるんだろう
正しいか誤りかという以前に名前が分からないのと意味が分からないのを嫌悪している
264:デフォルトの名無しさん
15/05/18 21:42:18.84 Za9DOvVn.net
>>249
糞むずいだろ
haskellとは別方向の難しさ
265:デフォルトの名無しさん
15/05/18 22:41:26.79 gkB/bqS0.net
C++が難しいとしたら、逆に何が簡単なんだよ。
C#やJavaも同程度には難しいだろ。
プロが使う実用言語で、それで飯食っているやつが居るんだから、
ある程度難しいのは大前提で、この程度で難しいといっていたら何も出来ないよ。
少なくとも、家を建てたり、自動車作るよりは、覚えることも少ないし、ずっと簡単だと思うが。
どこまで甘えるんだよ。
266:248
15/05/18 22:52:25.55 Se0XfJ+o.net
>> 250
なるほど。
instance定義だけをimportしない、って方法はないんだね。知らなかった。
267:デフォルトの名無しさん
15/05/18 23:17:47.47 Za9DOvVn.net
>>261
いや例えばcoders at work に出てくるような有名なプログラマでも
「難しすぎ」 「書ける気がしない」 「複雑すぎて何か間違っている」
とか言ってるぞ
Erlang作者「C++は満足に読めも書けもしません。C++は嫌いなんです。何か間違っているように感じます。複雑すぎます」
つかc++を簡単だって言ってる人の方が珍しくないか？
268:デフォルトの名無しさん
15/05/18 23:20:04.82 wsHCJh20.net
C++簡単とかいう大きすぎる釣り針にかかってやろうかと思ったがスレチではないかと心配になった
269:デフォルトの名無しさん
15/05/18 23:55:18.12 gkB/bqS0.net
だったら何が難しいか具体的に書いてみろよ。
比較対象はC#とJAVAでいいよ。
270:デフォルトの名無しさん
15/05/19 00:18:36.13 JW8ZA2Yc.net
constexpr
271:デフォルトの名無しさん
15/05/19 00:21:56.02 jGcxlJfu.net
逆にc++の何が簡単なんだｗ
272:デフォルトの名無しさん
15/05/19 00:24:26.22 F2BOffyE.net
難しいというかデザパタを使わなければならない不自由さが面倒
273:デフォルトの名無しさん
15/05/19 00:27:32.08 NL6C5oh4.net
CよりC++の方が簡単になった。
全ての状態に対してテストを行うことは所詮不可能なので、型が厳格なのが
多くのスクリプト言語に対してメリットになってると思う。
274:デフォルトの名無しさん
15/05/19 00:28:32.22 Ri/mEtfG.net
TIOBEで申し訳ないが、C++は3位。
URLﾘﾝｸ(www.tiobe.com)
みんな普通に使っているということ。
普通の人が普通に仕事で使う、普通の実用言語。
F#やHaskellみたいに難しくて人が寄り付かないような言語ではないということ。
そりゃ、BASICなんかのお子ちゃま言語と比べれは難しいかもしれないが、
プロフェッショナルの使う実用言語なんだからある程度は当たり前だろう。
275:デフォルトの名無しさん
15/05/19 00:41:45.17 jGcxlJfu.net
使ってる人多いから簡単とはならなくね
難しいから使わない 簡単だから使うとはならんし
広く使われる言語って 別に言語が優れてるからとか簡単だからって理由で使われるわけではないし
c++はcとの互換性から使われてるし
後 実用言語って何よ
ocamlだってhaskellだってscalaだって実用言語だよ
「簡単」とはみなされないだけで
276:デフォルトの名無しさん
15/05/19 02:04:40.28 Ri/mEtfG.net
道具において、
使っている人が少ないから難しいとはならないが、
使っている人が多いなら簡単は、真だ。
だって、実際多くの人が挫折せずに使えているのだから。
その程度には簡単ということ。理解できないレベルではないということ。
たくさんの関数型言語が有り、そうでない言語より優れているのは
明白なのに、いまいち普及しないのは何故だと考える？
答えは、難しいからだ。
多くの人がCからC++にステップアップした。
今はそうでもないが、その昔は猫も杓子もC++を使っていた。
C++が簡単だったから問題なくステップアップできたわけ。
同じ事が関数型言語でも起こると思う？
Java→Scala、C#→F#にみんな移行出来ると思う？
277:デフォルトの名無しさん
15/05/19 02:09:03.78 JW8ZA2Yc.net
ないわーwww
278:デフォルトの名無しさん
15/05/19 02:11:36.89 Ri/mEtfG.net
>難しいから使わない 簡単だから使うとはならんし
ここが違うんだよね。
難しいから「使えない」 簡単だから「使える」 が正解。
C++はTIOBEで第三位。多くの人が「使える」言語。
多くの人が理解できない関数型言語と違って。
こんなに誰でも使ってるC++を難しいといってしまってよいの？
世の中には家を建てたり自動車を作ったり心臓移植までしている
人たちが居るというのに。ハードル低すぎじゃね？
279:デフォルトの名無しさん
15/05/19 02:30:37.22 JW8ZA2Yc.net
宣言文の文法がそもそもあんだけトチ狂ってんのに「簡単」とか言われましてもw
280:デフォルトの名無しさん
15/05/19 02:35:55.87 ZmlYhIi9.net
std::function<bool(int)> callback = [&](int n)->bool{
return assign(n);
};
大変読みやすいです。
281:デフォルトの名無しさん
15/05/19 02:45:13.52 ZmlYhIi9.net
関数型の欠点は、従来の言語より優れていると言われる割に、優れている部分を
示せないことではないでしょうか。
偉大なる◯◯で使われているという話はよく聞くのですが、BASICもCも偉大なる◯◯で
使われているのは変わりありません。
マップ・リデュースで一万コア・・・なんて話も良く聞かされるのですが、そもそも
一万コアのマシンを持っていませんし、C++にもそういったライブラリはあるのですが、
今のところ使いどころはありません。
ですから全く使いたいと思えないのです。
282:デフォルトの名無しさん
15/05/19 02:53:32.65 JW8ZA2Yc.net
使いドコロがない世界で生きてるんなら使わなきゃいいじゃん。終了。
283:デフォルトの名無しさん
15/05/19 03:22:45.75 zSes0jIt.net
C++の機能のそれぞれの背景は多様で、グランドデザインは無いと言っていい。
一貫しているのは「C++が提供している機能を使わないプログラムは、それに伴うコストを負わない」っていう箇所くらいだ。
これに反しない限りはどんな仕様にもなっていく。文法もアドホックな部分が多い。
以下反駁:
>使っている人が少ないから難しいとはならないが、
と言った口で
>答えは、難しいからだ。
と言う論理の無さに震える。
多くの人が使えるなら簡単っていうことは、中国語が簡単だと言いたいんだろうな。
284:デフォルトの名無しさん
15/05/19 03:25:32.55 T8F04qpp.net
>>268
そんな宗教じみたもん無視するのがよろし
問題と向きあえば、最適な設計は自ずと導かれるもんよ
285:デフォルトの名無しさん
15/05/19 03:25:54.73 Ri/mEtfG.net
関係ないね。
モナドが難しすぎるから。
これに尽きる。
工学部出てても、圏論なんて聞いたこともねぇってやつがほとんど。
Wikiからして抽象的でそうとうの数学センスを要求される。
URLﾘﾝｸ(ja.wikipedia.org)
しかもC++のマイナー機能やSFINIEをつかった複雑なテンプレートと違って、
関数型言語においてモナドは必須事項。
慣れてきたらそのうち・・・というわけにはいかない。
286:デフォルトの名無しさん
15/05/19 03:29:07.25 sK241CbT.net
ま、一般大衆はC++のサブセットで満足していて、それは彼らが「使える」程度には簡単、ということなんだろうね。
>>272さんの言う通り、使っている人が少ないからって難しいとは限らないが、果たしてHaskellはどうだろう。
個人的には普及の障害になるくらい難しいとは思わないけど…
287:デフォルトの名無しさん
15/05/19 03:32:47.88 ZmlYhIi9.net
難しくてもメリットが上回れば使われると思います。
メリットが示されないので使われないのですよ。
288:デフォルトの名無しさん
15/05/19 03:45:36.89 sK241CbT.net
うーんそうかなあ、モナド難しいかあ。
初学者だった頃に引っかかった記憶はあんまりないけどなあ(むしろ(.)と($)にハマった。発狂しそうになった)。
だけど小学生の姪っ子をリストモナド使えるように教習しろって言われたら… 出来る自信ないわ。
ZmlYhIi9さんの意見にはぐうの音もでない。一般人がHaskell使って直接的に嬉しいことって、特にない気がするよ。
でもHaskellのスローガンは「可能なかぎり成功を避けろ」だからね。
人気ないのはむしろいいんだ。
289:デフォルトの名無しさん
15/05/19 03:56:54.04 Ri/mEtfG.net
>多くの人が使えるなら簡単っていうことは、中国語が簡単だと言いたいんだろうな。
偏差値40の中国人でも中国語をつかえることを考えると、中国語は簡単なんだろう。
中国語が本当に難しくて偏差値60無いと理解できない言語というなら、中国は滅亡するだろ。
た・だ・し、通訳は難しい。
だから中国語を通訳できる人は少ないし、それだけで飯が食える。
そして、プログラミング言語がネイティブな人は居ない。
しかしこんなことは言葉遊びだ。
TIOBE第三位の多くの人が日々普通に使ってる言語を「難しい」「理解できない」と感じるなら、
単にその人の能力が標準以下なだけ。
多くの人が理解できないほど難しいのであればTIOBE第三位になるのは無理。
関数型言語がまさにそれ。多くの人が理解できない。TIOBE第三位なんて絶対無理。
290:デフォルトの名無しさん
15/05/19 03:58:58.68 T8F04qpp.net
圏論がどうのといって悦に入ってる連中が障害じゃないの
手続き型言語のプログラマで有限オートマトンがどうのという連中はいないもの
Haskellには妙ちくりんな尾びれがついちゃってる感じ
291:デフォルトの名無しさん
15/05/19 04:13:41.82 ZmlYhIi9.net
C++は非常に簡単で、簡単であることそのものがメリットになっています。
ですからよく使われるのです。
292:デフォルトの名無しさん
15/05/19 04:31:48.32 F2BOffyE.net
池沼は病院から出すなよ鬱陶しい
293:デフォルトの名無しさん
15/05/19 07:19:11.46 GUw3UG1p.net
関数型言語にモナドは必須ってアホか
必須なのhaskelくらいだろ
そもそもwikiは糞だから参考になんねーよ
それにモナド使うのに圏論いらんし 型クラスの定義見ろ
294:デフォルトの名無しさん
15/05/19 09:13:31.09 WmVvlWKU.net
>>284
6年前のSPJ発言か、良い引用だ
しょうもない格付け君は wall of bristle に断絶されてればいいよw
295:デフォルトの名無しさん
15/05/19 09:17:44.17 MzsPfgik.net
理論上は抜けだらけだが実用上問題ないプログラムを書けるかどうか
296:デフォルトの名無しさん
15/05/19 09:45:45.16 JTaO2nL4.net
>>285
中国語が難しいか＝C言語が難しいか
通訳が難しいか＝C++が難しいか
ですね、わかります。
297:デフォルトの名無しさん
15/05/19 10:45:34.91 0SacHJgX.net
C++が難しいって発言をそのまま捉えてるアホ初めて見た
298:デフォルトの名無しさん
15/05/19 11:35:26.14 ZsRP29y3.net
C++コンパイラの保守が難しい
そこまで考えてるやつはC++は難しいと言う
そんなの想定外だとか未来の技術で簡単になるとかいう無責任なやつがC++は簡単と言う
このアンチパターンが半永久的に繰り返されるだろう
299:デフォルトの名無しさん
15/05/19 12:48:04.34 AXTyPS+t.net
言語選定レベルで悩んでいるようじゃ初級プログラマだと言わざるをえない
300:デフォルトの名無しさん
15/05/19 12:59:10.60 AXTyPS+t.net
言語は目標を達成するための道具だろ。
各々好きな言語でプログラミングして、最後に結合する作業が簡単にできるプラットフォームがあれば良いね。
単なるリンカではないぞ。
誰か作ってよ。
301:デフォルトの名無しさん
15/05/19 12:59:54.89 AXTyPS+t.net
てか未踏ソフトで応募して見ようかな
302:デフォルトの名無しさん
15/05/19 13:14:35.76 D1tZIuIK.net
F# は3月のTIOBE11位 (関数型トップ) です...
303:デフォルトの名無しさん
15/05/19 13:15:13.92 db2F8MVh.net
,.-―:￣｀ー::::::::::､
／::::::::::::.::::::::::::::::::::::::::::｀::､､
/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
ヽ:::: ´､ひ> ;: l .<ひ>' ､::::::::/
ヽ::::: ￣ .)::; l ￣ ｌ::::/
､:::::.. /:::; .,-､ l:::/、
:::::::: ゝヽ- ｰ' ､ l::/, ＜ 結城氏はリスペクトせよ
,:､:: / ,--､,-.､_ l /
,.:':'ﾞ'ﾞ'ﾞ:ﾞ'ﾞ':';. ､::､ ｀ー￣-' /
rﾞ ,.: :;;;:: : : : ､::ヽ ／:
| : ::::~';::--ｰ'ｰ-----ｰｰ;;:'ﾞ .: :` ‐- ､ |
,i ::::::::::::::::::::::::::::::: ::: :ヾ i
ｒ' ::::::::::::::::: : : :::::: ::::: ::::. . /
| :::::::::: : : : : ::: :: :: ｲ
i : : ::::::::::: : : ::::::: : |
| ,.;ｲ-- ., ,... -' i
i ,.;':/ ﾞ'ｰ-.,_ i ,.イ:: /
.i:::: ／:/ ￣i / ﾞi |
│:: ノ::／ | i | |
ｒ':: ｲ:::::iﾞ | | i |
|:: | ヽ '-., ヽ 〈 ヽ ヽ.,
i, , '-, ﾞ'ｰ'ｰ' ヽ、｀,ｰ、 ｀'ｰ'ｰ
304:デフォルトの名無しさん
15/05/19 13:21:14.57 TOz5556s.net
URLﾘﾝｸ(twitter.com)
岡部事件、
可能であれば、お仲間にもご周知を！
305:デフォルトの名無しさん
15/05/19 20:17:28.97 JXMeaZgm.net
たとえば皆、Haskellで各自思い思いに「倉庫番」を作ってみてくれ。
「パックマン」や「スターソルジャー」でもいい。
完成させるのに果たして圏論のどのような理解が必須だろうか？
あるいは、圏論の何を理解していればより効率的に作れる、
またはより効率的なものが作れるだろうか？
モナドはどこまで深く理解していなければならないのだろうか？
実際にやってみれば分かるが、思ってたよりも浅いモナドの理解で作れるはずだ。
恐らく入門書に書かれている程度の理解で十分。
圏論にいたっては意識すらしなくても良いはず（知らずに使ってる事はあるかも知れん）。
今時のマシンで普通に動くこの程度のアプリケーションで良ければ、
モナドが難しすぎるから作れないなんてことは絶対にない。
それなのに、声のでかい一部のバカが無責任に難しいと連呼するから、
門の前で中をうかがっている入門予備軍を怖じ気付かせる。
306:デフォルトの名無しさん
15/05/19 20:30:46.38 JW8ZA2Yc.net
描画の話してんの？ SDLバインディング使うなら単なる手続き型のプログラミング（嬉しくない）。
盤面上のデータ操作でもまあLearn you Haskellくらいを読んでれば十分だろ。
実際のところモナド変換子程度まで理解してれば困ることなんて殆どない。
Haskell難しいと連呼するのはHaskell触ってないやつ（いや確かに難しいけど）。
Haskellerが初心者に向かって圏論が～なんてわけのわからん
威嚇をする実例はなど別にないと思うのだが。
307:デフォルトの名無しさん
15/05/19 21:15:19.01 Ri/mEtfG.net
現時点でHaskellが難しくないことを証明するのは無理。いくら何言っても無理。
Haskellが普及して、TIOBE第三位になるぐらいに広く使われるようになって初めて、
Haskellは多くの人が理解できる程度に難しくない、ということが、
統計的に証明できる。
308:デフォルトの名無しさん
15/05/19 21:27:02.56 SB6c5oWN.net
>>302
圏がどう射がどうとか語り始めるモナドチュートリアルは見たことある
モナドは何であるかじゃなくてどう使うかに絞った解説があればいいのに
Stateモナドもスタック実装して終わりで え？こっからどうやって実用するの！？とか思った記憶
309:デフォルトの名無しさん
15/05/19 21:30:12.17 jGcxlJfu.net
だから言語の普及度は言語の難易度で決まるわけじゃないだろ
haskell難しいけど難しいから流行ってないわけじゃない
とういうかhaskellがたとえこの世で最も簡単な言語であったとしても
TIOBE第三位になる事はないから
310:デフォルトの名無しさん
15/05/19 21:31:23.95 1/0u9cTV.net
偏差値40だろうが30だろうが日本人なら日本語使えるから日本語って簡単なんだね
311:デフォルトの名無しさん
15/05/19 21:44:28.21 JW8ZA2Yc.net
>>304
様々な層に向けたそれぞれのチュートリアルがあるだけだろ。
数学的指向があったら最初に圏や関手の話から導入された方がわかる。
それに各モナドごとの個別チュートリアルは際限がなくなるからなあ。
モナドはなんというか見よう見まねで書き続けてると
ある時ふっ、とわかるんだよね。まあそういうもんだと思うしかない。
312:デフォルトの名無しさん
15/05/19 21:55:23.18 Ri/mEtfG.net
>>305
お前は本当に頭が悪いな。
Haskellが普及してTIOBE第三位になれば、
Haskellは多くの人が理解できる程度に難しくない、ことが
統計的に証明できるんだ。
逆は知らん。
もし、Haskellが難しくなかったらTIOBE第三位になれるはず、とは誰も言ってない。
逆裏対偶ぐらい、習っただろ。
313:デフォルトの名無しさん
15/05/19 22:03:44.54 1/0u9cTV.net
誰かHaskellが難しくないって言ってる人いるの？
誰と戦ってるの？
314:デフォルトの名無しさん
15/05/19 22:29:33.06 Db21bduT.net
モナド変換子難しいよお。。。
315:デフォルトの名無しさん
15/05/19 22:46
316::21.27 ID:sK241CbT.net
317:デフォルトの名無しさん
15/05/19 22:53:16.69 0SacHJgX.net
モナドの実用例ならhackageにゴロゴロ転がってるじゃん
それだけじゃ入門者に優しくないって事ならその通りだけど。
318:デフォルトの名無しさん
15/05/19 22:57:09.05 jGcxlJfu.net
>>308
だからTIOBEの順位と難しさは無関係だっつーの
言語の普及度は言語の難易度で決まるわけじゃない
つかhaskell難しくないなんていってねーし
319:デフォルトの名無しさん
15/05/19 23:04:59.38 jGcxlJfu.net
第一 TIOBE()の順位なんかより
高名なプログラマの意見の方がずっと参考になるだろ
例えば coders at workとかさ
難しいところを挙げろというが逆に簡単なところを挙げてほしいくらい
320:デフォルトの名無しさん
15/05/19 23:06:55.74 sK241CbT.net
>>312
言われて探してみたんだけど、たとえばリストのdoの例は見当たらなかったよ。
初めのころ、確か、すごいH本で解説を読んで、感動した記憶がある。
あとはParsecの解説サイトでApplicative、Monadの用例を見て、雰囲気をつかんだ(気になった)。
321:デフォルトの名無しさん
15/05/19 23:17:27.46 JXMeaZgm.net
>>315
気になっただけで、実際は雰囲気すら掴めなかったのはなんで？
そこの解説になにか問題があったの？
322:デフォルトの名無しさん
15/05/19 23:17:59.37 0SacHJgX.net
>>315
リストのdo記法は考えてなかったわ。
モナドを自作するとこんな事が出来るとか、そういう事を指して実用って言ってるのかと思ってた。すまん。
323:デフォルトの名無しさん
15/05/19 23:50:39.22 Ri/mEtfG.net
>>313
>だからTIOBEの順位と難しさは無関係だっつーの
関係あるっつーの。
少なくともシェアの大きい言語は、多くの人が理解できてるんだから、
その程度には難しくないことが統計的に証明されるだろ。
変な話、凡人でも理解できてるんだから。
難しくて一部のエリートしか理解できないってことは無いんだよ。
324:デフォルトの名無しさん
15/05/20 00:01:02.66 xG2YivgY.net
>>318
>少なくともシェアの大きい言語は、多くの人が理解できてるんだから
使っているかといって理解できいるとは限らなくね？
>変な話、凡人でも理解できてるんだから
>難しくて一部のエリートしか
なお一部のエリートや天才レベルでも難しいと感じている模様
日本でも某ocaml使いとか愚痴ってたような
ていうか俺も仕事でc++を使うときあるけどc++を理解しないで使ってる連中の頭をかち割りたいね
325:デフォルトの名無しさん
15/05/20 00:02:05.71 j7/9a0p9.net
ここにいる諸兄にはおわかりでしょうがこの荒らしはプレステを手に入れてスーファミをこき下ろしてる連中と同じメンタリティの奴です
弱い自分が強いと思いこめる武器を手に入れて暴れてるだけです
どうぞ生温かくても冷たくてもいいので見捨ててやってください
326:デフォルトの名無しさん
15/05/20 00:06:06.64 xG2YivgY.net
つか理解されてるから使うんじゃくて仕事があるから使うんだろ
javaやjavascriptだって全然分かってない人が使ってたりしますし
ていうかtiobeって話題になってる言語を選定するサイトじゃなかったっけ？
327:デフォルトの名無しさん
15/05/20 00:39:39.55 hcXMT3AI.net
"language programming" でググってヒットした件数らしい。
使ってる人口じゃなくて、使っててこれどう書くのーってネットに書いてる人口を反映してるよね。
前者が多ければ当然後者も増えるが、難度が増しても後者は増える。
328:デフォルトの名無しさん
15/05/20 00:47:54.79 tyUici8H.net
>>316
や、書き方が悪かったよ。今でもモナドの使い方を淀みなく完璧に理解してるか？ って自問したら、そこまでの自信は無いなあ。と思ってさ。そのサイトの解説はグッドでした。
>>317
いやいや俺なんてHaskell歴5年くらいになるけど、未だにMonadインスタンス自作したこと無いぜ… (deriving除く)
329:デフォルトの名無しさん
15/05/20 01:06:36.36 sW1Q6d6X.net
>>323
俺もHaskell歴そのくらいだけど、自作Monadは2個だけだよ。
ほとんどの事は既にあるモナドで足りるよね
330:デフォルトの名無しさん
15/05/20 13:10:54.59 1z9LSkg7.net
「モナドというものは作ろうと思って作るのではなく、
作った型が実はモナドだったということが多いのです」
みたいなことをすごいH本か何かで読んだ
331:デフォルトの名無しさん
15/05/20 14:32:34.25 XsmEqg/3.net
それは、Monadってそんなに自然なものなんだよって言ってるんだと思うが、
オレは、FunctorやApplicativeに比べるとえらく不自然だなって思う
332:デフォルトの名無しさん
15/05/20 16:10:01.72 2N8UJ/7p.net
ラムダ計算で作れるデータ構造は大体 (->) で出来ている
(->) で作れる型はあれもこれもモナドだったから大半の型はモナドになる
モナドクラスは表向きは個々のインスタンスに依存しないふりをしているが
本当は (->) の力が無ければ何も出来ない
333:デフォルトの名無しさん
15/05/20 19:36:47.33 dadGQyQV.net
>>323
モナドを完璧に理解することが目的（目標）なら、がんばれとしか言いようがない。
でも、何かを作ることが目的で、その手段としてモナドの完璧な理解が必要だと考えているのなら、
落ち着いて、完璧な理解までは必要としない方法を模索してみることを勧める。
334:デフォルトの名無しさん
15/05/20 19:48:41.11 XsmEqg/3.net
>>327
> ラムダ計算で作れるデータ構造は大体 (->) で出来ている
> (->) で作れる型はあれもこれもモナドだった
これはどういうことを言ってるの？
335:デフォルトの名無しさん
15/05/20 21:00:24.87 +UYg+JjB.net
>>329
関数に型を付けたら実はそれは>>=と同じ構造を持ってました
336:デフォルトの名無しさん
15/05/20 22:24:23.25 2N8UJ/7p.net
newtype Foo a b = Foo (a -> b)
newtype Bar a b = Bar ((b -> a) -> a)
の二つが基本
他に類似品みたいなのがいっぱいあってみんなモナド
b -> (c -> a) -> a
b -> (b -> c -> a) -> a
(b -> a) -> (c -> a) -> a
337:デフォルトの名無しさん
15/05/20 22:38:43.62 XsmEqg/3.net
>>331
どれもモナドにはみえないんだが、
どう見たらモナドになるんだ？
338:デフォルトの名無しさん
15/05/20 23:45:21.62 tyUici8H.net
>>328
ありがとう。俺自身は、使う分には不自由してないんだ。初心者向けにモナドクックブック書いたら売れるかなあ、って思ってさ。
>>331
Fooがリーダーモナドで、Barが継続モナドですよね。
下のもモナドになるの？
339:デフォルトの名無しさん
15/05/21 00:00:34.02 de5tZE8e.net
CがHaskellのコード中に直接書けるようになったと聞いて駆けつけました
340:デフォルトの名無しさん
15/05/21 00:36:31.12 CoyRjUjS.net
そのまま帰っていいぞ
341:デフォルトの名無しさん
15/05/21 08:06:45.42 8IjR4TZr.net
＊Hask圏のなかにいる＊
342:デフォルトの名無しさん
15/05/22 16:33:13.83 rEwHo9Uc.net
週末 inline-c で遊べるように haskell-platform-2014.2.0.0 用意できた
build環境には debootstrap + schroot が便利という知見を得た
343:デフォルトの名無しさん
15/05/22 21:31:26.16 ISp/Va/9.net
わぁい知見 あかり知見大好き
344:デフォルトの名無しさん
15/05/23 11:21:43.20 0SRxUMd7.net
知見（環境構築で苦しみたくないという気持ち）
345:デフォルトの名無しさん
15/05/23 14:14:24.76 UgSbq8g0.net
誰だって論理に集中したい筈だ
346:デフォルトの名無しさん
15/05/23 16:41:37.34 lgd4dVFx.net
環境構築ってクソつまらんのに大抵の言語でハマりどころ盛り沢山だからな
347:デフォルトの名無しさん
15/05/23 18:06:20.76 BXmR/qwL.net
このツール使えねえと思ったら正直に全否定すれば苦しまなくてすむし
その方が建設的かもしれない
LinusがCVSやSubversionを全否定したみたいに
348:デフォルトの名無しさん
15/05/23 18:35:43.05 JvMC0aIf.net
インストーラと別にコマンド叩いてDevkit入れる必要があるうえ手作業で証明書入れないとパッケージ管理システム使えない国産言語が初心者向けなくらいですし
ほんと余計な苦労させられる
349:デフォルトの名無しさん
15/05/23 20:15:12.23 fe/IYzrE.net
LinusはC++も扱き下ろしてる
350:デフォルトの名無しさん
15/05/24 09:43:51.03 cgfZawIe.net
StroustrupもC++はジョークだったと言ってる
351:デフォルトの名無しさん
15/05/24 19:42:49.77 3b2NjmUt.net
cabal installしようとしたらbaseのバージョンが今のより古くないとダメだと言われた。
さすがにbaseの衝突回避は無理か
352:デフォルトの名無しさん
15/05/24 20:15:13.71 XsNzee8o.net
>>346
俺なら、そのインストールしようとしているパッケージがアップデートされるまで、
下記の方法でしのぐ。
そのパッケージの .cabal ファイル内の build-depends の項にある
base のバージョン指定を高くする。
cabal configure
cabal install
コンパイルエラーが出たらその箇所を修正し再度インストール。
エラーが出なくなるまで繰り返す。
テストが用意されているパッケージならテストもしておいた方がいい。
353:デフォルトの名無しさん
15/05/24 21:27:46.60 +ZfT5bPb.net
目的のパッケージが更新されたら通知してくれるソフトくれ
354:デフォルトの名無しさん
15/05/24 22:55:26.97 XsNzee8o.net
>>348
せっかく Haskell があるのだから、試しに作ってみてはどうだ？
いろいろ勉強になるかも知れん。
俺は特に必要とはしていないから取りあえず興味ないが。
355:デフォルトの名無しさん
15/05/24 23:21:49.16 vsIUw6N4.net
>>348
#!/usr/local/bin/zsh
local PACKAGE=$1
cabal list --simple-output --installed $PACKAGE | tail -n 1 | read CURRENT
cabal list --simple-output $PACKAGE | egrep "^$PACKAGE " | tail -n 1 | read LATEST
test $CURRENT = $LATEST
を package-is-latest.sh とでもしてファイルにしておいて、パスを通しておく。
で、
cd yourproject; zsh package-is-latest.sh hogehoge || echo UPDATEEEEEEEEEDDDDD
をcronに登録するなりして適当なタイミングで実行するようにしておく。
echoのメッセージをsendmailにするなり、cabal install hogehogeにするなり、好きにしろ。
356:デフォルトの名無しさん
15/05/24 23:36:19.30 vsIUw6N4.net
なんか最近のcabalはいろいろ便利になってるらしいよ。
Before
alias ghci="ghci -package-db .cabal-sandbox/*-packages.conf.d"
After
alias ghci="cabal exec ghci"
他にも
cabal exec runhaskell でsandbox考慮してコンパイル実行とか、
cabal exec ghc-pkg list でsandbox内のパッケージ列挙とか。
357:デフォルトの名無しさん
15/05/24 23:52:10.59 vsIUw6N4.net
すまん間違えた、
alias ghci="cabal exec -- ghci"
の方がベター。cabal repl と比べて、hsファイルを渡して実行できるとこがよい。らしい。
おまえらも haskellマメ知識 晒してけ。
358:デフォルトの名無しさん
15/05/25 00:01:02.95 2thWXfeV.net
そんなのマメ知識とか言われても困る
359:デフォルトの名無しさん
15/05/25 08:21:00.05 GzRiv4UP.net
#知識for糞ザコHaskeller
360:デフォルトの名無しさん
15/05/25 11:39:32.92 qzlNoXZk.net
>>346
あきらめてGHCのバージョン上げましょう
361:デフォルトの名無しさん
15/05/25 22:26:35.18 gWg9G8z2.net
>>355
インストールしたいパッケージが想定しているより、
今のGHCのバージョンが高いから base が新しすぎると言われているのでは？
362:デフォルトの名無しさん
15/05/26 07:43:43.97 shSvTWy+.net
C/C++なら依存するライブラリを#ifで切りかえるね
プリプロセッサを捨てて一本道になった言語は依存関係が一つ壊れるだけで致命傷になる
363:デフォルトの名無しさん
15/05/26 12:56:29.60 Y4vROO87.net
Cのプリプロセッサ(笑)
364:デフォルトの名無しさん
15/05/26 13:07:38.46 xYtlptqc.net
>>357
>プリプロセッサを捨てて
とりあえずGHCのことじゃないことだけはわかった
365:デフォルトの名無しさん
15/05/26 13:52:36.05 nTvEmyje.net
プリプロセッサが悪用されるのは意識が高い人間が使った時だから
嘲笑することで意識を低下させるのはある意味正しい
366:デフォルトの名無しさん
15/05/26 19:09:40.90 XXhPjawb.net
意識が高い連中は隔離してやろう
彼らが楽しく砂遊びできる環境
367:デフォルトの名無しさん
15/05/26 21:26:37.23 8xzkswfT.net
こうどなあおりあい
368:デフォルトの名無しさん
15/05/27 08:11:39.10 tHNT180U.net
[クェィザィ.クォート]
369:デフォルトの名無しさん
15/05/27 14:47:53.27 IRVvjMC1.net
URLﾘﾝｸ(kenokabe-techwriting.blogspot.jp)
おい、岡部が住井先生を相手に公開スキル対決したいと言ってるぞ！
会場どこにする？
370:デフォルトの名無しさん
15/05/27 16:37:40.89 j/Edc2+c.net
>>364
うぜえからここに引用されてるドーキンスの文章でも暗誦してろよ
URLﾘﾝｸ(d.hatena.ne.jp)
371:デフォルトの名無しさん
15/05/27 19:47:09.26 NxdwWN3a.net
>>364
とにかくまず「先生」つけるのやめろ
お前は家来でも俺たちは違う
話はそれからだ
372:デフォルトの名無しさん
15/05/27 19:58:53.76 dwpwEnF2.net
みんな時間を守らせるのが好きだから
もうずっと未解決の問題に対しても
制限時間を設定してやれば時間内に成果が出るんじゃないかと錯覚してしまう
373:デフォルトの名無しさん
15/05/27 20:22:08.94 yzh13mxX.net
こうあおどなりあい
374:デフォルトの名無しさん
15/05/27 20:22:49.61 iCUdlE3X.net
てか毛の壁ってなんでこんなに粘着発狂してるの？
現実世界に友達が居ないから、ネットで相手してもらえるのがうれしいの？
仕事無いから暇なの？炎上マーケティング？
それとも、ネットであやふやなことを適当に言いまくって、
誰かに指摘させることで自分がスキルアップできる戦略？
375:デフォルトの名無しさん
15/05/27 20:27:57.54 B0g6EoUC.net
発 者 同 . ｡_ ____ 争
生 同 .じ . /´ | (ゝ___) い
.し 士 .レ .__／'r-┴<ゝi,,ノ ro､ は、
.な で .ベ ∠ゝ (ゝ.／/｀ ./｀| }⌒j
.い し .ル } ⌒ ／｀ヽ､_∠l,ノ ・ヽ´
.! ! か の / ´..:.} ＞､､___, .r､ ｿ､｀＼
/ ..:.:.} / |∨ ｀￣
／ ..:.:./ | 丶
/ ＿､ ..:.:.:.{ .{.:.:. ＼
{ ..:Y .ゝ､ {.:.:.:.:. ヽ
|､ ..:/ 丿 .:〉 >.- ⌒ . ヽ
/ {. ..:./ ｿ ..:./ .( ..:.:.:｀ ..:}
./..:.:}.:.:./ ヘ､ ..:./ .＼ ..:.:r＿,ノ､.:.:}
./..:.:/|.:/ {.:./ X.:.:}.} X X
/..:.:/ .}.:| }:/ .Y丶ヽ Y.:Y
. ＿＿／.:／ { } 《.〈､ ＿,,__>.:》丶 Y.:＼
／.:.:.:.:.::／ !.:.:ゝ ゝ.:.￣ヾ ´:.:.:.:.:.:.:.:.:ヾゝ ＼.:￣＞
376:デフォルトの名無しさん
15/05/27 22:10:38.46 3uTYMaQf.net
争いっつーたって 反論に対して発狂してるだけやん
どうしろと
377:デフォルトの名無しさん
15/05/27 22:23:47.94 UvDWsdEw.net
NGしろ
378:デフォルトの名無しさん
15/05/27 22:39:08.49 j/Edc2+c.net
諸君、議論するのをやめたまえ
379:デフォルトの名無しさん
15/05/27 22:52:27.13 CaKPB6kG.net
こうどな、おどりあい
380:デフォルトの名無しさん
15/05/28 03:03:31.40 gCuhL1rI.net
でもあんな調子じゃ人と関わる仕事は無理だよね。どうでもいいけど。