Телеграмм чат группы compilerdev страница 642

ну собственно они там названы declarations

Вот во врезке дальше показывается, как эти выражения дешугарятся. Повторю здесь:

let { val1 = e1; val2 = e2 } in e0 => let (val1, val2) = (e1, e2) in e0

Так понятнее?

16:10пожаловаться #1

и что?

16:11пожаловаться #2

GG in Compiler Development

Вот во врезке дальше показывается, как эти выражения дешугарятся. Повторю здесь:

let { val1 = e1; val2 = e2 } in e0 => let (val1, val2) = (e1, e2) in e0

Так понятнее?

это же просто let in в одну строчку

16:12пожаловаться #3

собственно дальше там есть описание do

do
  stmt1;
  stmt2;
  stmt3
=>
((stmt1 >> stmt2) >> stmt3)

Понятно, что вызов функции (оператора) - это expression?

16:12пожаловаться #4

но синтаксически это всё равно statements и declarations

16:12пожаловаться #5

это же просто let in в одну строчку

Именно. А "let в одну строчку" - это expression.
QED.

16:13пожаловаться #6

GG in Compiler Development

Именно. А "let в одну строчку" - это expression.
QED.

16:13пожаловаться #7

сам let in в совокупности вообще expression

16:13пожаловаться #8

но синтаксически это всё равно statements и declarations

LOL. Ну, если Вам так легче жить... 😂

16:13пожаловаться #9

сам let in в совокупности вообще expression

👏

16:13пожаловаться #10

сам let in в совокупности вообще expression

что не слишком мешает ему состоять из declarations

16:13пожаловаться #11

(а do из statements)

16:14пожаловаться #12

😂

16:14пожаловаться #13

Почему-то вспоминается присказка про "божью росу", простите, пожалуйста...

16:15пожаловаться #14

я не знаю с чем тут можно спорить, если в доке haskell.org уже описано что такое statement

Михаил Бахтерев in Compiler Development

16:16пожаловаться #15

МБ

do
  stmt1;
  stmt2;
  stmt3
=>
((stmt1 >> stmt2) >> stmt3)

Понятно, что вызов функции (оператора) - это expression?

Так оно, собственно, и в Сишечке так. Просто на момент формулировки Сишечки об этом так не думали. Только Moggi открыл всем глаза

16:19пожаловаться #16

я не знаю с чем тут можно спорить, если в доке haskell.org уже описано что такое statement

Statements внутри do-expression, которые обязательно заканчиваются expression и дешугарятся в цепочку вызовов функций? Действительно, с чем тут спорить? 😉

16:20пожаловаться #17

Это потому что в Haskell statements нет - поэтому всегда все лямбды из одного выражения состоят. 😃

Вот тут написано, что statements нет.

16:21пожаловаться #18