Даны два графика G=(V,E), например: и G'=(V',E'), например: Мне нужно найти...

Когда сопоставление с образцом (с match goal with) в определенной пользователем тактике, мы можем...

В книге «Эликсир в действии» один из примеров имеет функцию, которая подрывает мое понимание...

У меня есть эта программа Agda: data ℕ⁺ : ℕ → Set where one : ℕ⁺ (suc zero) suc⁺ : {n : ℕ} → ℕ⁺...

У меня есть назначение для заполнения следующей заглушки кода: let quad (x,y) = match (x,y) with |

Я собираю запросы программно во время выполнения, и предложение match является более общим способом...

Может кто-нибудь объяснить, почему в выражениях обработки шаблонов F # не нравится float (типа...

Я новичок в ML, и хотел использовать выражения и сопоставление с образцом следующим образом. fun...

У меня есть тип, как, type Post = Blog String String | Announcement String String И функция, как,...

Я читаю замечательную Радость эликсира и пытаюсь обернуть голову вокруг порядка операций в примере...

Я пытался использовать SpaCy Matcher для поиска span, но оказалось, что не могу. Argument...

Есть ли менее подробный способ развернуть тип только одним тегом, например, в настоящее время я...

Я хотел бы иметь простой ввод html, который проверяет номер издания журнала через HTML5 (не...

Итак, я написал следующий тип, чтобы доказать некоторые свойства целых чисел: data Number : Type...

Я пытаюсь переместить столбец в ассоциативный список.Мне также дан исходный столбец и пункт...

На самом деле у меня есть этот шаблон: ([0-9]{1,3}\.)?[0-9]{1,3},*?[0-9]{0,2}$ , который делает то,...

У меня есть список шаблонов, как я могу преобразовать их в функцию соответствия? (use matchable)...

Я пытаюсь удалить данный элемент (x) из списка let rec remove x list = match list with | [] ->...

При использовании scala 2.12.8 это не скомпилируется без приведения: trait Content case object A...

Я пытаюсь получить координаты, общие для двух разных фреймов данных (nodes и poly), из фрейма...

У меня есть несколько входов в форме intput1: 'some text1 \(blabla1\) some text2 \[blabla2\]...

Я работаю с инструментом проверки файлов LLVM. Он имеет ниже 3 синтаксисов для сопоставления с...

Сравнение с не-литеральными значениями Я в Ocaml (reasonml) могу сопоставить целочисленные значения...

Я не могу обновить значение в семействе столбцов hbase.Условие - Если переменная cricketScore не...

Я на самом деле ищу функцию с сигнатурой типа 'a -> string, которая преобразует данный...