Dönem/nokta ne anlama geliyor?forall notasyonu: Dönem/nokta ne anlama geliyor?
forall a. Num a => a -> a -> a
Sadece bir ayırıcı mı?
Dönem/nokta ne anlama geliyor?forall notasyonu: Dönem/nokta ne anlama geliyor?
forall a. Num a => a -> a -> a
Sadece bir ayırıcı mı?
Evet, bu sadece bir sözdizimsel ayırıcıdır. Bir lambda ifadesinde ->
gibi değişken kullanımlardan değişken bildirimleri ayırır. "Burada bağlayıcıları sonlandır" anlamına geliyor. Dil tasarımcıları .
için gittik çünkü 22 karakter daha kısa.
Matematikte diğer alışılmış gösterimler programlama için oldukça can sıkıcıdır: forall a (Num a => a -> a -> a) 've' forall a: Num a => a -> a -> a '. Bu bizi '' ile bırakır. – rightfold
@rightfold ':' o kadar da kötü olmazdı, sanırım –
Bir cahil görüşü, ama ben '': '' yi daha çok seviyorum… –
“Sadece bir ayırıcı mı?” Evet. –
Ve bunlardan düşük bir öncelik. Her şeyden sonra parantez içine almaktan iyidir .... –