6
Nasıl Haskell liste tanımları içine [
ve ]
çevirmek? Kuruculara ya da başka bir şeye mi değer veriyorlar? Onlar yeni türler mi? Bir Infix bir zıt olarak outfix sözdizimi tanımlamak için bir yol, var mı?nasıl sekansı sözdizimsel şekeri ([1..6]) gerçek liste sözdizimi (: 2: 3 ... 6 1) çevrilir?
--- '[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: [] '. –
@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
Ayrıca, [1, 3] 'ın' 'a => [a]' türünün ilke tipi olarak bir hata olabilir. , Enum a) => [a] '. –