Типы и системы типов используются для обеспечения уровней абстракции в программах.
1 ответ

Сравнение типов, значений и объектов в JavaScript (не дубликат)

Изменить: это не повторяющийся вопрос. Моя функция отличается и не использует методы прямого сравнения объектов. Я работаю над книгой Eloquent Javascript, и в четвертой главе последнему упражнению потребовалась функция deepEqual, которая принимает д…
23 июл '17 в 18:18
1 ответ

Введите аргументы в объявлениях подкласса

В настоящее время я изучаю дженерики и с трудом понимаю некоторые их аспекты. Я чувствую, что что-то упустил, поэтому вопрос может показаться глупым. Я понимаю, что есть: Заполнители, известные как "формальные параметры типа". Фактические "аргументы…
01 апр '16 в 13:37
2 ответа

Получение типа из имени типа в Scala

После некоторого возни с Scala я пришел к этому решению для создания новых объектов данного типа object Entity { def get[T <: Entity: ClassManifest]: T = { val entity = implicitly[ClassManifest[T]].erasure.getConstructors()(0).newInstance().asIns…
21 май '12 в 00:25
1 ответ

Недопустимые типы 'unsigned char[int]' для индекса массива

Я работаю над попыткой создать CRC, используя байты данных, и я написал эту функцию: u16 crcGenerate(unsigned char bytes, int len){ u16 crc = 0; for (int i = 0; i < len; i++){ crc = crc16__computeByteAnsi(crc, bytes[i]); } return crc; } Я продолж…
09 июл '14 в 15:41
1 ответ

Как реализовать newBuilder для пользовательской коллекции Scala (с правильной дисперсией)?

Я пытаюсь реализовать новый тип коллекции, который следует тем же идиомам, что и стандартная библиотека, но у меня возникают проблемы с выяснением, как обращаться с Builder механика. Я прочитал отличную страницу документации "Архитектура Scala Colle…
09 мар '15 в 16:32
3 ответа

Получить типы, используемые внутри определенного класса

Вот класс, который я хочу получить список всех типов, используемых в нем: public class TestClass : MonoBehaviour{ private UIManager _manager; private void Initialize(UIManager manager){ _manager = manager; } } Тогда я подумал, что запустив что-то вр…
08 апр '15 в 16:54
2 ответа

Бинарное сложение выполняет проверку границы типа, тогда как сокращение и приращение не

Я вижу, что код ниже: byte b = 127; b = b + 1; b = b + 1; System.out.println(b); приводит к проверке границ во время выполнения, и первое добавление выводит b из диапазона, что приводит к следующей ошибке - Main.java:11: ошибка: несовместимые типы: …
05 мар '17 в 10:14
1 ответ

Мл тип анализа функции сгиба

Может кто-нибудь объяснить мне, как определить тип следующей функции, сложите, как определено ниже? fun fold func [] base = base | fold func (x::xs) base = fold func xs (func x base); Мой ответ - "c ->" a list -> "b ->" b, но я вижу, что после подкл…
06 ноя '12 в 13:27
3 ответа

Как определить, является ли строка типа Double или Long

У меня есть ResultSet, который я повторяю, и я создаю отчет, как представление (HTML). Проблема в том, что некоторые столбцы возвращают длинные значения (как результат математической функции в SQL). Есть ли простой способ определить эти значения по …
12 ноя '12 в 14:15
4 ответа

Исключение при приведении объекта String к SqlString

У меня есть простая проблема приведения в следующем простом методе C# using System; using System.Data.SqlTypes; ... private void method1() { string s = "TestString"; object o = s; SqlString t1 = (SqlString) s; SqlString t2 = (SqlString) o; } ... При…
27 янв '12 в 03:27
8 ответов

Есть ли разница между этими двумя утверждениями?

float ff = 1.2f; Float fo = new Float(1.2f); double fg = 3.2d; Double fh = new Double(2.1d); Могу ли я использовать '=' между (1) и (3) или между (2) и (4)??
17 июн '09 в 18:39
1 ответ

C: разница между U64 и uint64_t

Я пытаюсь изучить C после работы с Java в течение нескольких лет. Я нашел код, который хотел воспроизвести, который выглядел примерно так: U64 attack_table[...]; // ~840 KiB struct SMagic { U64* ptr; // pointer to attack_table for each particular sq…
27 май '18 в 20:09
2 ответа

Ограничить аргумент универсального типа только числовым типом

Я делаю урок, class numToBin <T>и мне нужно убедиться, что T является числовым значением (например, Float, Double, Int, Long, UInt, Ulong, byte, short, BigInteger). Я видел много постов, задающих один и тот же вопрос, но им все пару лет. Мой в…
14 июн '17 в 23:27
1 ответ

Почему я могу создать невозможные типы пересечений в Typescript?

Приведенное ниже определение типа нереализуемо, но компилятор не дает мне предупреждений при его определении. // No type error type impossible = 0 & string[] & 'anything' Значение не может быть числом и строкой [] и строковым литералом. Поче…
18 сен '16 в 03:14
2 ответа

Конъюнктивные типы в C#

Преимущество универсальных классов в C# заключается в том, что на типы можно накладывать ограничения, поэтому принимаются только те типы, которые удовлетворяют нескольким ограничениям. Например: public class Foo<T> where T : Bar, IBaz, IFoobar…
30 окт '13 в 14:50
1 ответ

C# apidoc набрал зритель

Я ищу инструмент C# или расширение Visual Studio для визуализации типизированного api всей библиотеки, которую я использую (потому что в документе msdn нет типа, а в некоторых библиотеках нет apidoc).
28 мар '12 в 10:57
3 ответа

Понимание подписей типа Haskell

Я учусь на Хаскеле, и мне было интересно узнать о следующих типах подписей: Prelude> :t ($) ($) :: (a -> b) -> a -> b Prelude> Как я должен интерпретировать (не каламбур) это? Полуподобный результат также вызывает недоумение: Prelude&…
11 мар '14 в 21:38
2 ответа

Когда отдавать предпочтение нетипизированным над напечатанными цитатами в F#?

F# имеет как типизированные, так и нетипизированные цитаты кода, и мне интересно, каковы случаи использования, когда один выбирает один над другим? Является ли различие только удобством, а нетипизированные и типизированные цитаты могут быть преобраз…
1 ответ

julia: определение типа содержит массив переменной длины

Я хотел бы определить в Юлии составной тип, который содержит массив переменной длины другого составного типа. Это лучше объяснить на примере. Допустим, у меня есть тип type p c::Int p() = new(0) end который мне не безразличен Проблема в том, когда я…
25 окт '16 в 22:29
2 ответа

Самый простой способ создания подклассов C# System.Type

Мне нужно, чтобы класс чисел с фиксированной точкой наследовал от System.Type. class FixedPoint : Type { public bool Signed { get; set; } public int Width { get; set; } public int IntegerWidth { get; set; } public FixedPoint(Boolean signed = false, …
14 июл '11 в 19:11