Вопросы по теме 'typechecking'
Python: проверка типов сложных возвращаемых значений
Я пишу фреймворк, который вызывает код, написанный другими людьми (фреймворк играет в Monopoly и вызывает ИИ игроков). ИИ сообщают структуре, что делать в возвращаемых значениях вызовов функций.
Я хотел бы проверить типы возвращаемых значений,...
328 просмотров
schedule
21.11.2021
Использование оператора Is с типами значений C #
Что мне не хватает? Я не вижу ответа по stackoverflow, но мог его пропустить. Похоже, что оператор "is" должен работать (т.е. оценивать как истинное) в случае, когда
short j = 1;
int k = 2;
if (j is int)
Console.WriteLine("all values of j...
957 просмотров
schedule
23.09.2021
Groovy: есть ли способ реализовать множественное наследование при использовании проверки типов?
@groovy.transform.TypeChecked
abstract class Entity {
...
double getMass() {
...
}
...
}
@groovy.transform.TypeChecked
abstract class Location {
...
Entity[] getContent() {
...
}
...
}...
4459 просмотров
schedule
06.09.2021
Какой самый питонический способ использовать len на скаляре?
Я прочитал этот вопрос
python: как определить, если переменная - это массив или скаляр
но при использовании следующего кода я получаю ложь на np.array , как показано ниже.
import collections
isinstance(np.arange(10),...
783 просмотров
schedule
08.10.2021
Оценка Swift @autoclosure зависит от аннотаций типов? (ошибка компилятора?)
Сегодня я снова поигрался со Swift и нуждался в функции undefined() . В основном это функция, которая может быть любого типа, но вылетает, когда она действительно запускается / оценивается. Это полезно, если у вас еще не было времени на реализацию...
323 просмотров
schedule
16.09.2021
Как заставить Flutter / Dart требовать типы?
Я привык полагаться на компилятор, чтобы отловить несовместимые типы ошибок. По умолчанию Dart предлагает это, только если я не забыл указать типы. Если я забуду включить типы в код, я не получу проверки типов.
Как мне заставить компиляторы...
1452 просмотров
schedule
24.10.2021
Понимание неразрешенных метапеременных и желтого выделения в agda
В документации agda я читал, что когда «некоторая метапеременная, отличная от целей, не может быть решена, код будет выделен желтым цветом»
Я пытаюсь понять это в несколько вырожденном случае.
Если я определю обычный тип продукта, то глупая...
106 просмотров
schedule
08.09.2021
Проверка типов аргументов Python
Иногда необходима проверка аргументов в Python. например У меня есть функция, которая принимает либо адрес другого узла в сети как необработанный строковый адрес, либо класс Node, который инкапсулирует информацию о другом узле.
Я использую...
95557 просмотров
schedule
03.03.2022
Проверка типа Scala
Как сделать эту проверку типов?
trait Test[A] {
type Output = A
def get: Iterable[A]
def check(a: A): Boolean
}
object A {
def fs: List[Test[_]] = ???
def test = for{f <- fs
a <- f.get
if f.check(a)} println(a)
}
Он...
945 просмотров
schedule
08.03.2022
Проверка типа класса в TypeScript
В ActionScript можно проверить тип во время выполнения с помощью :
var mySprite:Sprite = new Sprite();
trace(mySprite is Sprite); // true
trace(mySprite is DisplayObject);// true
trace(mySprite is IEventDispatcher); // true
Можно ли...
456924 просмотров
schedule
15.03.2022
Как определить, является ли аргумент шаблона std::complex?
Как определить, является ли параметр шаблона std::complex ? Мне нужен общий метод, который поддерживает все типы данных, такие как float, double, int и т. д. Я знаю, что с помощью std::is_same я могу проверить конкретный тип, например,...
1450 просмотров
schedule
21.03.2022
Является ли Pythonic для проверки типов аргументов функций?
Я знаю, что аргументы функции проверки типов обычно не одобряются в Python, но я думаю, что столкнулся с ситуацией, когда это имеет смысл.
В моем проекте у меня есть абстрактный базовый класс Coord с подклассом Vector , который имеет больше...
13921 просмотров
schedule
29.03.2022
Взаимодействие Scala/Java: тип класса не преобразован?
API javafx определяется следующим образом:
void addListener(ChangeListener<? super java.lang.Boolean> listener)
Следующий код..
new TextArea().focusedProperty.addListener(new ChangeListener[Boolean]() {
def changed(observable:...
253 просмотров
schedule
28.03.2022
Чистое преобразование средства проверки типов в аннотатор AST
Пишу компилятор в функциональном стиле. Проверка типов в настоящее время довольно проста: это (в основном) просто функция от Expr до Type .
Теперь я хочу добавить шаг в рабочий процесс, который сохраняет информацию о типе для последующих...
437 просмотров
schedule
12.04.2022
Coq - возвращаемое значение типа, равного типу возвращаемого значения функции
По некоторой теореме мы знаем, что тип A равен типу B . Как я могу сообщить об этом компилятору Coq во время проверки типа?
Я хочу реализовать непустое дерево, чтобы каждый узел знал свой размер:
Inductive Struct: positive -> Type :=
|...
636 просмотров
schedule
13.04.2022
Как я могу проверить, отражает ли неизвестное Delphi RTTI TValue объект, который является ЛЮБЫМ типом универсального TList‹› (или, по крайней мере, TEnumerable‹›)?
В Delphi, если у меня есть экземпляр TValue , отражающий неизвестный объект, как я могу проверить, является ли этот объект экземпляром ЛЮБОГО типа универсального TEnumerable<> (или, что еще лучше, также какого конкретного универсального...
1261 просмотров
schedule
14.05.2022
Проверка принадлежности параметра к типу в Typescript
Как я могу проверить, принадлежит ли определенный параметр к типу, который я определил в TypeScript? Например:
type myType = {n:number}
let par = {n:3}
Я хочу проверить, относится ли x к типу mtType . Если я использую typeof par ,...
232 просмотров
schedule
21.05.2022
Может ли кто-нибудь объяснить эти несколько строк MSIL?
Может ли кто-нибудь объяснить эти несколько строк MSIL? Почему он перемещает значение из стека вычислений в локальную переменную только для того, чтобы немедленно вернуть его обратно и вернуть?
Следующий код MSIL загружает один аргумент (строку),...
1110 просмотров
schedule
23.06.2022
Как узнать тип объекта (в Swift)?
При попытке понять программу или, в некоторых случаях, полезно выяснить, что это за тип. Я знаю, что отладчик может показать вам некоторую информацию о типе, и вы обычно можете положиться на вывод типа, чтобы избежать необходимости указывать тип в...
235843 просмотров
schedule
27.06.2022
julialang: может ли (должна ли) обнаруживаться эта ошибка типа во время компиляции?
function somefun()
x::Int = 1
x = 0.5
end
это компилируется без предупреждения. конечно, вызов его производит InexactError: Int64 (0.5). вопрос: можете ли вы применить проверку времени компиляции?
333 просмотров
schedule
07.07.2022