2017-09-09 24 views

cevap

13

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.

+2

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

+0

@rightfold ':' o kadar da kötü olmazdı, sanırım –

+0

Bir cahil görüşü, ama ben '': '' yi daha çok seviyorum… –