Dart dilinde tip belirleme sistemi nedir?

Dart'taki tipleme sistemi güçlü, statik ve dinamik tip belirleme özelliğine sahiptir.

Ana kavramlar:

Statik tip belirleme: Değişkenlerin tipleri derleme sırasında kontrol edilir. Bu, uygulama çalıştırılmadan önce hataları tespit etmeye yardımcı olur.
```
// Statik tip belirleme örneği
int yas = 30;
// yas = "otuz"; // Derleme hatası
```
Tip çıkarımı: Derleyici, atanan değere göre otomatik olarak bir değişkenin tipini belirleyebilir.
```
// Tip çıkarımı örneği
var isim = "Alice"; // Derleyici String tipini çıkarır
```
Dinamik tip (dynamic): Bir değişkenin herhangi bir tipte değer tutmasına izin verir. Tip kontrolü çalışma zamanında yapılır. dynamic kullanımı minimize edilmelidir.
```
// Dinamik tip örneği
dynamic deger = 10;
deger = "merhaba";
```
Null Güvenliği (Null Safety): Null değerlerle ilgili hataları önlemek için eklenmiştir. Varsayılan olarak değişkenler null olamaz, açıkça nullable (?) olarak işaretlenmedikçe.
```
// Null güvenliği örneği
String nullOlamaz = "null değil";
// nullOlamaz = null; // Derleme hatası

String? nullOlan = null; // null olabilir
```
Sesli Null Güvenliği: Null olmayan tiplerle yapılan işlemlerin NullPointerException hatasına yol açmamasını sağlar, yalnızca null olma durumu açıkça izin verilmişse.

Dart'taki tip sistemi, statik olarak tiplenmiş dillerin güvenliği ile dinamik olarak tiplenmiş dillerin esnekliği arasında bir denge sağlar.