この記事は Medium でも読むことができます。

プログラミング言語(yǔ)が時(shí)間の経過(guò)とともにどのように進(jìn)化するかを見(jiàn)るのはいつも面白いです。

かつて、私がソフトウェア開(kāi)発の世界へ足を踏み入れたとき、Python、PHP、JavaScript などの動(dòng)的言語(yǔ)は、迅速な開(kāi)発に適した柔軟性と簡(jiǎn)潔な構(gòu)文で高く評(píng)価されていました。

しかし、これらの弱く型付けされた言語(yǔ)は進(jìn)化するにつれて、強(qiáng)く型付けされた言語(yǔ)の機(jī)能を組み込んでおり、C や Java に非常に似ています。

• Python: 2015 年のバージョン 3.5 から型ヒント機(jī)能が導(dǎo)入され、2022 年のバージョン 3.12 で強(qiáng)化されました。
• PHP: 2015 年のバージョン 7 で導(dǎo)入された宣言型。
• JavaScript: 2012 年の TypeScript のリリースによって拡張され、「型の構(gòu)文を備えた JavaScript」として定義されました。

なぜこのシフトなのでしょうか？

厳密な型付け言語(yǔ)では、コード內(nèi)で変數(shù)の型を明示的に定義します。目的は、プログラムを?qū)g行する前の開(kāi)発段階でエラーを捕捉し、これらの変數(shù)に割り當(dāng)てるメモリ サイズに関するヒントをコンパイラに提供することです。

// C++ example: 'y' will be an integer
float x = 3.14;
int y = x;  //  y = 3 (ignored the decimal part of the number)

一方、Python、PHP、JavaScript などの動(dòng)的型付け言語(yǔ)では、変數(shù)を作成し、実行時(shí)にインタープリターにその型を暗示させることができます。

# In python and PHP: 'y' will take the same type as 'x'
x = 3.14
y = x  // y = 3.14 (float)

明示的型付けは動(dòng)的言語(yǔ)にどのように導(dǎo)入されるのでしょうか?

次の例では、動(dòng)的型付けと靜的型付けを使用して同じ関數(shù)を宣言します。

Python:

# using the classic syntax:
def add(x, y):
    return x + y
# using explicit typing:
def add(x: int, y:int) -> int:
    return x + y

JavaScript / TypeScript:

// using the classic syntax
function add(x, y) {
    return x + y;
}
// using explicit typing
function add(x: number, y: number): number {
    return x + y;
}

PHP:

// using the classic syntax:
function add($x, $y) {
    return $x + $y;
}
// using explicit typing:
function add(int $x, int $y): int {
    return $x + $y;
}

PHP 8.2 (2022 年 12 月リリース) では、スタンドアロン型として null、true、および false のサポートを?qū)毪工毪长趣恰ⅳ饯欷颏丹椁送皮愤M(jìn)めています。

public null $nil = null;
public false $false = false;`

どこが皮肉なのだろうか？

この記事をこれらの新機(jī)能に対する反対意見(jiàn)として受け取らないでください。厳密に型指定された言語(yǔ)を使用する利點(diǎn)は認(rèn)めます。ただし、Python で型アノテーションを使用しても、変數(shù)の型を変更できなくなるわけではありません。

x: int = 0
x = "John" 
print(type(x))   # <class 'str'>

PHP の場(chǎng)合も同様で、コンソールには非推奨の警告のみが表示されます。

では、なぜインタプリタがこのコードの実行を許可するのか疑問(wèn)に思われるかもしれません。
それは、これらの言語(yǔ)がそのように構(gòu)築されているためです。言語(yǔ)は定義により動(dòng)的に型付けされます。 この特性を削除すると、言語(yǔ)は動(dòng)的ではなくなります。 C のような厳密に型指定された言語(yǔ)になりますが、速度は遅くなります。

PHP ファイルで strict_types を true に設(shè)定することで、インタープリタをより厳密にすることができれば幸いです。

declare(strict_types=1);

Python を使用している間、「mypy」パッケージを使用してコードを分析し、バグを捕捉できます。

// C++ example: 'y' will be an integer
float x = 3.14;
int y = x;  //  y = 3 (ignored the decimal part of the number)

「mypy」は、何が間違っていたかをアドバイスするアドバイザーとして表示されますが、危険を冒してコードを?qū)g行することを妨げるものではありません。

変數(shù)の型が不明な場(chǎng)合でも、union 演算子を使用して、受け入れられる型のリストを減らすことができます。

次の PHP と Python の例は、その方法を示しています。

# In python and PHP: 'y' will take the same type as 'x'
x = 3.14
y = x  // y = 3.14 (float)

コードの可読性を犠牲にしていませんか?

10 年前、私は博士號(hào)取得のために Python を使用することに決めました。その理由は、そのシンプルさと新しいアイデアのプロトタイプをすぐに作成できるからです。その後、他のプロジェクトにもそれを使い始めました。

今、私は奇妙な PEP を読んで、これらの新機(jī)能を組み込んでコードベースを複雑にすることに本當(dāng)に価値があるのか??と自問(wèn)していることに気づきました。

辭書の項(xiàng)目を出力する関數(shù)の例を見(jiàn)てみましょう。初期バージョンは次のとおりです:

# using the classic syntax:
def add(x, y):
    return x + y
# using explicit typing:
def add(x: int, y:int) -> int:
    return x + y

Python 3.12 で導(dǎo)入された PEP 692 の推奨事項(xiàng)を使用すると、コードは次のようになります。

// using the classic syntax
function add(x, y) {
    return x + y;
}
// using explicit typing
function add(x: number, y: number): number {
    return x + y;
}

要約すると、TypedDict を継承するクラスを作成し、各項(xiàng)目の名前と型を指定し、Unpack オペレーターを使用して、受け取ったオブジェクトが TypedDict であることを「mypy」に伝えました。

その結(jié)果、コードのサイズが 2 倍になりました。オブジェクトにさらに多くの項(xiàng)目がある場(chǎng)合、時(shí)間はさらに長(zhǎng)くなります。

幸いなことに、コードの一部に靜的型付けを使用し、殘りを動(dòng)的のままにすることができます。あるいは、希望に応じて、まったく使用しないことも選択できます。

いつ使用すればよいですか?

新しい素晴らしい機(jī)能を?qū)Wんだからといって、コードベース全體を書き直さなければならないというプレッシャーを感じる必要はありません。

これらの新機(jī)能はツールのようなものです。私のアドバイスは、これらを賢く使用することです:

次のシナリオでは靜的型付けを使用します:

• データベース、ライブラリ、API などの外部ソースからデータを取得する場(chǎng)合。
• 失敗が許されないコードの重要な部分。
• コードベースにバグが頻繁に発生する傾向がある場(chǎng)合。

次の場(chǎng)合は靜的型指定の使用を避けてください。

• アイデアを素早くテストするためのプロトタイプを設(shè)計(jì)します。
• 型チェックによって冗長(zhǎng)なコードが生成されるだけで、利點(diǎn)が得られない內(nèi)部ロジックの実裝。
• 畫面上にデータを表示するだけです (例: グラフ、畫像、數(shù)値などをプロットするなど)。
• ユーザー入力なしでコマンド ライン スクリプトを作成します。

コーディングに関しては、物事を複雑にする正當(dāng)な理由がある場(chǎng)合を除き、常にシンプルさを追求することが黃金律であることに留意してください。

以上が動(dòng)的言語(yǔ)における靜的型付けの皮肉の詳細(xì)內(nèi)容です。詳細(xì)については、PHP 中國(guó)語(yǔ) Web サイトの他の関連記事を參照してください。