Я пытаюсь реализовать общее хранение параметров конфигурации, используя строку типа класса в...
У меня есть вопрос, касающийся определений проверки типов в Coq.Я столкнулся с ситуацией, когда у...
Я пытаюсь написать функции Python, которые обеспечивают проверку типов. Я бы попытался сделать это,...
Прочитайте кулинарную книгу Python и ознакомьтесь с дескрипторами, в частности, с примером...
Мне нужно построить компилятор, который переводит язык Java в Pyhton. Я использую инструменты Flex...
Когда я пишу библиотеку TypeScript с общими ограничениями, я хотел бы иметь возможность указывать...
Я делаю переводчик для подмножества C ++.Интерпретатор написан на языке Haskell. Моя eval функция...
Я пытаюсь создать пакет python (нигде в данный момент), и я хочу использовать 3.6 переменные...
Допустим, у нас есть следующий интерфейс User: interface User { id: number; name: string; bag:...
Удивление на высоком уровне, когда обычно происходит проверка типа (учебник или на практике) в...
func test(value interface{}) { if res, ok := value.(string); ok { fmt.Println(res) } } как можно...
У меня есть функция, которая получает свойство от объекта. // Utils.ts export function...
Предположим, у меня есть это: import type { Collection } from './x.types.js'; import type...
Я хочу использовать функцию, чтобы проверить, является ли аргумент, переданный функции, функцией...
за эту подпись val chooser: string list * string list -> string list и эта реализация let rec...
Следующий скрипт содержит преднамеренную ошибку типа: def foo(x, y): print(x[:y]) def main():...
Кажется, Visual Studio перестает проверять параметры функции, когда один из параметров является...
Я понимаю, почему вам нужно использовать Object.prototype.toString() или String() для массивов...
Я наткнулся на предложение «Абстракция времени компиляции поведения во время выполнения», что здесь...
В настоящее время я реализую симуляцию на Java, которая требует ввода около 30 различных параметров
У меня есть следующий код, который использует GHC API для загрузки модулей и получения типа...
Можно ли статически проверять тип аргументов, заданных std::bind?Я испытываю желание использовать...
Это минимальный пример, взятый из Reflection-0.5. {-# LANGUAGE Rank2Types, MultiParamTypeClasses,...
Я написал класс Objective-C, который должен уведомить другой класс, поэтому я определил протокол...
У меня есть следующий встроенный компаратор. private static class SampleSorter implements...