○○型言語と呼ばれるために備えるべき最低限の条件についての検討

○○型言語と呼ばれるために備えるべき最低限の条件はなんだろう？というのを検討してみました。

Transcript

1. ◦◦型言語と呼ばれるために 備えるべき最低限の条件 についての検討 @tsuda_ahr
2. たとえば、こんな単語がございまして。 • 構造化言語 • オブジェクト指向言語 • 関数型言語
3. 免責 • 最低限、なにがあれば「◦◦型言語」と言えるのかを検討してみまし た。 • 私見に基づいており、根拠などはあまりありません。 • なお、 ◦◦型言語についての最低要件は何か、を検討してみたので あって、 ◦◦指向プログラミングや◦◦指向設計とかとはまるで関 連がありませんので、その点も注意してください。
4. 1.構造化言語であるための条件
5. 構造化言語の条件 • IF がブロック文で書けること。 以上。 ____________________________ ちなみに if のブロック文とはこんなやつ if (条件) { 処理 } 註) FOR と WHILE は非構造化BASIC でも ブロック文なので、条件から排除
6. BASIC(構造化対応以前)の場合 10 A = 100 20 IF A > 0 THEN GOTO 30 ELSE GOTO 50 30 A = 200 40 GOTO 60 50 A = 300 60 PRINT A 70 END
7. 構造化BASICの場合 10 A = 100 20 IF A > 0 THEN 30 A = 200 40 ELSE 50 A = 300 51 ENDIF 60 PRINT A 70 END
8. ここでいう「構造化」とは何か 構造化定理(だいくすとら)に従ってプログラムが書けること。 構造化定理とは、以下の３要素でプログラムは書けるというアレ。 • 順次 • 反復 • 分岐 GOTO論争の元ネタ。 → 分岐のために GOTO を使わなくていい = 構造化プログラミング言語
9. 以下はおまけ機能 ① 変数のスコープ (ローカルスコープ) ② 引数 / 戻値 ③ 閉じたサブルーチン(=C言語的な関数) ④ 去勢された GOTO (exit for とか)
10. 閉じたサブルーチン？ BASIC ではこんな記述が可能だった 10 PRINT "AAA" 20 GOSUB 50 30 PRINT "CCC" 40 END 50 PRINT "BBB“ 60 RETURN 61 GOTO 30 ←RETURN の代わりにこう書いてもエラーにならない # エラーにはなりませんが、メモリリークします。 # 最近の Visual Basic とかでは不可です。 ルーチンの境界
11. 2.オブジェクト指向言語であるための条件
12. オブジェクト指向言語の条件 • new ができること (this が使えること) 以上。
13. 以下はおまけ機能 ① 継承 ② 多態性 ③ コンストラクタ ④ メッセージパッシング ⑤ カプセル化 ⑥ スコープ (private / protected 等) ⑦ 名前空間 ⑧ テンプレート (ジェネリック) ⑨ 例外機構
14. Cの場合 (new がない場合) Cの場合、こう書くと ゲーム盤はプログラムで 1枚しか持てない。 enum FACE { NONE, DARK, LIGHT }; void main() { piece_put(3,3,DARK); piece_put(4,4,DARK); piece_put(3,4,LIGHT); piece_put(4,3,LIGHT); } int _board[8][8]; // ゲーム盤 void piece_put(int x,int y,int face) { _board[x][y] = face; // 反転処理 } main.c board.c なので、複数のゲーム盤を持たせたい場合は、 piece_put(*board, x, y, face) みたいな感じで、呼び出し側が操作するゲーム盤を指定します。
15. 結局のところ オブジェクト指向って。 • 構造化プログラミング言語 (Cとか) board b; // 構造体 piece_put(&b, x, y, face); • オブジェクト指向プログラミング言語 var b = new board(); b.piece_put(x, y, face); 移動しただけ
16. 3.関数型言語 (函数型言語?) であるための条件
17. 関数型言語の条件 今回の条件は２つ 1) 関数を変数に代入できる 2) 制御構文も文ではなく式 ( 具体的には IF が値を戻す )
18. 変数？代入? せんせー。(純粋)関数言語には、変数や代入がないと聞きました！ ↓ やかましい！ 却下！！ 気になる人は「束縛」とか「破壊的代入」とか「シャドーイング」とかを調べてみてください。
19. 文と式 • 文(STATEMENT) 値の戻らない命令文のこと。 if / for / return など。 • 式(EXPRESSION) 値を戻す式や関数のこと。 • 条件式 a == b • 論理式 a & b • 算術式 a + b * c • 関数 sin(a)
20. でも関数型言語でないと、これらは不可なのか？ 実はそうでもない。 ＿|￣|◦ 1) 関数を変数に代入できる → Javascript / C# などでもできる。 2) 制御構文も文ではなく式 → Ruby の If は値を戻す。
21. 関数が変数に代入できる function test() { return function(x) { return x * 2 } } var a = test() alert( a(10) ) Javascript 戻り値に引数を渡し て実行できる。 関数で戻せる。
22. if が式 Ruby F# (関数型言語) a = 100 b = if (a >= 100) a = 200 else a = 300 end printf "%d¥n",a 結果: 200 結果: 100 let a = 100 let b = if (a >= 100) then let a = 200 () else let a = 300 () printf "%d¥n" a ;;
23. 関数型の式の特徴 • 閉じている。 • 式の外のデータは参照できるが、式の外のデータを操作することができない (基本的には)
24. 関数型の場合、正しくはこんな感じで書きます F# (関数型言語) 結果: 200 let a = 100;; let a = if (a >= 100) then 200 else 300 printf "%d¥n" a ;;
25. 以下はおまけ機能 • 参照透過性 • 副作用がない • カリー化 • メモ化 • 部分適用 • 関数合成 • 並列動作に強い
26. まとめ オブジェクト指向とか関数型とか言っても怖くないよ！ってことで。 (意味不明)
27. ご清聴ありがとうございました