2013-07-26 21 views

cevap

14

Bu sözdizimi Report tanımlanmıştır ve özellikle section 3.10 de. [1..6]enumFromTo 1 6 ifade edilmektedir. Sözdizimini kendiniz gibi tanımlayamazsınız.

+13

--- '[1, 2, 3] 've' [1..3] 'ü vurgulamak için aynı * değerlere * sahip olmak, ancak oraya çok farklı şekillerde varmak. [1, 2, 3] 'desugars (doğrudan!)' Ye 1: 2: 3: [] '' '[1..3]' 'enumFromTo 1 3' için desugars sonra * * 'yi değerlendirir: 2: 3: [] '. –

+12

@tel: ve tamamlanması için, '[1,2,3] ve '[1..3]' mutlaka gerekmez aynı değer. Türün ne olduğuna bağlı. Enum'u tuhaf bir şekilde uygulayan bir türün listesi olabilir. – newacct

+2

Ayrıca, [1, 3] 'ın' 'a => [a]' türünün ilke tipi olarak bir hata olabilir. , Enum a) => [a] '. –

İlgili konular