Как происходит последовательность синтаксического сахара ([1..6]) переведен в синтаксис фактического списка (1:2:3...6?

Question

Как происходит последовательность синтаксического сахара ([1..6]) переведен в синтаксис фактического списка (1:2:3...6?

Как Хаскелл переводит [ и ] в определения списка? Они ценностные конструкторы или что-то в этом роде? Они newtypes? Есть ли способ определить синтаксисoutfix , в отличие от инфиксного?

1 6

syntax haskell list enumeration syntactic-sugar

1 ответ:

shachaf · Accepted Answer · 2013-07-26 06:33:05

Этот синтаксис определен в отчете , и в частности в разделе 3.10 . [1..6] определяется как enumFromTo 1 6. Вы не можете определить синтаксис самостоятельно.