第6回放送授業「ソフトウェアのしくみ」 7 高水準プログラム言語 7.1 高水準プログラム言語の種類 • • • • • 手続き型プログラム言語オブジェクト指向プログラム言語関数型プログラム言語論理プログラム言語その他、問い合わせ型言語やスクリプト言語など 7.2 手続き型プログラム言語 • C、Fortran、Basic などもっとも多い • • • • 構造化プログラミングとするモジュール化する大域変数をなるべく使わないモジュール間のやりとりは、引数、戻り値を利用し、明示的に 7.3 オブジェクト指向プログラム言語 • C++、SmallTalk、Java、Python、 Ruby、Perl など • 手続き型言語を兼ねるものが多い • Object とは • Method 7.4 関数型プログラム言語 • Lisp など • 参照透明性がある • 副作用がない（厳密には守られないことが多い） • 第一級関数である • SUM(5, MULTI(3, 2), 1) (SUM 5 (MULTI 3 2) 1)←LISP 7.5 論理プログラム言語 • Prologなど • 三段論法 • 人間 ( ソクラテス ). 死ぬ (X) :- 人間 (X). ?- 死ぬ ( ソクラテス ). • その他スクリプトなど – Windows のコマンド – Web の Java スクリプト – PHP など 7.6 Web に適合した言語 • 文字列処理を得意とした言語 Perl，Python，Ruby，PHP，Javaなど 7.7 コンパイラとインタプリタコンパイラの仕事 • ソースプログラム ↓ コンパイラ（インタプリタ）目的プログラム（機械語） ↓ ライブラリーのリンク実行プログラム中間言語 • ソースプログラム ↓ 第１フェーズトークンへの分離構文解析（構文木作成）中間表現 ↓ 第２フェーズ制御の解析最適化目的プログラム • トークンへの分離 [’A’-’Z’’a’-’z’][’A’-’Z’’a’-’z’’0’-’9’]* • 構文チェック:バッカス・ナウア記法 list ::= ’(’ expression* ’)’ expression ::= atom | list atom ::= number | symbol number ::= [+-]?[’0’-’9’]+ symbol ::= [’A’-’Z’’a’-’z’].* • 構文木作成 • 中間表現生成 • アセンブラー言語生成 – ジャンプの解析 – 簡単な最適化 • 機械語生成 • ライブラリーリンク • 実行プログラム生成 7.8 デバグ • bug（虫） • debug • debugger