Описание тега reification
Реификация относится к процессу взятия абстрактного понятия и создания из него конкретного представления.
4
ответа
Как дженерики C# влияют на коллекции с примитивами
Насколько я понимаю, дженерики C#/.Net поддерживают некоторую степень овеществления. Итак, если у меня есть следующий код: List<int> list = new List<int>(); list.Add(1); Будет ли значение 1 автоматически упаковано или объект 'list' будет…
18 сен '10 в 10:39
4
ответа
Метод захвата отсутствует в Javascript и немного логики?
В Ruby вы можете перехватить вызов отсутствующего метода и определить его на лету. В JavaScript я хочу создать объект без методов. Я хочу, чтобы отсутствующий метод был переведен в вызов emit(): app.isReady() -> app.emit("isReady") soldier.kills(…
27 ноя '11 в 03:10
3
ответа
Библиотека SWI Prolog Clpfd - Реификация
Я готовлюсь к экзамену по логике и изучаю некоторые прошлые статьи из моего курса. Я сталкивался с вопросом относительно овеществления и разместил это ниже; Проиллюстрируйте reification, используя его для выражения свойства, что переменная B может п…
08 май '16 в 10:12
1
ответ
Есть ли у Scala какие-либо преимущества для стирания типов?
Я много слышал о разных языках JVM, все еще в режиме создания испарителя, которые предлагают как-то реализовать реификацию. У меня есть эта нытье наполовину запомнившаяся (или полностью воображаемая, не знаю какая) мысль, что где-то я читал, что Sca…
05 авг '11 в 01:48
0
ответов
Работает ли reification выражений scala в v2.9?
Я поиграл с подъемом scala и случайно обнаружил, что в Scala, похоже, есть какая-то неявная поддержка лямбда-выражений. import scala.reflect.Code import scala.reflect.Function import scala.reflect.Select object Test { trait Foo { def aMethod : Strin…
10 окт '12 в 11:10
2
ответа
Объяснение для овеществления в RDF
Я понял основы овеществления в RDF. Здесь даны два четко объяснения: объяснение 1 и объяснение 2. Если вы внимательно наблюдаете, на самом деле мы можем представить в предложении "Земля круглая" тройку RDF, где, как "Ученый открыл, Земля круглая", м…
01 апр '14 в 22:27
1
ответ
К чему сводятся обобщенные методы C# в неуниверсальном классе?
Если у меня есть такой класс: - static class Foo { public static void Bar<T>(T item) { Console.WriteLine(item.ToString(); } } Я знаю, что в этом примере нет необходимости использовать T, так как все типы имеют ToString() и т. Д. - это просто н…
11 дек '12 в 16:41
3
ответа
Любое слово об усовершенствованных дженериках в Java?
Я знаю, что этот вопрос, вероятно, вызовет больше дискуссий, чем конкретных ответов (что, я знаю, не является предпочтительным). Но с недавним приобретением Oracle мне стало интересно, есть ли какое-нибудь слово, что Java может (когда-нибудь) получи…
29 июл '10 в 03:45
1
ответ
Clojure deftype, ссылающийся на другой тип
Попытка использовать один тип из другого, похоже, не работает: (deftype Foo [^int a ^int b]) (definterface Bars (^Foo makefoo [])) (deftype Bar [^int a ^int b] Bars (^Foo makefoo [this] (Foo. 1 2))) ;java.lang.NoClassDefFoundError: java/lang/Foo. Ка…
04 окт '15 в 00:38
1
ответ
Как добавить комментарии в квазицитате
Я пытаюсь вставить комментарии класса для квази кавычек, как это так q""" package somePackage { /** * This is a comment */ public class SomeClass { } } """ Но это исключение Exception in thread "main" java.lang.IllegalArgumentException: not legal pa…
02 сен '15 в 08:24
0
ответов
Как динамически переписать ограничения CLP(FD), чтобы помочь reification
Мой вопрос связан с этой (теперь 1-летней) публикацией, касающейся вопросов реификации в программе CLP(FD): ссылка Файл пролога, который я передаю движку SWI, программно записывается на лету, основываясь на некоторых данных, которые пользователи мог…
11 янв '17 в 09:32
3
ответа
Простой пример овеществления в RDF
Кто-нибудь может быть так любезен, чтобы дать мне простой пример овеществления в RDF? Я хочу посмотреть, правильно ли я понял. Например, я предлагаю следующий случай Tolkien -> wrote -> Lord of the rings /|\ | Wikipedia said that Как бы вы нап…
21 авг '09 в 15:42
2
ответа
Атрибуты свойства объекта в онтологии
Как связать атрибуты со свойствами объекта в онтологии? Я натолкнулся на способ, которым свойство объекта может быть определено как класс. Но такой подход затрудняет определение правил. Есть ли другой путь?
14 сен '15 в 13:31
1
ответ
Как проверить, что я нахожусь внутри @specialized функции или класса во время выполнения в Scala?
Допустим, у меня есть специализированный класс и связанный с ним объект-компаньон: trait Slice[@specialized +T] { ... override def equals(that :Any) = that match { case s :Slice[_] => ??? case _ => false } } object Slice { def newInstance[@spe…
27 ноя '15 в 19:59
2
ответа
Избыточные ответы варианта уточненного предиката append/3
Я хотел предложить логически чистое решение некоторых других недавних проблем на этом форуме. Для начала я внедрил усовершенствованный вариант append/3 и назвал это appendR/4, Он основан на предикатах if_/3 а также (=)/3 реализовано @false в объедин…
04 апр '15 в 08:57
1
ответ
Утверждение утверждения в модели без этого утверждения в модели?
Более конкретно, это должно представлять ситуацию, такую как "Джон сказал, что машина синяя", не обязательно имея "машина синяя" в текущей онтологии. Мой код должен был бы проверить это позже. У меня может быть идея о том, как это сделать с помощь…
22 окт '13 в 19:06
1
ответ
Kotlin: UnsupportedOperationException для усовершенствованного универсального выражения с оператором get/set
Я пытаюсь преобразовать функции read а также write в моей библиотеке операторские функции get а также setсоответственно. Мои функции используют обобщенный универсальный тип, они также являются встроенными методами. (Вы можете увидеть мою библиотеку …
02 дек '15 в 07:22
6
ответов
Обобщение Kotlin Array<T> приводит к "Невозможно использовать T в качестве параметра типа reified. Вместо этого используйте класс", но List<T> не делает
У меня есть интерфейс, который содержит массив (или список) T и некоторые метаданные. interface DataWithMetadata<T> { val someMetadata: Int fun getData(): Array<T> } Если я напишу простейшую реализацию интерфейса, я получу ошибку компиля…
22 окт '17 в 00:20
5
ответов
Что такое Reified Generics? Как они решают проблемы стирания типа и почему их нельзя добавить без серьезных изменений?
Я прочитал блог Нила Гафтера по этому вопросу и до сих пор неясен по ряду вопросов. Почему невозможно создать реализации API коллекций, которые сохраняют информацию о типе, учитывая текущее состояние Java, JVM и API существующих коллекций? Разве они…
18 май '09 в 21:10
2
ответа
Делать заявления о заявлениях, которые не являются
Простите, если я неправильно использую некоторые термины, я просто знакомлюсь с RDF и, в частности, с овеществлением. Я пытаюсь понять, если / как вы можете сделать заявление о том, что вы не контролируете и которое на самом деле не настроено как rd…
05 июн '14 в 15:47