inference

2зной

1ответ

Как может тип иметь несколько супертипов, которые являются типами массивов, а не самим типом массива?

Я пытаюсь кодировать реализацию умозаключения типа, используя алгоритм, описанный в спецификации Java, в https://docs.oracle.com/javase/specs/jls/se8/html/jls-18.html#jls-18.2.3 Существует линия здесь

java types specifications inference 2014-12-13

---

1зной

1ответ

Является ли домен и диапазон сова: equalClass rdfs: класс или сова: класс?

Домен и диапазон сова: equalClass вызывает некоторые вопросы, на которые я не смог найти ответы. Прежде всего, в OWL домен и диапазон значений owl: equalClass заданы как rdfs: Class. Этот домен и диап

semantic-web owl inference equivalence equivalence-classes 2014-10-31

---

0зной

1ответ

Вывод не работает

Я относительно новичок в Drools. У меня есть эти правила: import models.Demarche; declare IsMarque demarche : Demarche end rule "Add type Marque taxe" salience 2 no-loop true lock-on-active tr

drools inference 2014-12-22

---

0зной

2ответ

Как я могу отличить аксиому от выведенного оператора в модели Jena RDFS-INF?

Когда я создаю модель RDFS_MEM_RDFS_INF в Йене и читаю некоторый файл RDFS, добавляется ряд операторов, которые явно не указаны в файле. Например. если мы имеем тройной P B и р является RDFS: subPrope

jena rdfs inference 2015-01-04

---

0зной

2ответ

Почему обычный, двойной и ничего обычный супер тип AnyVal

scala> def b(x:Int) = { x match { case 1 => 1; case 2 => 3.5; case k => throw new Exception("Nothing")}} b: (x: Int)AnyVal scala> def c(x: Int) = if (x == 1) 1 else if (x == 2) 3.5 else throw new Ex

scala types inference 2015-01-05

---

14зной

2ответ

Значение @Flow аннотации

В Intellij IDEA 14 есть функция, называемая автоматическим заключением контракта [1]. Что именно подразумевается под заголовком @Flow? Например, для Code boolean addAll(Collection<? extends E> c) Пред

java intellij-idea contract inference 2014-11-27

---

1зной

2ответ

Тип вывода в лямбдах

У меня есть эта функциональность: public class Repository : IRepository { public List<TEntity> GetOrdered<TEntity, TSortKey>(Func<TEntity, TSortKey> orderBy, int take, params string[] inclu

c# generics types inference 2014-10-16

---