Help us understand the problem. What is going on with this article?

ファンタスティック・Pythonの型

More than 1 year has passed since last update.

はじめに

†ちゃお†…
この記事は"闇の魔術に対する防衛術 Advent Calendar 2019"の1日目の記事です。
明日は「寿司打の†限界†を目指して WebGLのOCR」と言うタイトルでL_e_k_oさんです。

みんな集まれー!

みんなー!Pythonの型って調べたことあるー?
みんなはある変数の型を知りたいときってどうしてるかなー?
👂✋
そうだね!、type関数だね!
じゃあintの型って知ってるかな?
みんな、「えー型なのに型?」ってなってるよね?じゃあ調べてみよう!

type(int)

このコードを実行するとどうなるかな?
多分、こんな結果が帰ってくるよね?

>>> type(int)
<class 'type'>

そう!intの型はtype型だったんだ!
同じようにfloatやstrもtype型だよ!

同じように次はrangeの型を調べてみよう!
みんな、「えー関数なのに型?」ってなってるよね?さあ、どうなるかな?

>>> type(range)
<class 'type'>

なんと!rangeはtype型を持ってるんだ!
じゃあ自前で関数を定義するとどうなるかな?

def test():
    pass
type(test)

試しにやってみよう!

>>> type(test)
<class 'function'>

Pythonでは関数もtype型やfunction型のオブジェクトなんだね!

じゃあ最後にtypeの型を調べてみよう!
「流石にtypeは型を持たないでしょ」だって?試しに確認してみよう!

>>> type(type)
<class 'type'>

なんとtypeの型はtypeだったんだ!すごいね!

そう!Pythonは型や関数でも型を持ってるんだ!
でもなんでPythonは型や関数でも型を持ってるんだろう?
それはPythonは何でもオブジェクトだからなんだ!型や関数もオブジェクトだから型を持ってるんだね!

型の依存関係を知ろう!

じゃあこれらの型ってどういう関係なんだろう…

後で書く

まとめ

静的型付けのPythonをくれ

oumugai
都内で数理科学の仕事をしてるっぽい
Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away