У меня есть два следующих класса в двух разных модулях Python class Node(object): def __init__(self...
Я недавно начал использовать mypy.Есть ли способ, которым я могу проверить тип DIC ключей в MyPy....
У меня есть некоторый интерфейс ITestInterface { foo: string; } Я бы хотел передать экземпляр этого...
Я получаю ту же ошибку, как описано в Pycharm - выключить 'Сообщение об ошибке Python версии 3.5 не...
function somefun() x::Int = 1 x = 0.5 end компилируется без предупреждения. конечно, вызов его...
Мне нужно объявить глобальные переменные, которые имеют «сложный» тип, и не следует создавать...
Я пробираюсь через некоторые вводные материалы по Haskell и пытаюсь завершить эту глупую реализацию...
MCVE: class A: def __init__(self, num: int): self.value = num class B(A): def __init__(self): #...
Я создал класс, который реализует обобщенную версию поиска BFS: from collections import deque class...
У меня есть два базовых класса A и B, которые определены следующим образом: class A(object): def...
Мой код выглядит следующим образом: from typing import Tuple a: Tuple[int, int] = tuple(sorted([1,...
Мне интересно, если это правильный способ использовать проверку типа внутри __init__.Я устанавливаю...
Мой код выглядит так: function func2(func2Inp: string) { /* some stuff */} function func(inp?:...
Я не могу понять, почему я продолжаю получать предупреждение Specify type annotations....
Например, Если я напишу: char c = CHAR_MAX; c++; Могу ли я узнать, приведет ли 'c ++' к int или...
Как выполнить проверку массива (например, Array.isArray()) с массивом только для чтения...
Когда у меня есть необязательное значение класса, которое соответствует протоколу, проверка типов...
В следующем коде я пытаюсь работать с экземпляром класса Test после проверки типа. main.ts class...
Я экспериментировал с instanceof в своем коде Java. public class Test { public static void...
Я пытаюсь написать функцию zip в Idris, которая объединяет произвольно много векторов одинаковой...
Тестирование "простого" примера типов идентичности, равенства мод, но проверка транзитивности не...
По некоторой теореме мы знаем, что тип A равен типу B. Как я могу сказать это компилятору Coq во...
Недавно я заметил, что юмористически liftA можно записать как liftA (<*>) pure Я подумал, что...
Я пытался написать код проверки типов с помощью Пролога, но я новичок с Прологом, мое правило не...
У меня есть функция с одним параметром, которая должна принимать int или None в качестве аргумента....