Вопросы по теме 'types'

Что такое экзистенциальный тип?
Я прочитал статью в Википедии Экзистенциальные типы . Я понял, что их называют экзистенциальными типами из-за экзистенциального оператора (∃). Однако я не уверен, в чем смысл этого. какая разница между T = ∃X { X a; int f(X); } а также...
28141 просмотров
types type-systems language-agnostic existential-type
schedule 27.10.2022
У кого-нибудь есть функция С#, которая сопоставляет тип данных SQL столбца с его эквивалентом CLR?
Я сажусь писать массивный оператор switch(), чтобы преобразовать типы данных SQL в типы данных CLR, чтобы генерировать классы из хранимых процедур MSSQL. Я использую эту диаграмму в качестве справки. Прежде чем я зайду слишком далеко в то, что,...
37417 просмотров
types c#
schedule 06.03.2024
SQL Server дает арифметическое переполнение при вычислении среднего
У меня есть таблица с целочисленным столбцом с довольно большими числами. Я пытаюсь усреднить некоторые значения в этом, и иногда он работает, в других случаях он дает эту ошибку «Ошибка арифметического переполнения при преобразовании выражения в...
18575 просмотров
types sql-server
schedule 25.10.2022
Создание определения общего типа c # во время выполнения
В настоящее время мне нужно сделать что-то вроде этого, чтобы создать определение типа во время выполнения, чтобы передать его моему IOC для разрешения. Упрощенный: Type t = Type.GetType(...
9774 просмотров
types generics c#
schedule 13.12.2023
Менее универсальные дженерики? Возможное решение для арифметики в универсальных шаблонах C #
В настоящее время дженерики в C # не позволяют выполнять арифметические операции в разумных пределах. Доступны неудобные обходные пути, но ни один из них не является изящным, и все они снижают производительность. Согласно этому интервью , интерфейс...
862 просмотров
types generics c# math
schedule 27.02.2024
Оперировать значениями внутри структурно схожих типов в Haskell
Извините за мой крайне ограниченный Haskell-fu. У меня есть серия data типов, определенных в разных модулях, которые структурированы одинаково: -- in module Foo data Foo = Foo [Param] -- in module Bar data Bar = Bar [Param] -- * many more...
264 просмотров
types functional-programming typeclass haskell
schedule 23.11.2022
Что такое сумма четных членов Фибоначчи (4 миллиона фунтов стерлингов)? [Путаница с типом данных большого значения]
Начиная с 1 и 2, первые 10 членов ряда Фибоначчи будут: 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, ... Найдите сумму всех четных членов последовательности, не превосходящих 4 миллионов. Теперь у меня появилась идея, как это сделать. Но я...
23112 просмотров
c types fibonacci
schedule 20.04.2024
почему f = f ++ небезопасно в c?
Я прочитал о «побочном эффекте» на этом веб-сайте : но до сих пор не понимаю, почему f = f++ считается небезопасным? Кто-нибудь может объяснить?
872 просмотров
c types
schedule 26.11.2022
импорт типов данных c++ в haskell с помощью ffi
Я пишу оболочку haskell для библиотеки C++, и, хотя я могу импортировать функции из библиотеки в свою программу haskell, я понятия не имею, как импортировать типы данных C++. Например, у меня есть функция, которая принимает в качестве параметра тип...
1286 просмотров
c++ ffi types haskell
schedule 23.12.2023
Реализация универсального интерфейса с необработанным типом
У меня есть общее дерево, общий параметр - это тип данных, хранящийся в узлах: class TreeNode<D>{ public D data; ..... } Затем интерфейс посетителя для использования вместе с пересечением дерева: interface...
5208 просмотров
java types generics
schedule 25.11.2022
mysql_query сохранить тип данных, созданный в таблице, при возврате?
У меня есть таблица в mysql: CREATE TABLE user (id INT, name VARCHAR(250)); Я запрашиваю таблицу: $result = mysql_query("SELECT id,name FROM user"); Собираю результаты: while($row = mysql_fetch_assoc($result) $rv[] = $row; И...
761 просмотров
mysql json php types
schedule 07.05.2024
Delphi Math: Почему 0,7 <0,70?
Если у меня есть переменные a, b, a c типа double, позвольте c: = a / b и дать значения a и b 7 и 10, тогда значение c в 0,7 регистров будет МЕНЬШЕ, ЧЕМ 0,70. С другой стороны, если все переменные имеют расширенный тип, то значение c, равное 0,7,...
3785 просмотров
types delphi floating-point math comparison
schedule 29.10.2022
тип данных int в 64-битной JVM. Это более неэффективно, чем долго?
Я слышал, что использование short s в 32-битной системе просто более неэффективно, чем использование int s. Это то же самое для int s в 64-битной системе? Python недавно (?) в основном объединил int s с long и имеет в основном один тип...
1418 просмотров
java types int long-integer 32bit-64bit
schedule 05.10.2022
Как определить, является ли System.Type пользовательским типом или типом Framework?
Я хочу четко определить, является ли тип, который у меня есть, типом пользовательского класса (MyClass) или типом, предоставленным Framework (System.String). Есть ли способ, которым я могу отличить свой тип класса от system.string или других типов,...
4202 просмотров
types c# reflection
schedule 09.11.2023
Проблема типа, зависящая от абстрактного пути Scala
Кто-нибудь знает, что здесь происходит с этой ошибкой компилятора? Ошибка исчезает, если я не расширяю INode. trait AbsTypes { type TKey type TValue } trait INode extends AbsTypes { def get(key : TKey) : TValue def set(key :...
500 просмотров
types scala abstract path-dependent-type
schedule 15.02.2024
Альтернатива вложенному типу Expression‹Func‹T››
У меня есть функция, используемая при вызове службы. Прежде чем вызвать службу, она создаст запись в журнале: protected TResult CallService<TService, TResult>(TService service, Expression<Func<TService, TResult>>...
4153 просмотров
types c# nested code-analysis
schedule 29.12.2023
Почему числовые типы С# неизменяемы?
Почему int s и double s неизменяемы? Какова цель возврата нового объекта каждый раз, когда вы хотите изменить значение? Причина, по которой я спрашиваю, заключается в том, что я создаю класс: BoundedInt , у которого есть значение и верхняя и...
7935 просмотров
types c# immutability
schedule 06.11.2023
MATLAB: тип struct.name и strcmp
У меня есть следующий код: шрифты = каталог('шрифты') strcmp('BELL.TTF',fonts.name) где dir('fonts') возвращает структуру 33x1, где каждая запись имеет имя (строку), дату и некоторые другие вещи. Я не могу понять, какой тип fonts.name (если...
1167 просмотров
types struct matlab strcmp
schedule 05.10.2022
Несоответствие типа деления haskell?
Я новичок в Haskell и пытаюсь реализовать калькулятор для домашнего задания. Я застрял в месте, где мне нужно выполнить деление на два значения, и я думаю, что проблема в том, что их тип не может быть выведен или должен быть объявлен/преобразован. Я...
3327 просмотров
types typeclass haskell
schedule 01.12.2023
Есть ли словарь, который принимает значения различных типов данных?
Мне нужна карта, где значения имеют разные типы, такие как целое число, строка и т. д. Проблема с Java заключается в том, что примитивы здесь не Object , что предполагает, что гибридный словарь может быть невозможен. Я хочу подтвердить это.
4636 просмотров
java dictionary types map primitive-types
schedule 05.11.2023