typechecking

У меня есть значение, которое приходит из select input и имеет тип string, однако я хочу передать его в функцию (updateLanguage), которая получает в качестве аргумента строковое перечисление с псевдонимом типа ( Language). Проблема, с которой я сталкиваюсь, заключается в том, что Flow позволяет мне вызывать...

Рассмотрим следующий пример кода: from typing import Dict, Union def count_chars(string) -> Dict[str, Union[str, bool, int]]: result = {} # type: Dict[str, Union[str, bool, int]] if isinstance(string, str) is False: result["success"] = False result["message"] = "Inavlid argumen...

let rec add_tail l e = match l with | [] -> [e] | (h::t) -> h::(add_tail t e) let rec fill_help l x n = match n = 0 with true -> l | false -> add_tail(l, x); fill_help(l, x, n-1) let fill x n = let l = [] in fill_help(l, x, n) И я получаю ошибку...

Я работаю над ANLTR для поддержки проверки типов. В какой-то момент я попал в беду. Я попытаюсь объяснить это на примере грамматики, предположим, что у меня есть следующее: @members { private java.util.HashMap<String, String> mapping = new java.util.HashMap<String, String>(); } var_dec ...

Мне трудно понять, как сказать компилятору SBC, что &rest args для функции должен быть список типов. В принципе, я хочу превратить что-то вроде этого: (defun g (f1 &rest fn) (declare (function f1) (list fn)) ... ) К чему-то вроде этого: (defun g (f1 &rest fn) (declare (...

Если у меня есть объект, как я могу определить его тип? (Существует ли OCaml, эквивалентный оператору Java instanceof?) ...

при попытке понять программу, или в некоторых угловых случаях, полезно иметь возможность на самом деле выяснить, какой тип что-то есть. Я знаю, что отладчик может показать вам некоторую информацию о типе, и вы обычно можете полагаться на вывод типа, чтобы уйти от указания типа в этих ситуациях, но все же мне ...

прежде чем я просмотрю свою общую структуру данных для индекса значения, я хотел бы увидеть, является ли он даже экземпляром типа this был параметризован. но затмение жалуется, когда я делаю это: @Override public int indexOf(Object arg0) { if (!(arg0 instanceof E)) { return -1; } это сообщ...

не могу найти, Как проверить, является ли объект логическим легко. Есть ли что-то подобное в Ruby? true.is_a?(Boolean) false.is_a?(Boolean) прямо сейчас я делаю это и хотел бы сократить его: some_var = rand(1) == 1 ? true : false (some_var.is_a?(TrueClass) || some_var.is_a?(FalseClass)) ...

этот вопрос уже есть ответ здесь: Как проверить, является ли объект свидание? 15 ответов Мне было интересно, есть ли способ проверить, является ли объект конкретной датой в JavaScript. isType возвращает объект для дат...