Вопросы с тегом «types»

88
Когда полезны высшие родственные типы?

Некоторое время я занимаюсь разработкой на F #, и мне это нравится. Однако одного модного слова, которого, как мне известно, не существует в F #, является высокодородные типы. Я читал материал о высокородных типах и думаю, что понимаю их определение. Я просто не знаю, почему они полезны. Может ли...

87
Чем хороши дженерики, зачем их использовать?

Я подумал, что предлагаю этот софтбол любому, кто захочет попасть в него из парка. Что такое дженерики, каковы преимущества дженериков, почему, где и как их использовать? Пожалуйста, оставьте это довольно простым. Спасибо....

87
Как браузер определяет MIME-тип загруженного файла?

У меня есть веб-приложение, в котором пользователю нужно загрузить файл .zip. На стороне сервера я проверяю MIME-тип загруженного файла, чтобы убедиться, что это application/x-zip-compressedили application/zip. У меня это отлично сработало в Firefox и IE. Однако, когда его коллега протестировал...

87
C # dynamic не может получить доступ к свойствам анонимных типов, объявленных в другой сборке

Код ниже работает хорошо, если у меня есть класс ClassSameAssemblyв той же сборке, что и класс Program. Но когда я перемещаю класс ClassSameAssemblyв отдельную сборку, выдается RuntimeBinderException(см. Ниже). Возможно ли это решить? using System; namespace ConsoleApplication2 { public static...

87
Разрешение EXECUTE запрещено для пользовательских типов таблиц?

У меня вопрос о типах таблиц, определяемых пользователем в SQL Server 2008. Для необходимости одного из приложений ASP.NET мы определили наши собственные типы таблиц в SQL Server 2008, чтобы использовать их в качестве параметров в хранимых процедурах (при выполнении команды sql в приложении...

87
Что является комбинаторно-логическим эквивалентом интуиционистской теории типов?

Недавно я закончил университетский курс, посвященный Haskell и Agda (зависимый типизированный функциональный язык программирования), и мне было интересно, можно ли заменить в них лямбда-исчисление комбинаторной логикой. В Haskell это кажется возможным с использованием комбинаторов S и K, что...

86
Почему инициализация значения «int * ptr = int ()» не является незаконной?

Следующий код (взят отсюда ): int* ptr = int(); компилируется в Visual C ++ и инициализирует указатель значением. Как такое возможно? Я имею в виду, что int()дает объект типа, intи я не могу присвоить intуказателю. Как приведенный выше код не является незаконным?...

85
Как передать тип как параметр метода в Java

Как в Java передать тип как параметр (или объявить как переменную)? Я хочу передавать не экземпляр типа, а сам тип (например, int, String и т. Д.). В C # я могу сделать это: private void foo(Type t) { if (t == typeof(String)) { ... } else if (t == typeof(int)) { ... } } private void bar() {...

85
Что ?[]? синтаксис в C #?

Пока я изучал делегат, который на самом деле является абстрактным классом Delegate.cs, я увидел следующий метод, в котором я не понимаю Почему возвращаемое значение использует, ?хотя это уже ссылочный ( класс ) тип ?[]? смысл по параметру Могли бы вы объяснить? public static Delegate?...

85
Типы и классы переменных

Два вопроса R: В чем разница между типом (возвращенным typeof) и классом (возвращаемым class) переменной? Похожа ли разница на разницу, скажем, на языке C ++? Какие бывают типы и классы переменных?...

85
c ++ 0x: правильный способ получить лямбда в качестве параметра по ссылке

Как правильно определить функцию, которая получает int->intпараметр лямбда по ссылке? void f(std::function< int(int) >& lambda); или же void f(auto& lambda); Я не уверен, что последняя форма является допустимым синтаксисом. Есть ли другие способы определения лямбда-параметра?...

84
В чем разница между int? и int в C #?

Я на 90% уверен, что видел этот ответ в stackoverflow раньше, на самом деле я никогда не видел "int?" синтаксис, прежде чем увидеть его здесь, но как бы я ни искал, я не могу найти предыдущий пост, и это сводит меня с ума. Возможно, я случайно ел забавные грибы, но если нет, может ли кто-нибудь...

84
long long в C / C ++

Я пробую этот код на компиляторе GNU C ++ и не могу понять его поведение: #include <stdio.h>; int main() { int num1 = 1000000000; long num2 = 1000000000; long long num3; //num3 = 100000000000; long long num4 = ~0; printf("%u %u %u", sizeof(num1), sizeof(num2), sizeof(num3)); printf("%d %ld...

84
Почему SQL Server не поддерживает беззнаковый тип данных?

Я специально думаю о неподписанных int. Вот практический пример: что вы делаете, когда ваш столбец идентичности достигает максимума? Можно либо пойти BigInt(хранилище 8 байтов вместо 4), либо провести рефакторинг приложения для поддержки отрицательных целых чисел и даже создать свои собственные...

84
Плавающие значения двойной точности в Python? [закрыто]

Закрыто . Этот вопрос должен быть более конкретным . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он фокусировался только на одной проблеме, отредактировав этот пост . Закрыт 4 месяца назад . Уточните этот вопрос Есть ли типы данных с большей...

84
Как определить разные типы для одного и того же класса в C ++

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