Вопросы по теме 'typechecking'
Как лучше всего сообщить пользователям моих библиотечных функций, что переданные переменные имеют неправильный тип?
В настоящее время я создаю библиотеку функций javascript. В основном для моего собственного использования, но вы никогда не можете быть уверены, что кто-то в конечном итоге будет использовать его в своих проектах, я, по крайней мере, создаю его так,...
271 просмотров
schedule
03.11.2022
Каковы пределы проверки типов и систем типов?
Системы типов часто критикуют за то, что они слишком ограничивающие, то есть ограничивают языки программирования и запрещают программистам писать интересные программы.
Крис Смит утверждает :
Мы получаем уверенность в правильности программы...
3477 просмотров
schedule
04.11.2023
Использование протоколов Objective C
У меня есть вопрос о домашнем задании, который меня очень сильно смутил. Ниже приводится краткое объяснение вопроса.
Представьте, что вы разрабатываете приложение, в котором хранится контактная информация. Адресная книга может содержать...
8389 просмотров
schedule
20.05.2022
Проверка типа Haskell
Я пытаюсь заняться самообучением с помощью Haskell.
Функция loadData считывает некоторые данные из файла и на основе целочисленного параметра выполняет некоторую обработку для создания карты. Мне нужно создать две такие карты и применить к ним...
722 просмотров
schedule
09.01.2023
Как справиться с паникой: невозможное случилось и продолжается в Haskell
У меня есть следующий код, который использует API GHC для загрузки модулей и получения типа выражения:
typeObjects :: [String] -> [String] -> IO [Type]
typeObjects modules objects = do
defaultErrorHandler defaultDynFlags $ do
runGhc...
1967 просмотров
schedule
10.06.2022
Закрытие Google: параметры проверки типов проблем, которые должны быть функциями
Я возился с проверкой типов в компиляторе закрытия Google. Система типов кажется полезной, если не самой сложной. Я доволен большинством ограничений, но это кажется немного странным.
Я вижу проблемы с указанием типов аннотаций для функций,...
2001 просмотров
schedule
02.04.2022
Какие случаи выявляет GHC?
Проверка наличия GHC не позволяет вам создавать бесконечные типы. Его цель - предотвратить распространенные ошибки в коде или предотвратить бесконечный цикл проверки типов, или и то, и другое?
Какие случаи он выявляет и может ли злоумышленник...
462 просмотров
schedule
10.06.2023
Как я могу получить информацию о типах выражений в файлах Java?
Написав «обработчик аннотаций», я могу превратить любой текстовый файл Java в абстрактное синтаксическое дерево и просмотреть его с помощью пользовательского посетителя (подкласса TreePathScanner ).
К сожалению, как я узнал , все процессоры...
126 просмотров
schedule
27.05.2023
производные классы и проверка типов
Я пытаюсь написать метод, который принимает в качестве аргумента класс, производный от std::string. Метод перегружен несколькими различными сигнатурами функций. Я бы хотел, чтобы компиляция потерпела неудачу, если я попытаюсь вызвать ее с помощью...
133 просмотров
schedule
15.05.2023
Предпочтительный метод проверки класса объекта в R
Каков предпочтительный метод проверки класса объекта в R?
(1)
is.data.frame(df)
(2)
class(df) == 'data.frame'
(3)
'data.frame' %in% class(df)
8082 просмотров
schedule
26.10.2022
Проверка типов: итерируемый тип, не являющийся строкой
Чтобы лучше объяснить, рассмотрим эту простую функцию проверки типов:
from collections import Iterable
def typecheck(obj):
return not isinstance(obj, str) and isinstance(obj, Iterable)
Если obj является итерируемым типом, отличным от...
9693 просмотров
schedule
23.10.2023
isinstance(foo,bar) vs type(foo) is bar
Вопрос семантики, на самом деле.
До недавнего времени, если мне приходилось выполнять проверку типов структуры, я использовал type(obj) is list et. др. Однако с тех пор, как я присоединился к SO, я заметил, что все (и я имею в виду КАЖДЫЙ )...
13920 просмотров
schedule
04.04.2023
mongodb с методом typescript toArray не работает
Я использую Visual Studio с машинописным текстом. Все в этом коде компилируется. Согласно документам mongoDB я использую toArray правильно. Я немного новичок в машинописном тексте, поэтому я не знаю, является ли это ошибкой машинописного...
1145 просмотров
schedule
07.02.2024
PHP: Является ли проверка типов возвращаемых значений хорошей практикой, чтобы компенсировать отсутствие дженериков в PHP?
Примечание . Чтобы предотвратить отрицательные отзывы, поскольку рекомендуемая практика может быть основана на мнении, вы также можете перефразировать вопрос следующим образом: Каковы недостатки возвращаемых значений проверки типов для компенсации...
145 просмотров
schedule
18.11.2023
Swift Требовать, чтобы классы, реализующие протокол, были подклассами определенного класса
Я создаю несколько NSView классов, каждый из которых поддерживает специальную операцию, которую мы назовем transmogrify . На первый взгляд, это идеальное место для протокола:
protocol TransmogrifiableView {
func transmogrify()
}...
18974 просмотров
schedule
31.05.2023
Стирание типа Java для членов необработанных типов
Мне любопытно, какие конкретные правила стирания типа Java вызывают следующее:
import java.util.function.Supplier;
public class TypeCheckerWeirdness {
public static class Meow<S extends Meow> {
public Supplier<Boolean>...
25 просмотров
schedule
13.06.2022
Сопоставимые типы с mypy
Я пытаюсь создать общий класс, чтобы выразить, что значение имеет нижнюю и верхнюю границы, и обеспечить соблюдение этих границ.
from typing import Any, Optional, TypeVar
T = TypeVar("T")
class Bounded(object):
def __init__(self, minValue:...
1013 просмотров
schedule
23.07.2023
TypeScript - проверьте, является ли свойство объекта функцией с заданной сигнатурой
У меня есть функция, которая получает свойство от объекта.
// Utils.ts
export function getProperty<T, K extends keyof T>(obj: T, key: string): T[K] {
if (key in obj) { return obj[key as K]; }
throw new Error(`Invalid object member...
6052 просмотров
schedule
12.06.2023
Переменная проверки типа и массив
Мне нужно создать компилятор, который переводит язык java на pyhton. Я использую инструменты Flex и Bison. Я создал flex-файл и определил синтаксическую грамматику в Bison для некоторых ограничений, которые мне нужно реализовать (таких как массив,...
156 просмотров
schedule
02.03.2024
iOS Swift4, как согласовать T.Type и type(of:) для передачи типа динамического класса в качестве параметра функции?
Я пытаюсь реализовать универсальное хранилище параметров конфигурации, используя строку типа класса в качестве ключа словаря. Идея состоит в том, что функция извлечения вернет объект надлежащего типа. Каждый тип уникален в хранилище. Однако, когда...
160 просмотров
schedule
29.09.2023
