[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part22 (1001ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
875: 2013/03/23(土)12:48 AAS
もっと盛り上げてよ
Haskellたんが蛹のまま何ヶ月も動かないの！
876: 2013/03/23(土)12:48 AAS
使う必要なければ無理に使うこともない
877: 2013/03/23(土)12:48 AAS
桶 蛸 蚕 蛹
878: 2013/03/23(土)12:48 AAS
「Ant Farming」（実験ばかりして実りのない学者タイプ）
お前らまさにこれだよな
879: 2013/03/23(土)12:48 AAS
お前等ゴミクズはこういう誰も使わなさそうな単語が大好きだもんな
見つけておいたことに感謝しろよ
「Ant Farming」（実験ばかりして実りのない学者タイプ）
880: 2013/03/23(土)12:48 AAS
スレチ
881: 2013/03/23(土)12:49 AAS
Perl忍者最近見ないな
882: 2013/03/23(土)12:49 AAS
Haskellって(Schemeも結構そうだけど)
RubyやJava、Cと比べて
プログラムが横に長くなると思うんだけど
(インデントが深くなるから?)
エディタ上で見るときは横に広げればいいんだけど
印刷すると見難くならない ?
みんなどうしてるの?
883: 2013/03/23(土)12:49 AAS
印刷横向きにして
A4の縦に2P表示
884: 2013/03/23(土)12:49 AAS
縮小して印刷すればええがな。
あまり長すぎる行は折り返せばいいし。
幅は印刷する前に分かるんだから自動化は可能。
885: 2013/03/23(土)12:49 AAS
わざわざ紙という劣化メディアを選択する理由って、やっぱ老害レビューワー？
886: 2013/03/23(土)12:49 AAS
紙いいじゃん 温もりがあって
887: 2013/03/23(土)12:49 AAS
紙には、「簡単に」手書きメモや書き込みができるという利点もある。
888: 2013/03/23(土)12:49 AAS
は？ 寧ろHaskellでコーディングするようになって一行80文字以内を徹底するようになったんだけど？
Vimで窓区切ってそのスペースで見渡せるコーディング身に付いたんだけど？
889: 2013/03/23(土)12:49 AAS
唐突威圧おじさんやめろ
890: 2013/03/23(土)12:49 AAS
威圧のこころは母ごころ
891: 2013/03/23(土)12:49 AAS
は？？
892: 2013/03/23(土)12:49 AAS
押せば命の泉湧く
はーっはっはっは
893: 2013/03/23(土)12:49 AAS
マクロ使ってもいいんだってPreludeが教えてくれた
ifdefの嵐にくじけない心を貰った
894: 2013/03/23(土)12:49 AAS
いまどきIDE使わずにVim使う情弱がいるとは…
895: 2013/03/23(土)12:49 AAS
それは言語による
896: 2013/03/23(土)12:49 AAS
IDEが必要なのってJavaみたいな糞言語だけでしょ？
897: 2013/03/23(土)12:49 AAS
それはIDEの出来による
898: 2013/03/23(土)12:49 AAS
論理が破綻している
899(1): 2013/03/23(土)12:49 AAS
APIがたくさんあればどんな言語だって必要なんじゃね？
900(1): 2013/03/23(土)12:49 AAS
>>899
なぜ？
IDE って「統合開発環境」だよね。
APIがたくさんある事で、何と何を統合する必要が出てくるの？
901: 2013/03/23(土)12:49 AAS
（笑）
902(1): 2013/03/23(土)12:49 AAS
すごいどうでもいい
903: 2013/03/23(土)12:49 AAS
>>900
コードスニペット程度の使い方をしているとエスパー。
904: 2013/03/23(土)12:49 AAS
その程度の使い方ならそれこそVimで十分じゃないか……
905: 2013/03/23(土)12:49 AAS
>>902
すごいどうでもいい事だが、本来は「すごくどうでもいい」な
906: 2013/03/23(土)12:49 AAS
言語の乱れは生活の乱れ
907(1): 2013/03/23(土)12:49 AAS
スペック低すぎてIDE動かないんだろどうせ
作者すら恥じたvi系のエディタを使うのは素人の遊びくらいだ
908: 2013/03/23(土)12:49 AAS
学習レベルだけど、とりあえずvim使っている。
vi系はどのOSでも動くし、vi使えれば実用上問題が発生しないことも実証されている。
909(1): 2013/03/23(土)12:49 AAS
だいたい Haskell の IDE ってまともなのあるか？
910: 2013/03/23(土)12:49 AAS
>作者すら恥じたvi系のエディタ
あの化石発言いまだに引っ張るやついるけど、
いい加減今のVimと当時のvi一緒にすんなよ
911: 2013/03/23(土)12:49 AAS
平和だなぁ
912: 2013/03/23(土)12:49 AAS
のどかに銃弾が飛び交ってますわね
913: 2013/03/23(土)12:49 AAS
>>907
上でAPIがどうこう言ってた人？
914: 2013/03/23(土)12:49 AAS
そんなことよりモナドのえろげはまだですか？
915: 2013/03/23(土)12:49 AAS
unsafePerformIOしたらダメなの〜
916: 2013/03/23(土)12:49 ID:FUuzvtAU!(1) AAS
>>909
俺も知りたい。
eclipseFP とか使っているひといないかな？
917: 2013/03/23(土)12:49 AAS
小手先の技術しか学ばない無能（その場しのぎで、将来を見通した深い考えのないこと
どこもこんなのばっか
918(1): 2013/03/23(土)12:49 AAS
おい随分抽象的だな
ﾊｽｹﾙらしい
919: 2013/03/23(土)12:49 AAS
いつ消えるかもわからんものに記憶力を割く気がしない
920: 2013/03/23(土)12:49 AAS
>>918
なあ？ゴミクズは抽象的なのがすきなんだろ？
だから抽象的にバカにしてやったんだがね
921: 2013/03/23(土)12:49 AAS
お、おう……
922: 2013/03/23(土)12:49 AAS
抽象的と聞いて、「複雑化」「単純化」のどちらを連想するかで、プログラミング適正が診断出来る。
923(1): 2013/03/23(土)12:49 AAS
プログラマなら「具体化」と言わないと…
924: 2013/03/23(土)12:49 AAS
難解になるかわりに単純になる
という印象
925: 2013/03/23(土)12:49 AAS
概念・実用両方面で、どこまでモナドを理解できているかを測るテストはないでしょうか。
なんとなく頭では分かっているような気がしますが、人にわかりやすく説明できるかと言われると、
何からどのような順で説明したらいいかとか含めて自信がなく、自分の理解度がよく分からない。
クイズやテストみたいな形で出題されると、理解度を客観的に測れるのではないかと思うのですが・・・
926(1): 2013/03/23(土)12:49 AAS
数学の一般人向けの本を立ち読みしてて、最後の20ページくらいでいきなりモナドとプログラミングの話が出てきてビビった
非決定性計算から説明してたから物凄く分かりやすかったけど、タイトル見るの忘れた
927(1): 2013/03/23(土)12:49 AAS
モナドグランプリ
928(1): 2013/03/23(土)12:49 AAS
>>926
その本知りたい。お願いだから思い出して。
929: 2013/03/23(土)12:49 AAS
>>923
それは既にプログラマ。
930: 2013/03/23(土)12:49 AAS
>>927
せーがー
931: 2013/03/23(土)12:49 AAS
>>928
本屋に行ったけどもうなかった
今年の4月に数学の新刊コーナーにあったと思う
非決定性計算演算子Pと確率計算演算子Dの似ている部分を抽象化して取り出したモノがモナドTだという説明は今まで読んだ中で一番分かりやすかった
932(1): 2013/03/23(土)12:49 AAS
他はどういう内容なの?
そっちから探したほうが早い気がする。
933: 2013/03/23(土)12:49 AAS
>>932
単行本だけど章ごとのアンソロジーみたいになってて、全部で5章くらいあって、最後の章にいきなりモナドが出てきた
他の章は応用数学だけどモナドとは無関係で独立した内容だった気がする
934: 2013/03/23(土)12:49 AAS
離散数学系?
935: 2013/03/23(土)12:49 AAS
是非特定求む
数学関連新刊一覧
外部ﾘﾝｸ[htm]:www.roy.hi-ho.ne.jp
936(1): 2013/03/23(土)12:49 AAS
たぶんこれ
外部ﾘﾝｸ:www.amazon.co.jp
最後の方の章を立ち読みすれば分かると思われ
937: 2013/03/23(土)12:49 AAS
論集みたいなものか
蓮尾一郎という人がそれっぽいね
外部ﾘﾝｸ[html]:www.iwanami.co.jp
938(1): 2013/03/23(土)12:49 AAS
数学できないゴミクズほど数学の重要性をわめきはじめるよな
なんでだろう？
戒めてるのかな
苦労したからほざいてるのかな？
そういうゴミクズは穀すべきだね
939: 2013/03/23(土)12:49 AAS
スレチ
940: 2013/03/23(土)12:49 AAS
何か嫌なことがあったんだろうけどファビョりすぎ
941: 2013/03/23(土)12:50 AAS
スレチというより鼬
942: 2013/03/23(土)12:50 AAS
喚いているのが>>938だけな件について
943: 2013/03/23(土)12:50 AAS
>>936
ありがとう
944: 2013/03/23(土)12:50 AAS
えさをあたえないでください
945: 2013/03/23(土)12:50 AAS
お前ら本当にモナドが好きなんだな・・・
946: 2013/03/23(土)12:50 AAS
モナドはお菓子のホームラン王ですから
947(1): 2013/03/23(土)12:50 AAS
最中？
948: 2013/03/23(土)12:50 AAS
スレチというより、うちはイタチ
949: 2013/03/23(土)12:50 AAS
モナド コモナド マゴモナド
950: 2013/03/23(土)12:50 AAS
上で出てた本を本屋で立ち読みしてきた
モナドそのものの説明は分かりやすいけど、型とモナドの関係はあんまり分からなかった
951: 2013/03/23(土)12:50 AAS
>>947
ナボナ知らない世代？
哀しいなぁ
952(1): 2013/03/23(土)12:50 AAS
最近いじり始めたんだけど
もう統合開発環境に慣れてるから
テキストエディタとコマンド辛い
953: 2013/03/23(土)12:50 AAS
また、そっちに話戻すのかよ！
954: 2013/03/23(土)12:50 AAS
>>952
大丈夫、エディタもすぐ慣れる
いつまでも慣れなければ歳のせいだから諦めろ
955: 2013/03/23(土)12:50 AAS
むしろ、IDEは、いちいちキーボードから手をはなしてマウスをさわるのが嫌になる
956: 2013/03/23(土)12:50 AAS
どんだけしょぼいIDE使ってるんだよ……
957: 2013/03/23(土)12:50 AAS
早くﾊｽｹﾙでIDE創れよ
958: 2013/03/23(土)12:50 AAS
Haskellでできたエディタとかあるの？
959: 2013/03/23(土)12:50 AAS
cabal install yi
960(1): 2013/03/23(土)12:50 AAS
emacs とターミナルで十分なのは俺だけか…
逆に、何を求めてIDEを使うのかが分からない
961(1): 2013/03/23(土)12:50 AAS
haskellならsublimetextとvimで良い
962(2): 2013/03/23(土)12:50 AAS
>>960
・コードと連動したウィジェットのペタ貼りによるGUIアプリの開発
・Cabal を用いたパッケージ化やテストなどの支援
・弱頭部正規化の様子やサンクなどコンパイラ内部の挙動も晒したデバッガ
・コード解析
・プロファイリングの支援
この辺りを一つに統合した、見た目や操作がシンプルな IDE を求む。
963(1): 2013/03/23(土)12:50 AAS
>>962
コードと連動したウィジェットの
というところで既にわからん(笑)
964: 2013/03/23(土)12:50 AAS
ん、俺はGUIだけは欲しいと思ったな
他は統合されてなくてもいい
965(2): 2013/03/23(土)12:50 AAS
>>963
どこが面白かったのかよく分からんが、要するにWIZIWIGなGUI開発ツールだ。
（WIZIWIG ももう死語かもしれんが）
ここでいうウィジェットというのは、Win32APIでいうところのウィンドウクラスが定義されたパーツだ。
wxやGTKなどではほぼ同じものをウィジェットと呼んでいる。
それらをWIZIWIGなGUI開発ツール上で仮想的なウィンドウにペタペタ貼っていくことで、
各ウィジェットのウィンドウ上の位置やサイズ、挙動などを直感的に定義していく。
これがよくあるIDEの機能の一つだ。
コードと連動したというのは、WIZIWIGなGUI開発ツール上でウィジェットを貼った際に、
実行時にそのウィジェットが表示されるようにプログラムコードも自動的に変更される機能だ。
逆、つまりコードを改変することでGUI開発ツール上のウィジェットが変更される機能もある。
VisualStudioのC#用にはそんな機能もあったはず（他の言語はしらん、あるかもしれん）。
ウィジェットの主だった定義をプログラムコードではなくXMLなどのファイルに分離させる場合は、
もちろんそのXMLファイルも連動する。
そのような機能を持ったGUI開発ツールがHaskell用のIDEに統合されているといいな、という話だ。
既に分からんということは、その先も分からんのか？
だったら面倒だが説明してやるぞ。
966: 2013/03/23(土)12:50 AAS
まずライブラリのリンク機能を用意しなくっちゃね
967(1): 2013/03/23(土)12:50 AAS
>>965
WYSIWYGな
968(1): 2013/03/23(土)12:50 AAS
>>967
そうだったけ
まぁいいや
969(1): 2013/03/23(土)12:50 AAS
>>965
> 既に分からんということは、その先も分からんのか？
> だったら面倒だが説明してやるぞ。
ふつーは自分で調べろってながれかと思えば
説明してくれるとはありがたい。
963ではないけれど説明してくれると幸いです。
Visual Studio とXCodeとEmacsの補完してくれるやつ(AC?)
使ったことあるんだけれど、選択候補が現れるたびに、
メニューが開いたり、(上下)キーを奪われたりでいまいちいらっとした。
なんかのWebページ見たんだけど、IntelliSenseがあると
ドキュメントを見なくて済むそうな。
でも、そんなの危なっかしくない ?
970: 2013/03/23(土)12:50 AAS
>968
What You See Is What You Get のアクロニムなんだから
まぁいいやはいかんでしょ
971(1): 2013/03/23(土)12:50 AAS
>>969
よし、至極面倒だが説明しよう。
・Cabal を用いたパッケージ化やテストなどの支援
HackageDBにアップ時に Cabal でパッケージ化したり、
Cabal で自動テストを書く際に *.cabal ファイルを書かなきゃならんが、
外部ﾘﾝｸ:itpro.nikkeibp.co.jp
外部ﾘﾝｸ:itpro.nikkeibp.co.jp
これをみると分かるように、手書きでこれをするのはちょっと死ねる。
GUIでダイアグラムやプロパティシートをちょちょっといじって設定できると便利。
・弱頭部正規形の様子やサンクなどコンパイラ内部の挙動も晒したデバッガ
（>>962 では正規化と書いたが正規形の間違いだ）
トレースしたり、printf デバッグをして変数の値を調べても、
「なんでこんな値になってんだよ」と思うことはしばしばある。
GHC が関数を評価（弱頭部正規形にまで簡約）している様子や、
その瞬間のサンク（未評価の関数）が何かわかると超便利だ。
たとえば、本当にメモ化されているのか、わざわざ処理時間を測らなくても分かるわけだ。
ガベージコレクトの様子も分かると尚良い、スペースリークの原因が容易に分かるかもしれん。
・コード解析
コードの静的な解析だ。
・プロファイリングの支援
複数のプロファイリング結果（普通のコード、最適化を施したコード、もっと最適化を施したコードなど）
を比較検討するための支援があるといい。
計算効率が改善されたのはこのコードのこの部分のおかげだという事をコードにメモ書きできたり、
そこにプロファイリング結果のグラフを貼り付けたりできると便利だろ。
こういうことが、Emacs から個々の機能を呼び出して個別にインタラクトするのではなく、
IDE として統合されていて、全ての機能が情報を共有していて有機的に機能すれば素晴らしい。
972: 2013/03/23(土)12:50 AAS
個別にインタラクト以上に何が必要なのか全くわからんのだが
973: 2013/03/23(土)12:50 AAS
そもそもEmacsから呼べる必要性すら感じない機能ばっかりなんだけど……
974: 2013/03/23(土)12:50 AAS
効率がまったく違うんだけど
給料泥棒すぎる
975: 2013/03/23(土)12:50 AAS
ああ、説明できないのね。理解した
976: 2013/03/23(土)12:50 AAS
理解早いな
977: 2013/03/23(土)12:50 AAS
ソースの編集だけはemacsでやりたい
978: 2013/03/23(土)12:50 AAS
IDEの利点って、コード解析と補完を統合したIntelliSenceとか、コード解析と編集を統合したリファクタリング機能とかじゃないの
>>971は何と何を統合してどんな機能を実現したいんだ？
979: 2013/03/23(土)12:50 AAS
IDEの利点は、たとえどんなに使いにくくて効率が悪くても、同じ方法同じスクリーンショットで開発手順を教育できるという点です
980: 2013/03/23(土)12:50 AAS
使い分けりゃいいだけなのに
無能はすぐ否定するんだから
981: 2013/03/23(土)12:50 AAS
IDE厨は低能揃いだなぁ
982: 2013/03/23(土)12:50 AAS
機能詰め込めば解決すると思ってるからな
IDE使ってない人間は単に個々の機能使い分けてるだけなのに
983: 2013/03/23(土)12:50 AAS
IDE使わない人は関数の呼び出し階層どうやって調査してるの？
984(1): 2013/03/23(土)12:50 AAS
ん？遥か昔からtagジャンプと呼ばれてるアレ？
985(1): 2013/03/23(土)12:50 AAS
統合環境を馬鹿にしてる奴は、つまり自分のことしか考えていない。
統合環境を使いたくない奴は使わなければいいだけのこと。
haskellが広く普及するためには避けられないことだ。
986: 2013/03/23(土)12:50 AAS
Haskellなんて趣味でしか使わんからw
987: 2013/03/23(土)12:50 AAS
大規模システムに使われている例はすでにある。
一年ほど前の日経コンピュータ？に載ってる。
つまり、趣味でしか使わんからと言ってる奴は、ただの世間知らず。
haskellがもっと広く普及するためには統合環境は不可欠。
使いたくない奴は使わなければいいだけのこと。
988: 2013/03/23(土)12:50 AAS
>>984
タグジャンプじゃなくて目的の関数を呼び出してる関数を再帰的に全部列挙する機能
もちろん列挙した関数へジャンプできる
この機能がないと中規模以上のプロジェクトでは仕事にならない気がする
市場トラブルで即日対応が求められるような場合もちんたらemacsとかやってるのかっていう素朴な疑問
989: 2013/03/23(土)12:50 AAS
統合環境を馬鹿にしてるんじゃなくて
統合環境がないと不便だなんて言ってる似非プログラマを馬鹿にしている
990: 2013/03/23(土)12:50 AAS
日経コンピュータｗ
まあそれでなくては困るなｗ
991: 2013/03/23(土)12:50 AAS
便利なツールを使わない玄人思考の似非プログラマっているよね…
趣味ならテクニックに溺れるのは勝手だけど人生は短いよ？
992: 2013/03/23(土)12:50 AAS
統合環境を馬鹿にしてないのに、ないと不便だと言ったら似非？
統合環境のどこに価値を見出してるのか意味不明
993: 2013/03/23(土)12:50 AAS
使い分けだって言ってるのにまだ理解できてないんだな
自分の希望を自分で叶えず長文で垂れ流すだけの奴に言っても無駄かな
994: 2013/03/23(土)12:50 AAS
まあ関数の呼び出し機能でタグジャンプなんて出てくる時点で
化石みたいな環境から改善する努力を怠ってる人間だと言うのは想像できる
995(1): 2013/03/23(土)12:50 AAS
それ具体的にどう使い分けてんのか言わないと説得力ないで
まあ挙げられんだろうが
996: 2013/03/23(土)12:50 AAS
>>995
具体的に使う頻度が高いのはGUIデザイナとリファクタぐらい
設計は今のところ単体のが効率いいから触ってないし
どうだ？統合環境だから何もかも便利とは限らないだろう
997: 2013/03/23(土)12:50 AAS
一行消えてたぜ
エディタは使ってない奴多いんじゃないかなと書いた
998: 2013/03/23(土)12:50 AAS
おまいら次スレがですね
999: 2013/03/23(土)12:50 AAS
そろそろ消え
1000: 2013/03/23(土)12:50 AAS
>>985
Haskellが広く普及なんて永遠にしないのに、なんでそんなこと気にするんだ？
1001: １００１ 2013/03/23(土)12:51 AAS
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.149s*