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

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

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

902(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:49
すごいどうでもいい

903: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
>>900
コードスニペット程度の使い方をしているとエスパー。

904: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
その程度の使い方ならそれこそVimで十分じゃないか……

905: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
>>902
すごいどうでもいい事だが、本来は「すごくどうでもいい」な

906: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
言語の乱れは生活の乱れ

907(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:49
スペック低すぎてIDE動かないんだろどうせ
作者すら恥じたvi系のエディタを使うのは素人の遊びくらいだ

908: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
学習レベルだけど、とりあえずvim使っている。
vi系はどのOSでも動くし、vi使えれば実用上問題が発生しないことも実証されている。

909(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:49
だいたい Haskell の IDE ってまともなのあるか？

910: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
>作者すら恥じたvi系のエディタ
あの化石発言いまだに引っ張るやついるけど、
いい加減今のVimと当時のvi一緒にすんなよ

911: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
平和だなぁ

912: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
のどかに銃弾が飛び交ってますわね

913: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
>>907
上でAPIがどうこう言ってた人？

914: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
そんなことよりモナドのえろげはまだですか？

915: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
unsafePerformIOしたらダメなの～

916: デフォルトの名無しさん [sage] 2013/03/23(土)12:49 ID:FUuzvtAU!(1)
>>909
俺も知りたい。
eclipseFP とか使っているひといないかな？

917: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
小手先の技術しか学ばない無能（その場しのぎで、将来を見通した深い考えのないこと

どこもこんなのばっか

918(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:49
おい随分抽象的だな
ﾊｽｹﾙらしい

919: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
いつ消えるかもわからんものに記憶力を割く気がしない

920: デフォルトの名無しさん [] 2013/03/23(土)12:49
>>918
なあ？ゴミクズは抽象的なのがすきなんだろ？
だから抽象的にバカにしてやったんだがね

921: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
お、おう……

922: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
抽象的と聞いて、「複雑化」「単純化」のどちらを連想するかで、プログラミング適正が診断出来る。

923(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:49
プログラマなら「具体化」と言わないと…

924: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
難解になるかわりに単純になる
という印象

925: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
概念・実用両方面で、どこまでモナドを理解できているかを測るテストはないでしょうか。

なんとなく頭では分かっているような気がしますが、人にわかりやすく説明できるかと言われると、
何からどのような順で説明したらいいかとか含めて自信がなく、自分の理解度がよく分からない。

クイズやテストみたいな形で出題されると、理解度を客観的に測れるのではないかと思うのですが・・・

926(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:49
数学の一般人向けの本を立ち読みしてて、最後の20ページくらいでいきなりモナドとプログラミングの話が出てきてビビった
非決定性計算から説明してたから物凄く分かりやすかったけど、タイトル見るの忘れた

927(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:49
モナドグランプリ

928(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:49
>>926
その本知りたい。お願いだから思い出して。

929: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
>>923
それは既にプログラマ。

930: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
>>927
せーがー

931: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
>>928
本屋に行ったけどもうなかった
今年の4月に数学の新刊コーナーにあったと思う

非決定性計算演算子Pと確率計算演算子Dの似ている部分を抽象化して取り出したモノがモナドTだという説明は今まで読んだ中で一番分かりやすかった

932(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:49
他はどういう内容なの?
そっちから探したほうが早い気がする。

933: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
>>932
単行本だけど章ごとのアンソロジーみたいになってて、全部で5章くらいあって、最後の章にいきなりモナドが出てきた
他の章は応用数学だけどモナドとは無関係で独立した内容だった気がする

934: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
離散数学系?

935: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
是非特定求む

数学関連新刊一覧
http://www.roy.hi-ho.ne.jp/shomoku/ntb/4/a01.htm

936(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:49
たぶんこれ
http://www.amazon.co.jp/%E8%B6%8A%E5%A2%83%E3%81%99%E3%82%8B%E6%95%B0%E5%AD%A6-%E8%A5%BF%E6%B5%A6-%E5%BB%89%E6%94%BF/dp/4000050958/ref=sr_1_1?s=books&ie=UTF8&qid=1375793177&sr=1-1

最後の方の章を立ち読みすれば分かると思われ

937: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
論集みたいなものか
蓮尾一郎という人がそれっぽいね
http://www.iwanami.co.jp/moreinfo/0050950/top.html

938(1): デフォルトの名無しさん [] 2013/03/23(土)12:49
数学できないゴミクズほど数学の重要性をわめきはじめるよな
なんでだろう？
戒めてるのかな
苦労したからほざいてるのかな？

そういうゴミクズは穀すべきだね

939: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
スレチ

940: デフォルトの名無しさん [sage] 2013/03/23(土)12:49
何か嫌なことがあったんだろうけどファビョりすぎ

941: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
スレチというより鼬

942: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
喚いているのが>>938だけな件について

943: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>936
ありがとう

944: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
えさをあたえないでください

945: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
お前ら本当にモナドが好きなんだな・・・

946: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
モナドはお菓子のホームラン王ですから

947(1): デフォルトの名無しさん [] 2013/03/23(土)12:50
最中？

948: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
スレチというより、うちはイタチ

949: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
モナド　コモナド　マゴモナド

950: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
上で出てた本を本屋で立ち読みしてきた
モナドそのものの説明は分かりやすいけど、型とモナドの関係はあんまり分からなかった

951: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>947
ナボナ知らない世代？
哀しいなぁ

952(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
最近いじり始めたんだけど
もう統合開発環境に慣れてるから
テキストエディタとコマンド辛い

953: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
また、そっちに話戻すのかよ！

954: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>952
大丈夫、エディタもすぐ慣れる

いつまでも慣れなければ歳のせいだから諦めろ

955: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
むしろ、IDEは、いちいちキーボードから手をはなしてマウスをさわるのが嫌になる

956: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
どんだけしょぼいIDE使ってるんだよ……

957: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
早くﾊｽｹﾙでIDE創れよ

958: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
Haskellでできたエディタとかあるの？

959: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
cabal install yi

960(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
emacs とターミナルで十分なのは俺だけか…
逆に、何を求めてIDEを使うのかが分からない

961(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
haskellならsublimetextとvimで良い

962(2): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>960
・コードと連動したウィジェットのペタ貼りによるGUIアプリの開発
・Cabal を用いたパッケージ化やテストなどの支援
・弱頭部正規化の様子やサンクなどコンパイラ内部の挙動も晒したデバッガ
・コード解析
・プロファイリングの支援

この辺りを一つに統合した、見た目や操作がシンプルな IDE を求む。

963(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>962
コードと連動したウィジェットの
というところで既にわからん(笑)

964: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
ん、俺はGUIだけは欲しいと思ったな
他は統合されてなくてもいい

965(2): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>963
どこが面白かったのかよく分からんが、要するにWIZIWIGなGUI開発ツールだ。
（WIZIWIG ももう死語かもしれんが）

ここでいうウィジェットというのは、Win32APIでいうところのウィンドウクラスが定義されたパーツだ。
wxやGTKなどではほぼ同じものをウィジェットと呼んでいる。
それらをWIZIWIGなGUI開発ツール上で仮想的なウィンドウにペタペタ貼っていくことで、
各ウィジェットのウィンドウ上の位置やサイズ、挙動などを直感的に定義していく。
これがよくあるIDEの機能の一つだ。

コードと連動したというのは、WIZIWIGなGUI開発ツール上でウィジェットを貼った際に、
実行時にそのウィジェットが表示されるようにプログラムコードも自動的に変更される機能だ。
逆、つまりコードを改変することでGUI開発ツール上のウィジェットが変更される機能もある。
VisualStudioのC#用にはそんな機能もあったはず（他の言語はしらん、あるかもしれん）。
ウィジェットの主だった定義をプログラムコードではなくXMLなどのファイルに分離させる場合は、
もちろんそのXMLファイルも連動する。

そのような機能を持ったGUI開発ツールがHaskell用のIDEに統合されているといいな、という話だ。

既に分からんということは、その先も分からんのか？
だったら面倒だが説明してやるぞ。

966: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
まずライブラリのリンク機能を用意しなくっちゃね

967(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>965
WYSIWYGな

968(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>967
そうだったけ

まぁいいや

969(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>965
> 既に分からんということは、その先も分からんのか？
> だったら面倒だが説明してやるぞ。

ふつーは自分で調べろってながれかと思えば
説明してくれるとはありがたい。

963ではないけれど説明してくれると幸いです。

Visual Studio とXCodeとEmacsの補完してくれるやつ(AC?)
使ったことあるんだけれど、選択候補が現れるたびに、
メニューが開いたり、(上下)キーを奪われたりでいまいちいらっとした。

なんかのWebページ見たんだけど、IntelliSenseがあると
ドキュメントを見なくて済むそうな。
でも、そんなの危なっかしくない ?

970: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>968
What You See Is What You Get のアクロニムなんだから
まぁいいやはいかんでしょ

971(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>969
よし、至極面倒だが説明しよう。

・Cabal を用いたパッケージ化やテストなどの支援
HackageDBにアップ時に Cabal でパッケージ化したり、
Cabal で自動テストを書く際に *.cabal ファイルを書かなきゃならんが、
http://itpro.nikkeibp.co.jp/article/COLUMN/20121106/435201/?ST=ittrend
http://itpro.nikkeibp.co.jp/article/COLUMN/20121205/442042/?ST=ittrend
これをみると分かるように、手書きでこれをするのはちょっと死ねる。
GUIでダイアグラムやプロパティシートをちょちょっといじって設定できると便利。

・弱頭部正規形の様子やサンクなどコンパイラ内部の挙動も晒したデバッガ
（>>962 では正規化と書いたが正規形の間違いだ）
トレースしたり、printf デバッグをして変数の値を調べても、
「なんでこんな値になってんだよ」と思うことはしばしばある。
GHC が関数を評価（弱頭部正規形にまで簡約）している様子や、
その瞬間のサンク（未評価の関数）が何かわかると超便利だ。
たとえば、本当にメモ化されているのか、わざわざ処理時間を測らなくても分かるわけだ。
ガベージコレクトの様子も分かると尚良い、スペースリークの原因が容易に分かるかもしれん。

・コード解析
コードの静的な解析だ。

・プロファイリングの支援
複数のプロファイリング結果（普通のコード、最適化を施したコード、もっと最適化を施したコードなど）
を比較検討するための支援があるといい。
計算効率が改善されたのはこのコードのこの部分のおかげだという事をコードにメモ書きできたり、
そこにプロファイリング結果のグラフを貼り付けたりできると便利だろ。

こういうことが、Emacs から個々の機能を呼び出して個別にインタラクトするのではなく、
IDE として統合されていて、全ての機能が情報を共有していて有機的に機能すれば素晴らしい。

972: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
個別にインタラクト以上に何が必要なのか全くわからんのだが

973: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
そもそもEmacsから呼べる必要性すら感じない機能ばっかりなんだけど……

974: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
効率がまったく違うんだけど
給料泥棒すぎる

975: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
ああ、説明できないのね。理解した

976: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
理解早いな

977: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
ソースの編集だけはemacsでやりたい

978: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
IDEの利点って、コード解析と補完を統合したIntelliSenceとか、コード解析と編集を統合したリファクタリング機能とかじゃないの
>>971は何と何を統合してどんな機能を実現したいんだ？

979: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
IDEの利点は、たとえどんなに使いにくくて効率が悪くても、同じ方法同じスクリーンショットで開発手順を教育できるという点です

980: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
使い分けりゃいいだけなのに
無能はすぐ否定するんだから

981: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
IDE厨は低能揃いだなぁ

982: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
機能詰め込めば解決すると思ってるからな
IDE使ってない人間は単に個々の機能使い分けてるだけなのに

983: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
IDE使わない人は関数の呼び出し階層どうやって調査してるの？

984(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
ん？遥か昔からtagジャンプと呼ばれてるアレ？

985(1): デフォルトの名無しさん [] 2013/03/23(土)12:50
統合環境を馬鹿にしてる奴は、つまり自分のことしか考えていない。
統合環境を使いたくない奴は使わなければいいだけのこと。
haskellが広く普及するためには避けられないことだ。

986: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
Haskellなんて趣味でしか使わんからw

987: デフォルトの名無しさん [] 2013/03/23(土)12:50
大規模システムに使われている例はすでにある。
一年ほど前の日経コンピュータ？に載ってる。

つまり、趣味でしか使わんからと言ってる奴は、ただの世間知らず。

haskellがもっと広く普及するためには統合環境は不可欠。
使いたくない奴は使わなければいいだけのこと。

988: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>984
タグジャンプじゃなくて目的の関数を呼び出してる関数を再帰的に全部列挙する機能
もちろん列挙した関数へジャンプできる
この機能がないと中規模以上のプロジェクトでは仕事にならない気がする
市場トラブルで即日対応が求められるような場合もちんたらemacsとかやってるのかっていう素朴な疑問

989: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
統合環境を馬鹿にしてるんじゃなくて
統合環境がないと不便だなんて言ってる似非プログラマを馬鹿にしている

990: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
日経コンピュータｗ
まあそれでなくては困るなｗ

991: デフォルトの名無しさん [] 2013/03/23(土)12:50
便利なツールを使わない玄人思考の似非プログラマっているよね…
趣味ならテクニックに溺れるのは勝手だけど人生は短いよ？

992: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
統合環境を馬鹿にしてないのに、ないと不便だと言ったら似非？
統合環境のどこに価値を見出してるのか意味不明

993: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
使い分けだって言ってるのにまだ理解できてないんだな
自分の希望を自分で叶えず長文で垂れ流すだけの奴に言っても無駄かな

994: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
まあ関数の呼び出し機能でタグジャンプなんて出てくる時点で
化石みたいな環境から改善する努力を怠ってる人間だと言うのは想像できる

995(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
それ具体的にどう使い分けてんのか言わないと説得力ないで
まあ挙げられんだろうが

996: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>995
具体的に使う頻度が高いのはGUIデザイナとリファクタぐらい
設計は今のところ単体のが効率いいから触ってないし
どうだ？統合環境だから何もかも便利とは限らないだろう

997: デフォルトの名無しさん [] 2013/03/23(土)12:50
一行消えてたぜ
エディタは使ってない奴多いんじゃないかなと書いた

998: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
おまいら次スレがですね

999: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
そろそろ消え

1000: デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>985
Haskellが広く普及なんて永遠にしないのに、なんでそんなこと気にするんだ？

1001: １００１ [] 2013/03/23(土)12:51
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.028s