Вопросы по теме 'typechecking'
OCaml: Почему этот код выдает ошибку проверки типа?
Вот мой код:
let avg l =
List.fold_left ( +. ) 0. l /. float (List.length l);;
let variability l =
let xbar = avg l in
let odp = (List.map (fun i -> ((float) i -. xbar) ** 2.0) l) in
let sum = List.fold_left ( +. ) 0. odp in...
390 просмотров
schedule
07.08.2022
Библиотеки проверки типов
У меня есть компилятор, и я ищу библиотеку, которая могла бы выполнять проверку типов для меня. Пока ничего полезного не нашел=/ Кто-нибудь знает хорошие библиотеки для проверки типов? Я использую Haskell, но я рассмотрю любой другой язык, если...
666 просмотров
schedule
09.05.2024
Ошибка понимания вложенного списка в коде Haskell
Я пытаюсь написать следующее понимание списка в Haskell, и он не проверяет тип. Я новичок в этом и не могу понять, почему.
something :: Int -> [Int]
something n = [[ 2 * x + 1 | x <- xs]|xs <- [3..n],i <- [1..],j <-[1..] ,xs ==...
1300 просмотров
schedule
09.08.2022
Почему этот тип не проверяет?
compress xs@(_:_:_) = (ifte <$> ((==) <$> head <*> head.tail) <$> ((compress.).(:) <$> head <*> tail.tail) <*> ((:) <$> head <*> compress.tail) ) xs
В результате возникает ошибка типа, но я не...
203 просмотров
schedule
05.05.2022
Алгоритм проверки типов ML-подобного сопоставления с образцом?
Как вы определяете, является ли данный шаблон «хорошим», в частности, является ли он исчерпывающим и не перекрывается, для языков программирования в стиле ML?
Предположим, у вас есть такие шаблоны, как:
match lst with
x :: y :: [] -> ......
2900 просмотров
schedule
22.12.2022
Зачем использовать toString() для проверки типов аргументов, которые можно проверить с помощью typeof?
Я понимаю, почему вам нужно использовать Object.prototype.toString() или String() для проверки типов массивов, но это не typeof достаточно для проверки типов функций и строк? Например, полифилл на MDN для Array.isArray использует:...
2590 просмотров
schedule
25.08.2022
Как проверить тип перед приведением в java
Я привожу свои строковые переменные к целому и двойному числу. Я хочу проверить, содержит ли переменная String допустимое значение Integer или Double во время выполнения.
Я использую следующий код, но он не работает для меня.
String...
11171 просмотров
schedule
26.02.2023
Проверьте, является ли строка UTF-8, возвращающей \u+hex, если да, false, если нет
Для безопасности XSS я хотел бы преобразовать все символы в кодировку \u+hex. Я видел решения UTF-16 , но ничего не могу найти для UTF-8.
Сначала я хочу убедиться, что все символы UTF-8. Здесь я видел много решений, но ничего не...
926 просмотров
schedule
11.07.2022
Проверьте список python, если какой-либо из его элементов является строковым типом
Я пытаюсь поднять TypeError , если список содержит элемент строкового типа данных, когда указан смешанный тип списка. Я смог сделать это с помощью приведенного ниже кода, но мне интересно, есть ли лучший способ добиться того же результата....
405 просмотров
schedule
01.06.2023
Аннотация функции в python 3 получает имя, не определенное ошибку
Я пытаюсь использовать функции аннотации типа python3.
Вот некоторые игрушечные функции без аннотации:
def fa(func, *args):
return func(*args)
def fb(x:str):
return x + " returned."
fa(fb, "Newton")
Эти работают нормально. Но как...
1743 просмотров
schedule
07.07.2023
проверка на неоднозначность и отказы условий либерального покрытия для кода, работающего под GHC 7.6
У меня был умный механизм уровня типов, который работал на GHC 7.6, но не на более поздних версиях. Оглядываясь назад, я не совсем уверен, почему это когда-либо работало, но, тем не менее, я хотел бы как-то вернуть эту функциональность:
{-#...
191 просмотров
schedule
27.11.2022
Как проверить, является ли var кортежем в Swift?
Чтение раздела «Приведение типов» в Быстрое руководство Я вижу, что использую ключевое слово is для ввода контрольных переменных.
func isString(test: AnyObject?) -> Bool {
return test is String
}
Кажется, когда я пытаюсь что-то...
991 просмотров
schedule
12.09.2022
Можно ли при проверке кода внутри макроса обнаружить ошибку проверки типов, вызванную раскрытием макроса в этом коде?
Я хотел бы написать макрос, который компилирует код, который он получает как литерал String, и обнаруживает ошибку проверки типа в скомпилированном коде, которая возникает из-за сбоя расширения макроса (либо макрос был прерван, либо расширенный макрос...
76 просмотров
schedule
05.01.2024
Отражение вложенного списка во время компиляции: typecheck List[List[Int]] возвращает List[List[]]?
Я использую аннотации макросов для проверки полей класса и добавления члена на основе этих полей.
e.g.
@AddVal
class A(x: Int)
расширяется до
class A(x: Int){
val get: Int = x
}
После извлечения ValDef поле tpe по-прежнему...
52 просмотров
schedule
28.04.2022
Почему определение типов аргументов для __eq__ вызывает ошибку типа MyPy?
Я использую Python 3.5.1 и недавно выпущенный анализатор статических типов MyPy v0.4.1.
У меня есть более сложный код, который я сократил до этого простейшего возможного класса python, необходимого для воспроизведения ошибки:
class...
3071 просмотров
schedule
21.04.2023
Типы союзов не применяются?
Разве это не должно потерпеть неудачу?
class Animal { }
class Person { }
type MyUnion = Number | Person;
var list: Array<MyUnion> = [ "aaa", 2, new Animal() ]; // Shouldn't this fail?
var x: MyUnion = "jjj"; // Shouldn't this fail?...
85 просмотров
schedule
27.04.2023
Вопросы по проверке и логическому выводу типа SML
Прежде всего, поскольку вопрос каким-то образом связан со школьным проектом, я не думаю, что размещение моего кода уместно. К тому же, как я объясню позже, у меня есть только модифицированная версия рассматриваемого кода.
И я объясняюсь. Я должен...
215 просмотров
schedule
22.12.2022
Почему я не могу использовать указатель на определенный тип, где ожидается *interface{}?
У меня есть следующая функция:
func bytesToData(data interface{}, b []byte) error {
buf := bytes.NewBuffer(b)
dec := gob.NewDecoder(buf)
return dec.Decode(data)
}
Я использую это для получения структурных данных в и из Boltdb....
2616 просмотров
schedule
04.05.2022
Проверьте переменную на тип Union во время выполнения в Python 3.6
Я пытаюсь написать декоратор функций, который использует подсказки типов Python 3.6, чтобы проверить, соответствует ли словарь аргументов подсказкам типов, и, если не вызывает ошибку с четким описанием проблемы, для использования для HTTP API....
14353 просмотров
schedule
28.09.2022
Проблема Angular4 HttpClient TypeCheck
Я читал, что новый Angular HttpClient может выполнять проверку типов, на основании чего я пишу следующий код
post(path: string, body: Object = {}): Observable<ValorTest> {
return this.http.post<ValorTest>(path, JSON.stringify(body))...
163 просмотров
schedule
12.06.2023