Pemrograman Level Tipe

Modul akrobat tipe yang terkarantina: infer, tipe rekursif, membangun utility types, dan kapan berhenti.

Modul ini mengkarantina akrobat level tipe ke satu tempat terakhir. Empat topiknya membahas kata kunci infer, tipe rekursif untuk data seperti JSON, pembangunan ulang utility types untuk memahaminya, dan batasan keterbacaan serta waktu kompilasi. Pesan modulnya tegas, yaitu mengirimkan kode yang berfungsi jauh lebih penting daripada kecanggihan tipe.