Вопросы по теме 'typechecking'
Проверка типов C++ во время компиляции
все. Я новичок в C++ и пишу небольшую библиотеку (в основном для своих собственных проектов) на C++. В процессе проектирования иерархии типов я столкнулся с проблемой определения оператора присваивания.
Я использовал базовый подход, который в...
2419 просмотров
schedule
13.05.2024
Улучшенная проверка типов при совпадении в 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 просмотров
schedule
04.05.2024
Проверка типов взаимодействия 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 просмотров
schedule
03.01.2024
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 просмотров
schedule
17.03.2024
Функция фильтра RxJS не сужает тип, если только непосредственно не задан типгард, это единственный параметр
Я работаю над сервисом аутентификации, который использует объект поведения rxjs для хранения последнего полученного объекта аутентификации и запускает повторную выборку, если срок его действия истек (или еще не был получен).
Мой вопрос касается...
332 просмотров
schedule
24.03.2024
Проверка времени выполнения объекта Typescript с изюминкой
У меня есть серверное приложение, которое получает входные данные в виде объектов javascript. Мне нужно проверить, соответствуют ли эти данные таким требованиям, как:
он имеет обязательные поля, определенные интерфейсом
эти поля являются...
206 просмотров
schedule
01.04.2024