Programming TypeScript

Sinflar qiymatlarni ham, turlarni ham e'lon qiladi

27^har qanday[] boʻlishi kerak ( void emas , nomaʼlum[] va boshqalar). Biz uni kengaytirishimiz mumkin.

28^Ramziy bajarilish - bu dasturni tahlil qilishning bir shakli bo'lib, unda siz dasturni ishga tushirish vaqti kabi, lekin o'zgaruvchilarga aniq qiymatlar bermasdan ishlash uchun ramziy baholovchi deb ataladigan maxsus dasturdan foydalanasiz; Buning o'rniga, har bir o'zgaruvchi belgi sifatida modellashtiriladi, uning qiymati dastur ishga tushganda cheklanadi. Ramziy bajarilish “bu oʻzgaruvchi hech qachon ishlatilmaydi” yoki “bu funksiya hech qachon qaytmaydi” yoki “ 102-satrdagi if ifodasining ijobiy boʻlimida x oʻzgaruvchisi null boʻlmasligi kafolatlanadi ” kabi soʻzlarni aytish imkonini beradi.

29^Oqimga asoslangan turdagi xulosani TypeScript, Flow, Kotlin va Seylon kabi bir nechta tillar qo'llab-quvvatlaydi. Bu kod blokidagi turlarni takomillashtirish usuli bo'lib, C/Java uslubidagi aniq turdagi izohlarga va Haskell/OCaml/Scala uslubidagi naqshlarni moslashtirishga muqobildir. Bu g'oya ramziy ijro mexanizmini olish va uni matn terish mashinasiga joylashtirishdan iborat bo'lib, matn terish mashinasiga fikr-mulohaza bildirish va dastur orqali inson dasturchisi buni amalga oshirishga yaqinroq tarzda fikr yuritishdir.

30^JavaScript-da yetti soxta qiymat mavjud: null , undefined , NaN , 0 , -0 , "" va, albatta, false . Qolganlarning hammasi haqiqat.

31^ DefinitelyTyped - bu uchinchi tomon JavaScript uchun turdagi deklaratsiyalar uchun ochiq manba omboridir. Batafsil ma’lumot olish uchun 245-betdagi “DefinitelyTyped-da turdagi deklaratsiyalarga ega JavaScript” ga o‘ting .

32^Ba'zi tillarda ular noaniq tiplar deb ham ataladi .