Saya merancang bahasa pemrograman fungsional sederhana yang diketik secara statis sebagai pengalaman belajar. Tampaknya sistem tipe yang telah saya implementasikan sejauh ini dapat (dengan sedikit kerja ekstra) menggabungkan tipe persimpangan dan gabungan, misalnya Anda dapat memiliki: <Union...
22
Apa masalah praktis dengan tipe persimpangan dan persatuan?