Yah, keduanya sangat, sangat sangat sangat disalahpahami dan juga dua hal yang sama sekali berbeda. yang tidak saling eksklusif .
Tipe statis adalah batasan tata bahasa. Bahasa yang diketik secara statis bisa dikatakan bebas konteks. Kebenaran yang sederhana adalah bahwa menjadi tidak nyaman untuk mengekspresikan bahasa secara waras dalam konteks tata bahasa gratis yang tidak memperlakukan semua datanya hanya sebagai vektor bit. Sistem tipe statis adalah bagian dari tata bahasa bahasa jika ada, mereka hanya membatasi itu lebih dari konteks tata bahasa bebas bisa, dengan demikian pemeriksaan tata bahasa terjadi dalam dua lintasan lebih dari sumbernya. Tipe statis sesuai dengan gagasan matematika tentang teori tipe, teori tipe dalam matematika hanya membatasi legalitas beberapa ekspresi. Seperti, saya tidak bisa mengatakan 3 + [4,7]dalam matematika, ini karena teori tipe itu.
Tipe statis dengan demikian bukan cara untuk 'mencegah kesalahan' dari perspektif teoritis, mereka adalah batasan tata bahasa. Memang, asalkan +, 3 dan interval memiliki definisi teoritis set yang biasa, jika kita menghapus tipe sistem 3 + [4,7]memiliki hasil yang didefinisikan dengan cukup baik itu adalah set. 'runtime type error' secara teoritis tidak ada, penggunaan praktis sistem tipe ini adalah untuk mencegah operasi yang bagi manusia tidak masuk akal. Operasi masih hanya pergeseran dan manipulasi bit saja.
Yang menarik dari hal ini adalah bahwa sistem tipe tidak dapat memutuskan apakah operasi seperti itu akan terjadi atau tidak apakah itu akan diizinkan untuk dijalankan. Seperti di, tepatnya mempartisi himpunan semua program yang mungkin pada mereka yang akan memiliki 'kesalahan ketik', dan yang tidak. Itu hanya dapat melakukan dua hal:
1: buktikan bahwa kesalahan tipe akan terjadi dalam suatu program
2: buktikan bahwa mereka tidak akan terjadi dalam suatu program
Ini mungkin terlihat seperti saya menentang diri saya sendiri. Tetapi apa yang dilakukan oleh pemeriksa tipe C atau Java adalah ia menolak sebuah program sebagai 'ungrammatical', atau seperti yang disebutnya 'type error' jika tidak dapat berhasil pada 2. Itu tidak dapat membuktikan mereka tidak akan terjadi, itu tidak berarti bahwa mereka tidak akan terjadi, itu hanya berarti tidak dapat membuktikannya. Mungkin saja suatu program yang tidak memiliki kesalahan ketik ditolak hanya karena tidak dapat dibuktikan oleh kompiler. Contoh sederhana adalahif(1) a = 3; else a = "string";, tentu saja karena selalu benar, cabang-lain tidak akan pernah dieksekusi dalam program, dan tidak akan terjadi kesalahan tipe. Tapi itu tidak bisa membuktikan kasus ini secara umum, jadi itu ditolak. Ini adalah kelemahan utama dari banyak bahasa yang diketik secara statis, dalam melindungi Anda dari diri Anda sendiri, Anda tentu juga dilindungi jika Anda tidak membutuhkannya.
Tetapi, bertentangan dengan kepercayaan umum, ada juga bahasa yang diketik secara statis yang bekerja berdasarkan prinsip 1. Mereka hanya menolak semua program yang mereka dapat membuktikannya akan menyebabkan kesalahan ketik, dan melewati semua program yang mereka tidak bisa. Jadi mungkin saja mereka memungkinkan program yang memiliki kesalahan ketik di dalamnya, contoh yang baik adalah Typed Racket, ini hibrida antara pengetikan dinamis dan statis. Dan beberapa orang akan berpendapat bahwa Anda mendapatkan yang terbaik dari kedua dunia dalam sistem ini.
Keuntungan lain dari pengetikan statis adalah bahwa tipe diketahui pada waktu kompilasi, dan dengan demikian kompiler dapat menggunakannya. Jika kita di Jawa melakukan "string" + "string"atau 3 + 3, kedua +token dalam teks pada akhirnya mewakili operasi dan datum yang sama sekali berbeda, kompiler tahu mana yang harus dipilih dari jenisnya saja.
Sekarang, saya akan membuat pernyataan yang sangat kontroversial di sini, tetapi ingatlah: 'pengetikan dinamis' tidak ada .
Suara yang sangat kontroversial, tapi itu benar, bahasa dinamis diketik adalah dari perspektif teoritis untyped . Mereka hanya bahasa yang diketik secara statis dengan hanya satu jenis. Atau sederhananya, mereka adalah bahasa yang memang secara tata bahasa dihasilkan oleh konteks tata bahasa gratis dalam praktiknya.
Mengapa mereka tidak memiliki tipe? Karena setiap operasi didefinisikan dan diizinkan pada setiap operan, apa sebenarnya 'kesalahan tipe runtime'? Ini dari contoh teoretis murni efek samping . Jika melakukan print("string")yang mencetak string adalah operasi, maka begitu juga length(3), yang pertama memiliki efek samping dari penulisan stringke output standar, yang terakhir hanya error: function 'length' expects array as argument., itu saja. Dari sudut pandang teoretis tidak ada bahasa yang diketik secara dinamis. Mereka tidak diketik
Baiklah, keuntungan nyata dari bahasa 'yang diketik secara dinamis' adalah kekuatan ekspresif, sistem tipe tidak lain adalah batasan kekuatan ekspresif. Dan secara umum, bahasa dengan sistem tipe memang akan memiliki hasil yang pasti untuk semua operasi yang tidak diizinkan jika sistem tipe hanya diabaikan, hasilnya tidak akan masuk akal bagi manusia. Banyak bahasa kehilangan kelengkapan Turing mereka setelah menerapkan sistem tipe.
Kerugian yang jelas adalah kenyataan bahwa operasi dapat terjadi yang akan menghasilkan hasil yang tidak masuk akal bagi manusia. Untuk mencegah hal ini, bahasa yang diketik secara dinamis biasanya mendefinisikan ulang operasi-operasi itu, daripada menghasilkan hasil yang tidak masuk akal itu mereka mendefinisikannya kembali untuk memiliki efek samping dari menulis kesalahan, dan mungkin menghentikan program sama sekali. Ini bukan 'kesalahan' sama sekali, pada kenyataannya, spesifikasi bahasa biasanya menyiratkan ini, ini adalah perilaku bahasa sebanyak mencetak string dari perspektif teoritis. Ketik sistem dengan demikian memaksa pemrogram untuk alasan tentang aliran kode untuk memastikan bahwa ini tidak terjadi. Atau memang, alasan sehingga tidakterjadi juga bisa berguna di beberapa titik untuk debugging, menunjukkan bahwa itu sama sekali bukan 'kesalahan' tetapi properti bahasa yang didefinisikan dengan baik. Akibatnya, satu-satunya sisa 'pengetikan dinamis' yang dimiliki sebagian besar bahasa adalah menjaga terhadap pembagian dengan nol. Inilah yang dimaksud dengan pengetikan dinamis, tidak ada tipe, tidak ada tipe lebih dari nol adalah tipe yang berbeda dari semua angka lainnya. Apa yang orang sebut 'tipe' hanyalah properti lain dari datum, seperti panjang array, atau karakter pertama string. Dan banyak bahasa yang diketik secara dinamis juga memungkinkan Anda untuk menulis hal-hal seperti "error: the first character of this string should be a 'z'".
Hal lain adalah bahwa bahasa yang diketik secara dinamis memiliki tipe yang tersedia saat runtime dan biasanya dapat memeriksa dan mengatasinya serta memutuskan darinya. Tentu saja, secara teori itu tidak berbeda dengan mengakses karakter pertama dari array dan melihat apa itu. Bahkan, Anda dapat membuat C dinamis Anda sendiri, cukup gunakan hanya satu jenis seperti long panjang int dan gunakan 8 bit pertama untuk menyimpan 'tipe' Anda dan tulis fungsi yang sesuai yang memeriksa dan melakukan penambahan float atau integer. Anda memiliki bahasa yang diketik secara statis dengan satu jenis, atau bahasa yang dinamis.
Dalam praktiknya semua ini menunjukkan, bahasa yang diketik secara statis umumnya digunakan dalam konteks penulisan perangkat lunak komersial, sedangkan bahasa yang diketik secara dinamis cenderung digunakan dalam konteks memecahkan beberapa masalah dan mengotomatisasi beberapa tugas. Menulis kode dalam bahasa yang diketik secara statis hanya memakan waktu lama dan rumit karena Anda tidak dapat melakukan hal-hal yang Anda tahu akan baik-baik saja tetapi sistem tipe masih melindungi Anda dari kesalahan yang tidak Anda lakukan. Banyak coders bahkan tidak menyadari bahwa mereka melakukan ini karena itu ada di sistem mereka tetapi ketika Anda membuat kode dalam bahasa statis, Anda sering mengatasi kenyataan bahwa sistem tipe tidak akan membiarkan Anda melakukan hal-hal yang tidak dapat salah, karena itu tidak dapat membuktikan bahwa itu tidak akan salah.
Seperti yang saya perhatikan, 'diketik secara statis' secara umum berarti kasus 2, bersalah sampai terbukti tidak bersalah. Tetapi beberapa bahasa, yang tidak mendapatkan sistem tipenya dari teori tipe sama sekali menggunakan aturan 1: Innocent sampai terbukti bersalah, yang mungkin merupakan hibrida ideal. Jadi, mungkin Typed Racket adalah untuk Anda.
Juga, well, untuk contoh yang lebih absurd dan ekstrem, saya saat ini menerapkan bahasa di mana 'tipe' benar-benar karakter pertama dari array, mereka adalah data, data dari 'tipe', 'tipe', yang merupakan dirinya sendiri. tipe dan datum, satu-satunya datum yang memiliki dirinya sebagai tipe. Tipe tidak terbatas atau dibatasi secara statis tetapi tipe baru dapat dihasilkan berdasarkan informasi runtime.