命令型プログラミング
最初の命令型言語はコンピュータ本来の機械語であった。1949年に機械コードをニーモニックに置き換えた低水準言語のアセンブラが登場した。機械語とアセンブラの命令は非常に単純であり、ハードウェアの実装は容易になっていたが、複雑なプログラムの作成は困難だった。1954年からIBMのジョン・バッカスが、初の高水準言語「FORTRAN」を開発した。FORTRANは機械語やアセンブラでの複雑なプログラム作成の困難さを克服するための言語であった。FORTRANはコンパイル式の手続き型言語であり、名前付きの変数、ニーモニックよりずっと複雑な式、サブプログラムといった命令型言語に共通の各種機能が利用可能であった。1958年から1960年代にかけて数学的アルゴリズムをより表現し易くする目的で手続き型言語「ALGOL」が開発された。手続きと制御フロー構文の導入で洗練されたALGOLは、バロースB5000などのコンピュータ用OS制作にも使われた。1959年から開発された事務処理用の「COBOL」と、1964年に制作された教育用の「BASIC」はどちらもソースコードを人間の可読性に合わせたテキスト寄りにした。