н
Size: a a a
2020 March 29
AD
Если бы их совсем не было в фшарпе, например, на нем бы тоже никто не писал.
А так-то
А так-то
let a = b это синтаксически стейтмент и совсем не выражениеAD
printf "%O" (let a = 123 in a) // "123"
Во всяких лиспах, если я не ошибаюсь, это пишется как
(setq x 123; x)AD
Первое - стейтмент.
Второе - выражение.
Между ними - точка с запятой
Второе - выражение.
Между ними - точка с запятой
AH
В фшарпе так тоже можно
AD
Так вот in в твоем примере - это "точка с запятой"
AH
let a = 123; a
AH
Так вот in в твоем примере - это "точка с запятой"
Это ML compatibility
AD
Кстати, да. В лиспе как раз это по другому выглядит. А вот во всяких ml так можно
н
Во всяких лиспах, если я не ошибаюсь, это пишется как
(setq x 123; x)можно разбить
1.
2.
let a = 123 in a на два подвыражения1.
let a = 123 - является значением типа Binding<'a>2.
%% in a - является инфиксным оператором с типом Binding<'a> -> 'aAD
> 1. let a = 123 - является значением типа Binding<'a>
Не является
Не является