Является ли объявление выражением в SML? - PullRequest
Новая
       97

Является ли объявление выражением в SML?

0 голосов
/ 01 мая 2020

в SML - это объявление (val-декларация, объявление типа, ...)

  • выражение
  • утверждение, которое, если я прав, определяется как выражение с побочным эффектом
  • или что-то еще?

Спасибо.

1 Ответ

2 голосов
/ 02 мая 2020

Объявление - это просто объявление, его собственный класс syntacti c. Единственный способ встроить выражение - это форма выражения let de c in exp end.

Технически, есть нет заявлений в ОД.

...