Haskell tiplerinin her zaman çalışma zamanından önce silineceğinden emin olabilirsiniz. Agda durumunda ne olur? Bağımlı tür bilgileri çalışma zamanına geçiriliyor mu?
Tip sistem teorisi üzerinde çalışmak istiyorum. Tip sistem teorisinde herhangi bir arka planım yok, bu yüzden az ya da çok yeni başlayan biriyim (konuyla ilgili olarak okuduğum ve kullandığım notasyon
Dinamik olarak statik olarak yazılan diller hakkında çok fazla yayılma oldu. Ancak, benim gözümde, statik olarak yazılan diller, derleyicinin (veya yorumlayıcınızın) niyetleriniz hakkında biraz daha f
Mantıksal programlama temelleri ile tip sistemler ve geleneksel mantık arasındaki sözdizimsel benzerlik olgusu arasındaki temel bağlantının ne olduğunu açıklayabilir misiniz?
Bağımlı yazılan programa dalmaya başlıyorum ve Agda ve Idris dillerinin Haskell'e en yakın olduğunu buldum, o yüzden oraya başladım. Sorum şu: aralarındaki temel farklar hangileri? Tip sistemleri her