Changes between Version 7 and Version 8 of HowTo/BoostStudy4

Timestamp:

Feb 26, 2011, 1:26:52 PM (15 years ago)

Author:

村山 俊之

Comment:

--

HowTo/BoostStudy4

@@ -274 +274 @@
  * 関数を取得 - alGetProcAddress
 
+
+== C++の悪口を言う ==
+
+=== Discriminating hackers が選ぶ言語 ===
+
+ * ICFP 関数プログラミング学会が毎年プログラミングコンテストを開催
+ * 前回の優勝者 shinh ＆言語 C++
+ * よりにもよって手続き型の C++ が関数プログラミングの学会主催のコンテストで (ry
+ * 今回は C++ & Haskell & Python だたーよ
+   * C++ 担当して他のが tanakh さ
+     * 俺だけは悪口を言う権利がある!! (tanakh さ)
+
+=== 型 ===
+
+ * 同じ型を何度も書かされる。
+   * typedef 使え → 意味のない名前を考えなきゃいけない、名前空間も無駄に汚れる
+   * 0x 使え (auto) → 0x 使わせて (゛;ω;｀)
+ * 読ませる気のないコンパイルエラー
+   * 行番号しか参考にならん
+   * gcc4.5 デフォルト型引数の省略などが入ったが…
+     * そも型が大きいと意味がない
+     * そも構造上の問題?
+ * 型推論が非力
+   * そも型推論とは Type Reconstruction である
+   * C++0x では、すべての型を推論できるわけではない
+     * ○ローカル変数 (auto)
+     * ○ラムダ式の返値
+     * ×関数の引数
+     * ×クラスメンバ
+   * Hindly-Milner型の型推論が出来ない
+
+=== テンプレート ===
+
+ * template の型パラメータは forall ではない
+{{{
+template <class T>
+T id(T v) { return v; }
+}}}
+   * 引数に対して任意の操作が可能
+{{{
+template<class T>
+void id(T v){ v.foo{}; }
+}}}
+   * どういう型がつくのが妥当なのだろうか?
+   * 実際には C++ ではテンプレート関数自体には型はつかない
+ * C++ のテンプレートは何なの?
+   * 見た目 structual な sub typing を実現している
+   * sub type relation の解決をインスタンス時に各々行う
+   * コンパイル時に型レベルでコードを実行するようなもの
+ * その代償
+   * テンプレート関数を宣言時ではなく使用時にインスタンス化、それに対して型つけ
+   * つまり
+     * テンプレート関数を分割コンパイルできない
+     * テンプレート関数自体には型がつかない
+     * コンパイルエラーが意味不明に…
+ * 分割コンパイルできない
+ * コンパイル速度 ... 最悪の倍、コンパイル時間がファイル数の二乗のオーダーに
+ * ファイル感の依存性
+   * pinpl のようなバッドノウハウ
+     * 実行速度低下
+     * コードがまどろっこしい
+ * ヘッダに書くことによる問題
+   * namespace地獄
+     * using namespace させて…
+ * テンプレートに型がつかない
+   * 型は非常によいドキュメントになるんだが…
+     * 人がある程度注釈することは出来るが…
+ * 今は亡きコンセプトさん…
+   * テンプレート引数への要件の明示によるドキュメント性の改善
+   * インスタンス化->型チェックによらずに型チェックが出来るようになり、コンパイルエラーの改善
+   * コンセプトさえあれば…
+
+=== 関数プログラミング ===
+
+ * オブジェクト指向+関数型
+   * すべてのものはオブジェクトであるべき
+   * すべてのものは関数であるべき
+   * 関数がオブジェクトであると言うこと
+     * 関数につく型が凄くいびつに
+       * 関数型ならシンプルなのに…
+ * ラムダ式
+   * [](int x){ ... }(); ... とにかくキモイｗ
+   * ラムダ式の型がいけてない
+ * 関数の型
+   * function クラスを用いると簡単
+     * しかしパフォーマンス低下
+       * inline 展開されない
+     * 単なるテンプレートパラメータが好まれている
+ * たそう関数
+ * テンプレート関数の値
+ * 総称型がない
+ * Boost.Lambda でのラムダ式
+   * 非常に分かりにくい型になってしまう…
+ * パターンマッチ
+ * カリー化
+   * 純粋関数的に状態を持ち回るのがとてもやりやすくなる
+   * オブジェクト vs 関数
+   * 関数プログラミングでは次の状態として関数を返すことがよくある
+
+=== まとめ ===
+
+ * まだまだ言いたいことはあるが…
+ * C++ にも良いところはあるよ
+   * 適当に書いてもそれなりに速い
+   * 0x でそれなりに改善