言語の世界

言語の世界 Powered by Rabbit 0.9.2

言語の世界

ネットワーク応用通信研究所楽天技術研究所

Rubyアソシエーション@yukihiro_matz

まつもとゆきひろYukihiro "Matz" Matsumoto


プログラミング言語って？

言語ってなんだろう？



プログラム＝手順書

手順書記述用人工言語



プログラム＝理想記述

思考表現用人工言語


せめぎあうふたつの立場

機械のためか？

人間のためか？


FORTRAN (1954)

FORmula TRANslator


FORTRAN (1954)

人間のため

数式でプログラムできるよう


FORTRAN (1954)

機械のため

速く計算できるためにはどんなことでも


FORTRAN (1954)

ループアンローリング

ベクトル化


FORTRAN (1954)

背景

コンピュータが遅かった


FORTRAN (1954)

背景

「言語の常識」がまだなかった


LISP (1958)

LISt Processor


LISP (1958)

人間のため

数学的概念からスタートラムダ計算


LISP (1958)

機械のため

IBM704計算機car＝content of address registercdr＝content of data register


LISP (1958)

人間のため

ガーベージコレクター


LISP (1958)

人間のため

Lispプログラマは値はなんでも知っているが、コストについてはなにも知らない


LISP vs FORTRAN

人間主義 vs 機械主義


勝者は？

Algol!


漁夫の利

原始的すぎるFORTRAN

数学的すぎるLISP

求められたのはアルゴリズム記述


新たな伝統の誕生

Algolは滅びぬ！何度でもよみがえるさ


Algol属

Algol → PL/I

Algol → Pascal


Algol属

Ada, Eiffel, C, C++, Java,...


Lispへの揺り戻し

Smalltalk, Scheme, Ruby,...


言語のカンブリア爆発

カンブリア爆発

古生代カンブリア紀の間に突如として今日見られる動物の「門」が出そろった現象




1960年代後半から1970年代前半までに多種多様な言語が誕生した現象


言語のカンブリア爆発現在の「重要」な言語分類の基礎

システムプログラミング言語C:1972

オブジェクト指向言語Simula:1967

スクリプト言語Shell:1971

関数型言語ML:1972



「変な言語」も

配列指向言語APL:1960

論理型言語Prolog:1972

並列言語アクターモデル:1973


つまり、どういうことか

キバヤシ

優れた言語のアイディアは1970年代までに出揃っているのだよ！

MMRメンバー

なんだってーーっ！！


言語設計者受難の時代

どうせ既存のものの組み合わせさ


そうは言っても

人気の言語はそれなりに新しい

Perl (1986)

Python (1990)

Ruby (1995)

PHP(1995)


そうは言っても

人気の言語はそれなりに新しい

Java (1995)

C# (2000)

Scala (2003)

Erlang (1986)


新しい？

とは言っても１０年、２０年


新しい？

言語の世界じゃ１０年くらいじゃまだまだはなたれ小僧さ


新しい言語の動機

作りたかったから

新しいパラダイム

新しい環境

新しい制約



構造化プログラミング

オブジェクト指向プログラミング

関数型プログラミング



ここ２０年くらい登場してないなあ



過去のパラダイムの組み合わせ



既存のパラダイムの組み合わせ

並列＋関数型

オブジェクト指向＋関数型

並列＋論理型


既存のパラダイムの組み合わせ

バランスの良い組み合わせ


新しい環境

新しいOS

新しいCPU

新しいアプリケーション


新しいアプリケーション

Web

MapReduce


新しい制約

CPU数

メモリ量

データ量

アクセス量


どこまでが言語か

文法

ライブラリ

アーキテクチャ



デザインパターン

コミュニティ

エコシステム



思想

人格


　

温故知新


　

歴史から学ぶ


　

歴史のパターン


歴史の振り子

集中 vs 分散


歴史の振り子

性能 vs 生産性


歴史の振り子

静的 vs 動的


歴史の振り子

正確さ vs 柔軟さ


未来の言語

APL


APL

APLによるライフゲーム


未来の言語

Whitespace


Whitespace

Whitespaceによるhello world


未来の言語

新しいぶどう酒は新しい皮袋に

[「マタイ 9:17」より引用]


旧来の言語

古いぶどう酒は古い皮袋に


未来の言語

大規模分散

高抽象度


未来へのパラメータ

データ量

アクセス量

CPU数


データ量

ビッグデータ


アクセス量

クラウド

ソーシャルゲーム


CPU数

マルチコア

クラウド


未来の言語

Erlang

Node.js

R

SQL

の発展形


Erlang

分散

アクターモデル


Node.js

大量アクセス

非同期I/O


R

統計・解析

ビッグデータ連携 (R-ODM)


SQL

宣言的データ取得

高抽象度

Hive


言語の楽しさ

プログラミングの楽しさ


言語の楽しさ

言語＝プログラミング


言語の楽しさ

言語実装＝プログラミング


言語の楽しさ

言語実装＝プログラミング総合芸術


言語の楽しさ

言語設計＝プログラミング


言語の楽しさ

言語設計＝発想をプログラミング


言語の楽しさ

We program you!


　

Enjoy Programming!

Technology

言語の世界