なぜATSに2つのリストタイプがありますか：listとlist0？

Question

ATSコードでは、listとlist0という2つのリストタイプがよく見られます。それらの違いは何ですか？

Answer 1

タイプlistは、その定義を見れば、長さインデックスが付けられています。

タイプlist0ではありません。

プログラミング時に、精度が高すぎると生産性が高すぎます。このような場合、listを超えて使用するのがlist0であることが好ましい場合があります。

Answer 2

内部では、listの値とlist0の値は全く同じです。

あなたはlisトン-値にlist0 - 値をオンにする - 値list0とg1ofg0_listにlist - 値をオンにするg0ofg1_listを使用することができます。 g0ofg1とg1ofg0にはそれぞれg0ofg1_listとg1ofg0_listがオーバーロードされています。同様の機能には、g0ofg1_int/g1ofg0_intとg0ofg1_string/g1ofg0_stringがあります。