Описание тега reify
"Материализовать" означает взять абстрактное понятие и сделать из него конкретное представление. Например, лямбды-выражения в Лиспе позволяют вам овладеть концепциями абстракции процедуры и приложения.
1
ответ
Можно ли получить тип любого выражения, используя Template Haskell?
Дано выражение fooЯ мог бы объявить функцию верхнего уровня bar = foo и получить тип foo как Type путем овеществления bar: case reify 'bar of VarI _ t _ _ -> t Есть ли прямой способ получения типа fooбез создания избыточного определения bar? Идеа…
31 янв '14 в 21:56
1
ответ
Clojure расширяет ассоциативную артерию
Мне нужно реализовать пользовательскую ассоциацию, но она не работает с несколькими аргументами. Обрабатывает только первую пару. Кажется, что он вызывает ассоциацию напрямую, а не через базовую ассоциацию, а затем RT/ ассоциацию. (def my-assoc (rei…
17 июн '17 в 09:26
1
ответ
Как получить объявление функции, используя `reify`?
Функция reify позволяет мне искать информацию о данном имени. Для функции возвращаемое значение VarI: data Info = ... | VarI Name Type (Maybe Dec) Fixity | ... Здесь я могу проверить тип функции, а также я хотел бы проверить ее объявление. Тем не ме…
21 ноя '13 в 10:12
2
ответа
TypeTag для тематических классов
Я хотел бы сделать случай класса Bla который принимает параметр типа A и он знает тип A во время выполнения (он хранит его в своем info поле). Моя попытка показана в примере ниже. Проблема в том, что этот пример не компилируется. case class Bla[A] (…
10 апр '17 в 17:17
1
ответ
Как вызвать интерфейс Java из класса в Clojure? Звонок не может быть решен
Я пытаюсь перевести некоторый код Java прямо в Clojure на Raspberry Pi. Я застрял при реализации интерфейса в вызове метода - addListener. Я пытался использовать reify, прокси и deftype. С помощью reify я попытался предоставить как можно больше подс…
20 дек '18 в 20:13
1
ответ
Метеор - IE11 отображает пустую страницу
Я получаю эту ошибку под IE11: объект не поддерживает это свойство или метод "для" в строке: var esSymKey = useSymbol ? Symbol.for(esStrKey) : null; из node_modules/meteor/modules/node_modules/reify/lib/runtime/utils.jsв modules.js. Я пытался обнови…
19 окт '17 в 16:47
1
ответ
Rails While Loop: не удается загрузить страницу
Доброе утро, ребята. В моей модели я создал метод для отображения строки. Страница не работала, потому что затем и методы reify не определены, поэтому я попробовал их. Но страница не загружается и отображает эту ошибку в браузере. "Ошибка 504 Время …
05 фев '16 в 09:30
1
ответ
Как переопределить метод существующего объекта?
Объект был создан с reify и мне нужно переопределить один из его методов. Единственный способ, который я нашел, это использовать классический ОО декоратор с другим использованием reify, Есть ли другой путь?
18 июн '16 в 17:21
2
ответа
Объяснение для овеществления в RDF
Я понял основы овеществления в RDF. Здесь даны два четко объяснения: объяснение 1 и объяснение 2. Если вы внимательно наблюдаете, на самом деле мы можем представить в предложении "Земля круглая" тройку RDF, где, как "Ученый открыл, Земля круглая", м…
01 апр '14 в 22:27
1
ответ
Использование макросов def для захвата исходного кода
(для TL;DR перейдите к части, выделенной жирным шрифтом) У меня чистая система классов закрытого типа с сериализацией (отсоединена от проблем сериализации POJO). Например: trait Expr case class Const(i: Int) extends Expr case class BinOp(a: Expr, b:…
07 май '13 в 16:45
1
ответ
Получить имена полей записи Haskell в виде списка строк?
Скажи, что у меня есть следующее: data Rec = Rec { alpha :: Int, beta :: Double, phi :: Float } sample = Rec 1 2.3 4.5 Я понимаю шаблон Haskell & the reify Функция может получить мне имена полей записи. То есть: print $(f sample) --> ["alpha", "b…
10 дек '11 в 16:10
2
ответа
StackruError при расширении макроса reify
У меня есть простой тестовый макрос, который использует reify. Это вызывает StackruError во время раскрытия макроса. def test() = macro testimpl def testimpl(c:Context)():c.Expr[Any] = { import c.universe._ val o = reify { // StackruError here objec…
06 сен '12 в 12:55
1
ответ
Динамическая форма let как часть reify внутри макроса
Хорошо, давайте попробуем разобраться: мое последнее намерение - предоставить макрос в виде API для пользователей, который будет выглядеть следующим образом: (defscript [a b] (println a)) Результат должен быть экземпляром Script протокол, который вы…
27 окт '11 в 22:48
1
ответ
Как улучшить интерфейс Java с помощью перегруженного метода?
Я пытаюсь "реализовать" следующий интерфейс Java из JGroups с reify, public interface MessageListener extends StateListener { /** * Called when a message is received. * @param msg */ void receive(Message msg); /** Called when a batch of messages is …
26 фев '17 в 20:09
0
ответов
Отзыв от "Рейфи"
Я новичок здесь, поэтому, пожалуйста, прости меня, если этот тип сообщения / вопрос здесь неуместен. Кто-нибудь использовал Isomorphic Reify ( http://www.smartclient.com/product/reify.jsp)? На "бумаге" решение выглядит многообещающим, но я бы хотел …
15 янв '14 в 09:02
1
ответ
Получение ассоциированных синонимов типов с шаблоном Haskell
Может ли Template Haskell выяснить имена и / или объявления синонимов связанных типов, объявленных в классе типов? Я ожидал reify будет делать то, что я хочу, но он не предоставляет всю необходимую информацию. Он работает для получения сигнатур типо…
22 июн '13 в 06:11
1
ответ
Есть ли способ, как перечислить все функции в модуле, используя Template Haskell?
Хотя я могу использовать reify чтобы получить информацию о большинстве других синтаксических конструкций, я не смог найти ничего, что дало бы некоторую информацию о модуле.
16 дек '13 в 08:22
1
ответ
Разовые экземпляры, созданные с помощью reify, приводят к NPE
Я пытаюсь написать слой Clojure вокруг Java API, который выглядит следующим образом: public class Executor { public interface ExecutorJob<Result> { public Result execute () throws Exception; } public static <R> R executeAsUser(RunAsWork&…
17 апр '11 в 07:51
2
ответа
Дразнить существующие методы в Clojure
Я пытаюсь использовать with-redefs а также reify издеваться над методами в clojure. Я понятия не имею, с чего начать. Может кто-нибудь дать мне пример издевательства над методом? Документация в интернете мне не поможет, так как я полностью запутался…
12 фев '14 в 20:57
1
ответ
Предоставить конструктору Clojure reify
Когда используешь reify в Clojure, как я могу предоставить выражение для конструктора? В качестве альтернативы, как я могу передать аргументы конструктору базового класса?
06 дек '10 в 16:04