Вопросы по теме 'typechecking'

Проверка типов C++ во время компиляции
все. Я новичок в C++ и пишу небольшую библиотеку (в основном для своих собственных проектов) на C++. В процессе проектирования иерархии типов я столкнулся с проблемой определения оператора присваивания. Я использовал базовый подход, который в...
2419 просмотров

Улучшенная проверка типов при совпадении в Scala
scala> class A defined class A scala> class B defined class B scala> val a: A = new A a: A = A@551510e8 scala> a match { | case _: B => println("unlikely") | case _ => println("no match") | } no match Разве в...
1084 просмотров

Проверка типов взаимодействия Scala Java
Я не могу исправить эти ошибки проверки типов в Scala: package junk import org.apache.hadoop.conf.Configuration import org.apache.hadoop.io.IntWritable import org.apache.hadoop.io.Text import org.apache.hadoop.mapreduce.lib.input.TextInputFormat...
1047 просмотров
schedule 23.01.2024

Как проверить, имеет ли параметр шаблона функции определенный тип?
Скажем, у меня есть функция с типом шаблона T и двумя другими классами A и B . template <typename T> void func(const T & t) { ........... //check if T == A do something ........... //check if T == B do some other...
13162 просмотров
schedule 07.03.2024

Как проверить действующие типы в Python
Предыстория : переход с R на Python с помощью numpy/scipy. Пытаюсь сделать небольшой модуль полезных функций. В частности, я пытаюсь создать рекурсивную проверку типа элемента. Вопрос . Можно ли получить список текущих допустимых типов в среде...
1080 просмотров
schedule 19.11.2023

lua_isstring() проверяет настоящие строки в Lua
int lua_isstring (lua_State *L, int index); Эта функция возвращает 1, если значение с заданным допустимым индексом является строкой или числом (которое всегда можно преобразовать в строку), и 0 в противном случае. ( Источник ) Есть...
2178 просмотров
schedule 29.09.2022

Каковы преимущества аннотации Array‹T› в Closure Compiler по сравнению с простым массивом?
Я ожидал, что Closure Compiler выдаст предупреждение обо всех строках ниже, но только 3) отображается как проблема. Проверка содержимого массива с помощью Closure-Compiler затрагивает ту же самую точку, но мой вопрос: учитывая эти ограничения,...
216 просмотров

Groovy: метод не может быть применен к (захват‹?›)
Я играю со статической проверкой типов Groovy и столкнулся с интересной проблемой. У меня есть метод Groovy, вызывающий метод Java. На стороне Groovy у меня есть import com.restfb.Parameter import com.restfb.Connection import com.restfb.Version...
637 просмотров
schedule 03.12.2022

Как заставить mypy жаловаться на назначение Any на int
mypy --strict покорно жалуется на следующий код: from typing import Any, Dict def main() -> None: my_str: str = 'hello' my_int: int = my_str if __name__ == "__main__": main() путем вывода: error: Incompatible types in...
549 просмотров

Функция фильтра RxJS не сужает тип, если только непосредственно не задан типгард, это единственный параметр
Я работаю над сервисом аутентификации, который использует объект поведения rxjs для хранения последнего полученного объекта аутентификации и запускает повторную выборку, если срок его действия истек (или еще не был получен). Мой вопрос касается...
332 просмотров

Проверка времени выполнения объекта Typescript с изюминкой
У меня есть серверное приложение, которое получает входные данные в виде объектов javascript. Мне нужно проверить, соответствуют ли эти данные таким требованиям, как: он имеет обязательные поля, определенные интерфейсом эти поля являются...
206 просмотров
schedule 01.04.2024