LINUX.ORG.RU

Сообщения glycine

 

Принцип работы seq

Имеется два выражения:

seq ((\True y -> «AAA») undefined) 42

seq ((\True -> \y -> «AAA») undefined) 42

Первый даст «42», второй — расходимость. Помогите разобраться, почему во втором случае имеется расходимость? Ведь мы можем из второго варианта получить первый, так как (\True y -> ...) == (\True -> (\y -> ...)).

 

glycine
()

Листы в Haskell

Добрый день! Помогите, пожалуйста, разобраться, как что происходит при выполнении следующих операций (справа указан результат операции):

1) [x]:[] = [[x]]

2) [x]:[y] = ERROR

3) [x]:[[y]] = [[x],[y]]

Почему первая операция дает нам двумерный список, а вторая выдает ошибку (а не двумерный список)? И как понимать 3) операцию?

 

glycine
()

RSS подписка на новые темы