Pythonの型宣言 - rokujyouhitoma's blog

Pythonには型宣言はありません。あると思ってたのは私の誤解です...。
Python中心の話題と、私が触った言語、興味がある言語に基づき話を進めて行きます。

JavaScript2.0以前は型宣言はない、動的型付け言語です。

JavaScript2.0からは型宣言が可能になる。数値型の場合こんな感じ。



var i:Integer = 100;

ちなみに、JavaScript2.0では定数はconstで宣言可能。



var i:int = 100;

ecmascript4のインタプリタは下記公式サイトで配布されてるので触れてみるのみいいかも。
参考:http://www.ecmascript.org/index.php:ecmascript

調べてないけど、確かECMAScriptと同様だったかと。
（基本、JavaScript, ActionScript, ECMAScriptは親戚も親戚。兄弟や親子みたいな言語だからな...）

結論から言うと、Pythonには型宣言ない。動的片付け言語。

JavaScript2.0とかECMASCript4を調査した後に、
「あれ、Pythonって型宣言できるんだっけ？」と思い、google先生に問い合わせ。

問い合わせた結果、このid:nishiohirokazu氏ダイアリーに到達。
[http://d.hatena.ne.jp/nishiohirokazu/20090213/1234475993:西尾泰和のはてなダイアリー [Python]型の宣言をしてコンストラクタでassert]

class Monster(object):
hitpoint = int
defense = int
attack = int

でこのソースコードを見た時点で私の脳みその判断は...

「Pythonには型宣言がある」

（ちょっ！ソース読めよ！！）...ここが誤解箇所でした。

そんな誤解をした状態で、Pythonのドキュメント和訳を調べててやっと気づいた訳です...
http://www.python.jp/doc/release/lib/types.html:3. 組み込み型

下記の書籍の引用ですが、

Pythonでは、言語の各要素の組み合わせ型に一貫性があり、組み合わせ型の種類もごく少なく抑えられています。

との記載があります。

これを私はPythonの哲学の一つであると認識しています。

この哲学を基に考えると、プログラマが任意で型宣言をできる仕組みをPythonが言語として設けるかというとそれはないとすぐ分かったのに〜>_<

Javaはむろん型宣言ばりばり、宣言型の静的型付け言語。
お恥ずかしながら数値型の宣言。



Integer i1 = 100;

型宣言はない。動的型付け言語。
この点がLispとの大きな違いではないかな...。
（型宣言については処理系によってまちまちな気がするけど。）
（あと、哲学がPythonと似てる気がする。）

型宣言あり。動的型付け言語。
（こちらもSchemeと同様、型宣言については処理系によってまちまちな気がするけど。）
参考：[http://d.hatena.ne.jp/taka_2/20081010:プログラマとSEのあいだ [Book][Lisp]「Ansi Common Lisp」読了]

型宣言はありません。動的型付け言語です。
文字列連結時の.やビルドイン関数、ビルドイン関数名に違和感があり好きになれないけど、
使えるレンタルサーバーが多い点、Webに関するサーバーサイド言語としてシェアが高いのが...いや業務で使ってるからあまり言えない...

近年Javaっぽさがまし、クラス、デストラクタ、インストラクタなどが盛り込まれる。

今後も触れる限り他の言語、処理系を触ってみます。
有名どころでも、Ruby, C, C++, アセンブラ, Cobol, ...,触ってない言語がたくさん。

（業務でまずはPythonを実戦投入することが直近の目標。）