Объявите несколько привязок переменных в одной строке в SML

Можно ли объявить несколько привязок переменных в одной строке в SML? Например, у меня есть следующее:

let
    val m1 = [1]
    val m2 = [2]
    val m3 = [3]
in
    {...}
end

Я хотел бы сжать это до чего-то вроде

let
    val m1 = [1], m2 = [2], m3 = [3]
in
    {...}
end

Этот синтаксис не работает, но есть ли способ объявить несколько привязок переменных в одной строке?

functional-programming sml

24.11.2022 23:05

Введение в одну из самых важных концепций в React - функциональное программирование

React разработан с использованием концепции функционального программирования, поэтому понимание функционального программирования важно для изучения...

Фото ️🔁 Radek Jedynak 🔃 on ️🔁 Unsplash 🔃

Что такое Java 8 Streams API? Java 8 Stream API

Перейти к ответу Данный вопрос помечен как решенный

Ответы 2

Вы можете создать кортеж и сразу деструктурировать его.

let
  val (m1, m2, m3) = ([1], [2], [3])
in
  ...
end

25.11.2022 02:10

Ответ принят как подходящий

Вот два способа:

- let val x = 1 val y = 5 in x + y end;
val it = 6 : int
- let val x = 1 and y = 5 in x + y end;
val it = 6 : int

Лично я нахожу небольшое злоупотребление and более читабельным.
Тем не менее, я думаю, что метод «деструктурирующего связывания» более распространен, чем любой из них, поскольку он также более полезен в целом.

- let val (x, y) = (1,5) in x + y end;
val it = 6 : int
- fun f x = (x, x + 2, x + 3);
val f = fn : int -> int * int * int
- let val (x, y, z) = f 3 in x + z end;
val it = 9 : int

25.11.2022 08:30

Другие вопросы по теме

Почему функция, определенная в let, может использоваться вне функции?

Как мне найти сложность пространства и времени для этого кода

Функция сравнения insertSorted в SML NJ

Пользовательская сортировка компаратора в SML?

Порядок оценки вводимых выражений с кортежами

Объявление типа данных по типу данных в Standard ML

Как я могу использовать String.tokens более одного разделителя?

Почему при определении функции с использованием этих перегруженных операторов не возникает ошибки?

OS.FileSys.mkDir, который не вызывает исключения, когда каталог уже существует

Как я могу назначить пользовательские типы данных sml для целочисленного (строкового) типа данных?

Объявите несколько привязок переменных в одной строке в SML

Ответы 2

Другие вопросы по теме

Похожие вопросы