Описание тега redex
2
ответа
Пожалуйста, установите библиотеку двойного преобразования при сборке redex
Я пытаюсь построить redex - к сожалению, это не с: checking for ceil in -ldouble-conversion... no configure: error: Please install double-conversion library Но я установил эту библиотеку: ➜ double-conversion git:(master) ✗ sudo scons install [sudo] …
13 апр '16 в 13:18
2
ответа
Как настроить Facebook Redex для оптимизации байт-кодов Android?
На странице Redex очень хорошая инструкция по адресу http://fbredex.com/. Я следую инструкции, но у меня проблема в два этапа. 1. У меня нет проблем с запуском первой команды (моя ОС - Ubuntu) sudo apt-get install \ g++ \ automake \ autoconf \ autoc…
15 апр '16 в 19:05
0
ответов
Утверждая, что в Redex не существует выхода для суждения
У меня есть отношение, определенное в PLT Redex, которое принимает два входа и выхода. (define-judgment-form L #:mode (Meet I I O) [--------------------------- (Meet xpr xpr xpr)] ) По другому мнению, я хотел бы иметь в качестве побочного условия, ч…
14 дек '18 в 03:49
1
ответ
Зачем мне нужны контексты оценки в Redex?
Вполне возможно написать правила оценки для моего языка без использования контекстов оценки. Моя семантика полностью основана на значении и не позволяет продвигать термин внутри лямбд. Несмотря на это, все ресурсы, которые я видел, так или иначе исп…
02 фев '17 в 19:14
2
ответа
Компиляция Facebook Redex на OSX Yosemite
Поэтому я установил redex на Ubuntu прошлой ночью, и все прошло гладко. У меня сегодня проблемы с настройкой на моем Mac. Есть 3 ошибки, которые я получаю в этом autoreconf -ivf && ./configure && make && make install шаг. Ple…
13 апр '16 в 19:01
0
ответов
Лучший способ генерировать термины, удовлетворяющие определенным суждениям в Redex
Мне известно о двух попытках Redex по созданию случайных генераторов с ограничениями: redex-check"s #:satisfying-форма (как обсуждено, например, в этой теме). Статья ESOP'15 "Выбор случайных суждений" (есть домашняя страница). Интересно, была ли вто…
15 дек '17 в 16:09
2
ответа
Как обрезать подстроки после небуквенного токена в Java
У меня есть строка. В моем коде я пытаюсь обрезать подстроки после не-буквенного токена, если они есть. Как вы думаете, что будет лучшим способом сделать это? Я пытался разделить, заменить все функции и сопоставить функции с регулярным выражением, н…
22 июн '18 в 22:22
2
ответа
Верно ли мое понимание приводимого выражения, т. Е. Переопределения?
Программирование в Хаскеле Хаттоном говорит: Выражение, имеющее форму функции, примененной к одному или нескольким аргументам, которые могут быть "сокращены" при выполнении приложения, называется приводимым выражением или, для краткости, redex. Явля…
14 июл '19 в 14:48
1
ответ
Понимание подстановки лямбда в Redex
Допустим, в Redex у меня есть следующее определение: (define-language L [e ::= (λ x e) (e e) x] [x ::= variable-not-otherwise-mentioned] #:binding-forms (λ x e #:refers-to x)) Я бы подумал, что выражение (λ y x) x средства: заменить появление y в x …
25 фев '20 в 17:02
1
ответ
Странное нарушение контракта при вынесении приговора
У меня есть judgement со следующим контрактом: (define-judgment-form DynamicLam #:mode (down I I O O) #:contract (down Γ e Γ e) [----------------"Lambda" (down Γ_0 z_0 Γ_0 z_0)] ;; rest of the code ... ) Когда я запускаю это: (define empty (term ())…
25 мар '20 в 21:53
1
ответ
Расширение редукционного отношения
Когда я смотрел на PLT redex, я хотел поиграть с правилами упрощения; поэтому я определил этот минимальный язык для логических значений: (define-language B0 (b T F (not b))) Я хотел упростить цепочку (not (not ...)) поэтому я расширил язык, чтобы им…
22 июн '20 в 17:40
1
ответ
Как создать отображение словаря в пользовательском словаре в Racket?
Я определил словарь как это суждение в грамматике BNF: d ::= () (any boolean) (list cons d d) Это означает, что словари пусты или (любое логическое значение) или список таких пар. Если я хочу создать отображение, скажите "истинно", как мне это сдела…
25 янв '20 в 07:41
1
ответ
Отношение приведения в отверстии может соответствовать отверстию разными способами.
У меня есть язык, определенный с помощью PLT-Redex, который имеет (динамические) типы миксинов. Выражения выглядят так: ; terms / expressions (e ::= x (lkp e f) (call e m e ...) (new C e ... ⊕ (e R e ...) ...) (bind x ... with (e R e ...) ... from y…
28 янв '20 в 14:02
1
ответ
Как начать новую строку в регулярном выражении?
У меня небольшая проблема, и я не нашел, как ее решить. Я использую текстовую анимацию на главном экране. Я запускаю анимацию с помощью регулярного выражения. Код работает правильно, но поскольку тексты выстроены рядом, они образуют бессмысленные пр…
06 июн '21 в 11:37
0
ответов
Как использовать тег <br> или начать новую строку в регулярном выражении? [закрыто]
У меня небольшая проблема, и я не нашел, как ее решить. Я использую текстовую анимацию на главном экране. Я запускаю анимацию с помощью регулярного выражения. Код работает правильно, но поскольку тексты выстроены рядом, они образуют бессмысленные пр…
06 июн '21 в 00:31
1
ответ
Каковы редексы в этом выражении Haskell?
Я изучаю Haskell для университетского курса, и у меня есть вопрос о приводимых выражениях (редексах). Я понимаю концепцию, но у меня все еще есть некоторые вопросы, которые я не могу решить самостоятельно. Допустим, вы хотите найти все приводимые вы…
21 фев '22 в 13:29
1
ответ
Исключите слово из регулярного выражения, используя массовое редактирование PHP и YITH
Я новичок в PHP и Regex, я пытаюсь исключить слово из поиска, используя Yith Bulk Editing Woocommerce и WordPress. Теперь я заплатил за плагин, но поддержка очень медленная и совсем не помогает. Когда я использую регулярное выражение для поиска прод…
19 янв '21 в 07:51
0
ответов
использовать навигацию не работает
<button className="btn btn-info" onClick={() => { dispatch(detailsEdit(data)); **navigate('/adminClientEdit');** }} > More Details </button> Мне нужно перемещаться и просматривать больше страниц, пока диспетчер не заработает должным …
07 дек '22 в 13:32
1
ответ
Веб-скрейпинг Википедия
Мне нужно указать только континент (Северная Америка), используя Википедию по URL-адресу (в приведенном ниже коде я заменю страну, в данном случае «Гватемала», и сделаю ее параметром в Power BI), но я получаю весь<aярлык. Как мне это сделать? imp…
10 окт '22 в 19:45
0
ответов
Сопоставьте текст из двух разных строк, используя регулярное выражение
Привет. У меня есть система учета под названием Adra Matcher, и я хочу использовать ее для сопоставления двух разных строк, содержащих один и тот же текст в обеих строках. Пример текста: «INV7895852», но числа всегда будут отличаться от пары к паре.…
28 окт '22 в 13:20