Yaz\u0131l\u0131m geli\u015ftirmede, kodun g\u00fcvenilirli\u011fi ve hatas\u0131z \u00e7al\u0131\u015fmas\u0131 kritik \u00f6neme sahiptir. \u00d6zellikle \u00fcretim ortam\u0131nda beklenmedik hatalar, ciddi maliyetlere ve kullan\u0131c\u0131 memnuniyetsizli\u011fine yol a\u00e7abilir. Tip sistemleri, bu t\u00fcr sorunlar\u0131n \u00f6n\u00fcne ge\u00e7mek i\u00e7in g\u00fc\u00e7l\u00fc ara\u00e7lar sunar. TypeScript gibi modern tip sistemlerinde yer alan ‘never’ tipi, bu ara\u00e7lardan belki de en az bilineni ancak en g\u00fc\u00e7l\u00fclerinden biridir. Bu makalede, ‘never’ tipinin ne oldu\u011funu, nas\u0131l \u00e7al\u0131\u015ft\u0131\u011f\u0131n\u0131 ve \u00fcretim ortam\u0131nda kodunuzun k\u0131r\u0131lmas\u0131n\u0131 nas\u0131l engelledi\u011fini detayl\u0131 bir \u015fekilde inceleyece\u011fiz.<\/p>\n
TypeScript’teki ‘never’ tipi, hi\u00e7bir zaman olu\u015fmamas\u0131 gereken de\u011ferlerin tipini temsil eder. Bu, bir fonksiyonun asla geri d\u00f6nmeyece\u011fi (bir hata f\u0131rlataca\u011f\u0131, sonsuz d\u00f6ng\u00fcye girece\u011fi veya programdan \u00e7\u0131kaca\u011f\u0131) anlam\u0131na gelir. ‘Never’ tipi, tip sisteminin en alt tipidir ve di\u011fer t\u00fcm tipler ona atanabilir, ancak o ba\u015fka hi\u00e7bir tipe atanamaz. Bu \u00f6zelli\u011fi, tip g\u00fcvenli\u011fi sa\u011flamada ve potansiyel hatalar\u0131 derleme zaman\u0131nda yakalamada kilit bir rol oynar.<\/p>\n
‘Never’ tipini, ‘Never’ tipinin en temel kullan\u0131m alanlar\u0131ndan biri, kod ak\u0131\u015f\u0131nda asla ula\u015f\u0131lamayacak noktalar\u0131 i\u015faretlemektir. Derleyici, bir ifadenin ‘Never’ tipi, derleyiciye bir g\u00fcvenlik sinyali g\u00f6revi g\u00f6r\u00fcr. Derleyici, bir kod par\u00e7as\u0131n\u0131n ‘Never’ tipinin en g\u00fc\u00e7l\u00fc ve pratik kullan\u0131m alanlar\u0131ndan biri, \u00f6zellikle Discriminated Union’lar ile birlikte t\u00fckenmezlik kontrol\u00fc sa\u011flamakt\u0131r. Bu mekanizma, bir tipin t\u00fcm olas\u0131 varyantlar\u0131n\u0131n ele al\u0131nd\u0131\u011f\u0131ndan emin olmam\u0131z\u0131 sa\u011flar ve b\u00f6ylece gelecekteki de\u011fi\u015fikliklere kar\u015f\u0131 kodumuzu daha dayan\u0131kl\u0131 hale getirir.<\/p>\n Discriminated Union’lar, TypeScript’te farkl\u0131 ancak ili\u015fkili tipleri tek bir \u00e7at\u0131 alt\u0131nda toplaman\u0131n g\u00fc\u00e7l\u00fc bir yoludur. \u00d6rne\u011fin, bir uygulaman\u0131n farkl\u0131 durumlar\u0131n\u0131 temsil eden tipler ( Bir Yaz\u0131l\u0131m projeleri zamanla evrilir. Yeni \u00f6zellikler eklenir, mevcut tipler g\u00fcncellenir. Bir Discriminated Union’a yeni bir \u00fcye eklendi\u011finde, ‘never’ tipi kullanan t\u00fckenmezlik kontrol\u00fc, bu de\u011fi\u015fikli\u011fin ilgili t\u00fcm <\/code><\/p>\n Yukar\u0131daki \u00f6rnekte, 'Never' tipi, sadece t\u00fckenmezlik kontrol\u00fcnde de\u011fil, ayn\u0131 zamanda belirli davran\u0131\u015flara sahip fonksiyonlar\u0131n tip tan\u0131mlar\u0131nda da \u00f6nemli bir rol oynar. Bu, \u00f6zellikle hata f\u0131rlatan veya program ak\u0131\u015f\u0131n\u0131 de\u011fi\u015ftiren fonksiyonlar i\u00e7in ge\u00e7erlidir.<\/p>\n Baz\u0131 fonksiyonlar, normal bir d\u00f6n\u00fc\u015f de\u011feri yerine her zaman bir hata f\u0131rlatarak y\u00fcr\u00fctmeyi sonland\u0131r\u0131r. TypeScript'te bu t\u00fcr fonksiyonlar\u0131n d\u00f6n\u00fc\u015f tipi olarak Ben<\/p>\n","protected":false},"excerpt":{"rendered":"TypeScript’teki ‘never’ tipi, hi\u00e7bir zaman olu\u015fmamas\u0131 gereken de\u011ferlerin tipini temsil eder. Bu, bir fonksiyonun asla geri d\u00f6nmeyece\u011fi (bir hata f\u0131rla…","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"csco_page_header_type":"","csco_page_load_nextpost":"","csco_page_subscribe_form":"","csco_page_contact_form":"","footnotes":""},"categories":[1],"tags":[],"class_list":{"0":"post-37481","1":"post","2":"type-post","3":"status-publish","4":"format-standard","6":"category-genel","7":"cs-entry","8":"cs-video-wrap"},"yoast_head":"\nvoid<\/code>, unknown<\/code> ve any<\/code> gibi di\u011fer \u00f6zel tiplerle kar\u0131\u015ft\u0131rmamak \u00f6nemlidir. void<\/code>, bir de\u011fer d\u00f6nd\u00fcrmeyen (veya undefined<\/code> d\u00f6nd\u00fcren) fonksiyonlar\u0131 i\u015faret eder. unknown<\/code>, derleyiciye bir de\u011fi\u015fkenin tipinin hen\u00fcz bilinmedi\u011fini ve kullan\u0131lmadan \u00f6nce tip kontrol\u00fc yap\u0131lmas\u0131 gerekti\u011fini s\u00f6yler. any<\/code> ise tip kontrol\u00fcn\u00fc tamamen devre d\u0131\u015f\u0131 b\u0131rakarak esneklik sunar. Oysa never<\/code>, bir de\u011ferin asla var olmayaca\u011f\u0131n\u0131, bir kod yolunun asla ula\u015f\u0131lamayaca\u011f\u0131n\u0131 veya bir fonksiyonun asla normal bir \u015fekilde tamamlanmayaca\u011f\u0131n\u0131 garanti eder. Bu, onun di\u011fer tiplerden fundamental olarak ayr\u0131ld\u0131\u011f\u0131 noktad\u0131r.<\/p>\nUla\u015f\u0131lmaz Kod Yollar\u0131n\u0131 \u0130\u015faretleme<\/h4>\n
never<\/code> tipine sahip oldu\u011funu g\u00f6rd\u00fc\u011f\u00fcnde, o kod blo\u011funun asla \u00e7al\u0131\u015ft\u0131r\u0131lmayaca\u011f\u0131n\u0131 anlar. Bu durum, \u00f6zellikle ko\u015fullu ifadeler veya switch<\/code> bloklar\u0131 i\u00e7inde mant\u0131ksal olarak imkans\u0131z senaryolar\u0131 belirlemek i\u00e7in kullan\u0131l\u0131r. Bu sayede, geli\u015ftiriciler potansiyel hatal\u0131 mant\u0131klar\u0131 derleme zaman\u0131nda tespit edebilirler. Bir kod par\u00e7as\u0131n\u0131n never<\/code> tipine sahip olmas\u0131, derleyicinin bu b\u00f6l\u00fcm\u00fcn tamamen g\u00fcvenli bir \u015fekilde g\u00f6z ard\u0131 edilebilece\u011fini bilmesini sa\u011flar.<\/p>\nDerleyiciye G\u00fcvenlik Sinyali<\/h4>\n
never<\/code> tipine d\u00f6n\u00fc\u015ft\u00fc\u011f\u00fcn\u00fc g\u00f6rd\u00fc\u011f\u00fcnde, bu durumun bir hata oldu\u011funu veya bir kod yolunun tamamen t\u00fckenmez oldu\u011funu anlar. Bu, derleyicinin kodunuzda eksik kalm\u0131\u015f durumlar\u0131 veya mant\u0131ksal tutars\u0131zl\u0131klar\u0131 tespit etmesine olanak tan\u0131r. Bu sayede, daha \u00e7al\u0131\u015fma zaman\u0131na gelmeden olas\u0131 hatalar yakalan\u0131r ve \u00fcretim ortam\u0131na s\u0131zmalar\u0131 engellenir. Bu erken tespit mekanizmas\u0131, yaz\u0131l\u0131m geli\u015ftirme s\u00fcrecinin maliyetini ve karma\u015f\u0131kl\u0131\u011f\u0131n\u0131 \u00f6nemli \u00f6l\u00e7\u00fcde azalt\u0131r.<\/p>\nT\u00fckenmezlik Kontrol\u00fc (Exhaustiveness Checking) ve ‘Never’<\/h3>\n
Discriminated Union’lar ve Tip G\u00fcvenli\u011fi<\/h4>\n
Loading<\/code>, Success<\/code>, Error<\/code>) bir union tipinde birle\u015ftirilebilir. ‘Never’ tipi, bu union’lar\u0131n t\u00fcm olas\u0131 durumlar\u0131n\u0131n ele al\u0131nd\u0131\u011f\u0131ndan emin olmak i\u00e7in hayati bir rol oynar. Bir switch<\/code> ifadesinde t\u00fcm durumlar\u0131 ele almad\u0131\u011f\u0131n\u0131zda, derleyici size bir uyar\u0131 verebilir ve bu eksikli\u011fi never<\/code> ile kesinle\u015ftirebiliriz. Bu, tip g\u00fcvenli\u011fini art\u0131r\u0131r ve beklenmedik durumlar\u0131n ortaya \u00e7\u0131kmas\u0131n\u0131 engeller.<\/p>\nSwitch \u0130fadelerinde Eksiksiz Kontrol<\/h4>\n
switch<\/code> ifadesi i\u00e7inde, bir Discriminated Union tipinin t\u00fcm olas\u0131 varyantlar\u0131n\u0131 ele almak \u00f6nemlidir. Aksi takdirde, gelecekte yeni bir varyant eklendi\u011finde, switch<\/code> ifadesi bu yeni durumu g\u00f6zden ka\u00e7\u0131rabilir ve \u00e7al\u0131\u015fma zaman\u0131 hatalar\u0131na yol a\u00e7abilir. ‘Never’ tipi, bu senaryoda bir “g\u00fcvenlik a\u011f\u0131” g\u00f6revi g\u00f6r\u00fcr. switch<\/code> ifadesinin sonunda, varsay\u0131lan (default<\/code>) bir case<\/code> blo\u011funda never<\/code> tipini kullanarak, ele al\u0131nmayan herhangi bir durumun derleme zaman\u0131nda bir hataya neden olmas\u0131n\u0131 sa\u011flayabiliriz. Bu, kodunuzun her zaman t\u00fcm olas\u0131 durumlar\u0131 do\u011fru bir \u015fekilde ele ald\u0131\u011f\u0131ndan emin olman\u0131z\u0131 sa\u011flar.<\/p>\nGelecekteki De\u011fi\u015fikliklere Kar\u015f\u0131 Savunma<\/h4>\n
switch<\/code> ifadelerinde ele al\u0131nmas\u0131n\u0131 zorunlu k\u0131lar. Bu, geli\u015ftiricilerin yeni eklenen durumlar\u0131 unutmas\u0131n\u0131 engeller ve kod taban\u0131n\u0131n tutarl\u0131l\u0131\u011f\u0131n\u0131 korur. Bu savunma mekanizmas\u0131, \u00f6zellikle b\u00fcy\u00fck ve karma\u015f\u0131k projelerde hata potansiyelini \u00f6nemli \u00f6l\u00e7\u00fcde azalt\u0131r ve bak\u0131m maliyetlerini d\u00fc\u015f\u00fcr\u00fcr.<\/p>\nKod \u00d6rne\u011fi: Tip Tabanl\u0131 Hata Yakalama<\/h4>\n
\ntype Event =\n | { type: 'LOG_IN'; username: string }\n | { type: 'LOG_OUT' }\n | { type: 'SIGN_UP'; email: string };\n\nfunction handleEvent(event: Event) {\n switch (event.type) {\n case 'LOG_IN':\n console.log(Kullan\u0131c\u0131 giri\u015f yapt\u0131: ${event.username}<\/code>);\n break;\n case 'LOG_OUT':\n console.log('Kullan\u0131c\u0131 \u00e7\u0131k\u0131\u015f yapt\u0131.');\n break;\n \/\/ SIGN_UP durumu hen\u00fcz ele al\u0131nmad\u0131\n default:\n \/\/ E\u011fer buraya ula\u015f\u0131l\u0131rsa, bir hata var demektir.\n \/\/ event'in tipi bu noktada 'never' olmal\u0131d\u0131r.\n const exhaustiveCheck: never = event;\n throw new Error(Bilinmeyen olay tipi: ${exhaustiveCheck}<\/code>);\n }\n}\n\n\/\/ Yeni bir olay tipi ekleyelim ve hatay\u0131 g\u00f6relim\n\/\/ type Event =\n\/\/ | { type: 'LOG_IN'; username: string }\n\/\/ | { type: 'LOG_OUT' }\n\/\/ | { type: 'SIGN_UP'; email: string }\n\/\/ | { type: 'PASSWORD_RESET'; userId: string }; \/\/ Bu sat\u0131r\u0131n yorumunu kald\u0131rd\u0131\u011f\u0131n\u0131zda derleme hatas\u0131 alacaks\u0131n\u0131z!\n\n\/\/ handleEvent({ type: 'SIGN_UP', email: 'test@example.com' }); \/\/ Derleme hatas\u0131 verecektir!\n\/\/ Property 'email' does not exist on type 'never'.\n\/\/ Type '\"SIGN_UP\"' is not assignable to type 'never'.\n<\/pre>\nhandleEvent<\/code> fonksiyonu Event<\/code> tipindeki olaylar\u0131 i\u015fler. E\u011fer Event<\/code> tipine yeni bir durum (\u00f6rne\u011fin SIGN_UP<\/code> veya PASSWORD_RESET<\/code>) eklenir ve switch<\/code> ifadesinde bu durum ele al\u0131nmazsa, default<\/code> blo\u011fundaki exhaustiveCheck: never = event;<\/code> sat\u0131r\u0131 bir derleme hatas\u0131 verecektir. Bu, bize kodumuzda eksik bir durum oldu\u011funu ve bunu d\u00fczeltmemiz gerekti\u011fini bildirir. Bu mekanizma, \u00fcretim ortam\u0131nda kar\u015f\u0131la\u015fabilece\u011fimiz beklenmedik durumlar\u0131 \u00f6nceden yakalamam\u0131z\u0131 sa\u011flar ve uygulaman\u0131n beklenmedik \u015fekillerde davranmas\u0131n\u0131 engeller.<\/p>\nHata F\u0131rlatan ve Sonsuz D\u00f6ng\u00fcye Giren Fonksiyonlar<\/h3>\n
Hata F\u0131rlatan Fonksiyonlar\u0131n Tip Tan\u0131m\u0131<\/h4>\n
never<\/code> kullan\u0131labilir. Bu, derleyiciye fonksiyonun \u00e7a\u011fr\u0131ld\u0131\u011f\u0131 yerden asla geri d\u00f6n\u00fclmeyece\u011fini ve dolay\u0131s\u0131yla o noktadan sonraki kodun asla \u00e7al\u0131\u015ft\u0131r\u0131lmayaca\u011f\u0131n\u0131 bildirir. Bu bilgi, derleyicinin kod ak\u0131\u015f\u0131n\u0131 daha do\u011fru bir \u015fekilde analiz etmesine yard\u0131mc\u0131 olur ve potansiyel olarak ula\u015f\u0131lmaz kod uyar\u0131lar\u0131n\u0131 \u00f6nler. \u00d6rne\u011fin, bir do\u011frulama fonksiyonunun ge\u00e7ersiz giri\u015f durumunda her zaman hata f\u0131rlatmas\u0131 durumunda never<\/code> tipi kullanmak, kodun niyetini a\u00e7\u0131k\u00e7a belirtir.<\/p>\nSonsuz D\u00f6ng\u00fc veya Uygulama \u00c7\u0131k\u0131\u015f\u0131<\/h4>\n