Tentang keadaan seni yang saya jalankan di depan Type Theory, saya memiliki semua pertanyaan ini terkait dengan sejarah Jenis.
- Dari mana ide Tipe berasal? (Tampaknya semua dimulai ketika Russell dan Whitehead mengusulkan cara untuk menghindari kontradiksi yang kita kenal sekarang sebagai Russell's Paradox, apakah saya benar?)
- Sebelum mempertimbangkan konsep tipe, apakah ada yang serupa? (Mungkin penyempurnaan set, tapi saya tidak menemukan referensi yang berbeda dari Russell).
- Siapa orang pertama yang menaruhnya dalam istilah formal? (Apakah Russell dengan makalah ini tahun 1908 atau?
1
Ada beberapa diskusi tentang topik ini dalam beberapa tahun terakhir di forum TYPES. Inilah titik masuk ke salah satu kesimpulan mereka.
—
gallais
Untuk penggunaannya dalam kompiler, bahasa awal diperlukan ketik informasi untuk dikompilasi (dan beberapa masih melakukannya). Gagasan tipe ini akhirnya berkembang agak terpisah dari gagasan tipe-teoretis, saya pikir.
—
jmite