Programming TypeScript

ruxsat bering d = [ 1 , 'a' ]
d . xarita ( _ => {
agar ( turi _ === "raqam" ) {
qaytish _ * 3
}
qaytish _ . toUpperCase () })
Har bir element turini typeof bilan so'rashingiz kerak, u bilan biror narsa qilishdan oldin u raqam yoki satr ekanligini tekshiring .
Ob'ektlarda bo'lgani kabi, const bilan massivlarni yaratish TypeScript-ga ularning turlarini yanada torroq tarzda aniqlashga ishora qilmaydi. Shuning uchun TypeScript d va e ni ham | sonli massivlar deb hisobladi string .
g - bu maxsus holat: siz bo'sh massivni ishga tushirganingizda, TypeScript massiv elementlari qanday turdagi bo'lishi kerakligini bilmaydi, shuning uchun u sizga shubhali foyda beradi va ularni har qanday qiladi . Massivni boshqarganingizda va unga elementlar qo'shsangiz, TypeScript massivingiz turini birlashtira boshlaydi. Massiv o‘zi belgilangan doiradan chiqib ketgandan so‘ng (masalan, agar siz uni funksiyada e’lon qilgan bo‘lsangiz, keyin uni qaytargan bo‘lsangiz), TypeScript unga endi kengaytirib bo‘lmaydigan yakuniy turni tayinlaydi:
funktsiyasi buildArray() { ruxsat bering a = [] // har qanday[]
a . surish ( 1 ) // raqam[]
a . surish ( 'x' ) // (string | raqam)[]
qaytish a }
ruxsat bering myArray = buildArray () // (string | raqam)[]
myArray . push ( rost ) // Xato 2345: "true" turidagi argument emas // 'string | tipidagi parametrga tayinlanishi mumkin raqam'. Demak, har qanday foydalanishga kelsak , bu sizni juda ko'p terlamasligi kerak.

Tuplar

massivning kichik turlaridir . Ular har bir indeksdagi qiymatlar o'ziga xos, ma'lum turlarga ega bo'lgan qat'iy uzunliklarga ega massivlarni yozishning maxsus usulidir. Ko'pgina boshqa turlardan farqli o'laroq, kortejlar ularni e'lon qilishda aniq kiritilishi kerak. Buning sababi, JavaScript sintaksisi kortejlar va massivlar uchun bir xil (ikkalasi ham kvadrat qavslardan foydalanadi) va TypeScript allaqachon kvadrat qavslardan massiv turlarini chiqarish qoidalariga ega: