Описание тега 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(…
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…
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соответственно. Мои функции используют обобщенный универсальный тип, они также являются встроенными методами. (Вы можете увидеть мою библиотеку …
6 ответов

Обобщение Kotlin Array<T> приводит к "Невозможно использовать T в качестве параметра типа reified. Вместо этого используйте класс", но List<T> не делает

У меня есть интерфейс, который содержит массив (или список) T и некоторые метаданные. interface DataWithMetadata&lt;T&gt; { val someMetadata: Int fun getData(): Array&lt;T&gt; } Если я напишу простейшую реализацию интерфейса, я получу ошибку компиля…
22 окт '17 в 00:20
5 ответов

Что такое Reified Generics? Как они решают проблемы стирания типа и почему их нельзя добавить без серьезных изменений?

Я прочитал блог Нила Гафтера по этому вопросу и до сих пор неясен по ряду вопросов. Почему невозможно создать реализации API коллекций, которые сохраняют информацию о типе, учитывая текущее состояние Java, JVM и API существующих коллекций? Разве они…
18 май '09 в 21:10
2 ответа

Делать заявления о заявлениях, которые не являются

Простите, если я неправильно использую некоторые термины, я просто знакомлюсь с RDF и, в частности, с овеществлением. Я пытаюсь понять, если / как вы можете сделать заявление о том, что вы не контролируете и которое на самом деле не настроено как rd…
05 июн '14 в 15:47