2
ответа
Python: включить литеральную строку? квантификатор в выражении регулярных выражений [дубликат]
У меня есть шаблон регулярного выражения, который отлично работает. Но я хочу включить буквенную строковую строку с? квантор. Это дает мне проблемы. Мой оригинальный скрипт был: [A-Za-z] {1,3}:? -? \ D? Теперь я хочу ...
вопрос задан: 10 August 2015 16:01
1
ответ
Закрытия и универсальная квантификация
Я пытался разработать, как реализовать закодированные церковью типы данных в Scala. Кажется, что это требует типов разряда-n, так как Вам была бы нужна первоклассная функция константы forAll a. типа-> (...
вопрос задан: 2 August 2016 16:06
0
ответов
Что означает «существует» в системе типов Haskell?
Я с трудом понимаю ключевое слово exists применительно к системе типов Haskell. Насколько мне известно, такого ключевого слова в Haskell по умолчанию нет, но: Существуют расширения, которые их добавляют, в ...
вопрос задан: 18 March 2017 08:26
0
ответов
JavaScript: неверный квантификатор в регулярном выражении
Регулярное выражение создается на лету, но я вывел его в firebug: (. {1,38}) (+ | $ \ n ?) ошибка неверный квантификатор + | $ \ n?) не знаю с чего начать. Фактический код: var re = top.RegExp; ...
вопрос задан: 6 August 2013 13:16
0
ответов
Какова теоретическая основа экзистенциальных типов?
Haskell Wiki хорошо объясняет, как использовать экзистенциальные типы, но я не совсем понимаю лежащую в их основе теорию. Рассмотрим этот пример экзистенциального типа: данные S = forall a. Покажите a =&...
вопрос задан: 25 May 2012 16:54
0
ответов
Эмуляция притяжательных кванторов
Можно ли имитировать притяжательные кванторы (.NET не поддерживает это) с использованием атомарной группировки ( или другим способом)? Запись. Я обнаружил, что (x + x +) ++ y можно заменить на (?> (X + x +) +) y, но это просто ...
вопрос задан: 4 April 2011 10:59
0
ответов
Quantifier range not working in lookbehind
Okay so I'm working on a project where I need a regex that can match a * followed by 1-4 spaces or tabs and then followed by a row of text. Right now I'm using .* after the lookbehind for testing ...
вопрос задан: 10 February 2011 11:15