[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part22 (1001ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
962(2): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>960
・コードと連動したウィジェットのペタ貼りによるGUIアプリの開発
・Cabal を用いたパッケージ化やテストなどの支援
・弱頭部正規化の様子やサンクなどコンパイラ内部の挙動も晒したデバッガ
・コード解析
・プロファイリングの支援
この辺りを一つに統合した、見た目や操作がシンプルな IDE を求む。
963(1): デフォルトの名無しさん [sage] 2013/03/23(土)12:50
>>962
コードと連動したウィジェットの
というところで既にわからん(笑)
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 として統合されていて、全ての機能が情報を共有していて有機的に機能すれば素晴らしい。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.054s