0
ответов

Есть ли способ вывести тип данных java на консоль?

Я пытаюсь отладить унаследованную программу. Эта программа содержит строки, списки массивов и коллекции, много преобразований между типами, и мне нужно выполнить некоторые манипуляции со строками (подстроки и т. д. )...
вопрос задан: 3 May 2012 19:56
0
ответов

результат std.algorithm.map

Мог бы кто-нибудь скажет, что возвращает std.algorithm.map? (ссылка на какую-либо страницу документации будет очень признательна) Из сообщения об ошибке его результат имеет тип Result ulong[] x = [1,2,3]; ulong[] y = std....
вопрос задан: 3 May 2012 18:41
0
ответов

Метод Python -тип оболочки?

Что такое тип оболочки метода -в Python 3? Если я определяю класс следующим образом :класс Foo (объект ):def __init __(self, val ):self.val = val def __eq __(self, other ):return self.val =...
вопрос задан: 3 May 2012 16:21
0
ответов

объявления типа в 'where' - что происходит?

Читая руководство QuickCheck, Я наткнулся на следующий пример: prop_RevRev xs = reverse (reverse xs) == xs, где types = xs :: [Int] Далее в руководстве говорится: Свойства должны иметь ...
вопрос задан: 3 May 2012 15:04
0
ответов

Haskell :получение статического типа выражения

Я ищу функцию, которая делает то, что делает команда типа GHCi :. В идеале он должен иметь сигнатуру типа getStaticType ::a -> String a = getStaticType (1+2) --a = " (Num t )=>...
вопрос задан: 1 May 2012 15:48
0
ответов

Как сложить или вычесть два экземпляра одного и того же класса/типа

У меня есть тип, представляющий числовой тип. В данном случае я работаю с мегаваттами, поэтому я создал тип под названием «Мегаватт». Я хотел бы иметь возможность работать с этими мегаваттами, как с Int,...
вопрос задан: 30 April 2012 21:43
0
ответов

Соглашения об именах типов C, _t или ALLCAPS

Мне всегда было интересно, существуют ли какие-либо соглашения об именах, например, когда использовать ALLCAPS для типа и когда добавлять _t (и когда ничего не использовать? ). Я знаю, что еще в те дни, когда K&R публиковал всевозможные...
вопрос задан: 27 April 2012 19:22
0
ответов

Тест универсального типа коллекции

Я хотел бы выполнить некоторые операции в соответствии с заданным типом коллекции (с использованием рефлексии ), независимо от универсального типа. Вот мой код :void MyFct (Type a _type ){ // Проверить, если это...
вопрос задан: 27 April 2012 18:02
0
ответов

Поддерживает ли C++11 рекурсию типов в шаблонах?

Я хочу подробно объяснить вопрос. Во многих языках со строгой системой типов (, таких как Felix, Ocaml, Haskell ), вы можете определить полиморфный список, составив конструкторы типов. Вот Феликс...
вопрос задан: 25 April 2012 20:07
0
ответов

Универсальный класс из параметра типа

Есть ли способ создать универсальный класс из параметра типа. У меня есть что-то вроде этого :открытый класс SomeClass { общедоступный тип TypeOfAnotherClass { получить; набор; } } открытый класс OneMoreClass { }...
вопрос задан: 25 April 2012 15:50
0
ответов

В чем разница между этими типами данных?

В чем разница между short int, unsigned int, signed int и int в C++? Какие есть приложения? Когда вы используете короткий int, unsigned int и т. д.?
вопрос задан: 25 April 2012 03:31
0
ответов

Какой тип поля для textarea& #39;s?

У меня есть форма, в которой клиенты будут набирать несколько абзацев в различных текстовых областях. Должен ли я выбрать varchar или текст для типа поля? Это имеет значение? Спасибо. Эрик
вопрос задан: 23 April 2012 20:41
0
ответов

Неоднозначность ввода с числами

Я наткнулся на кое-что, что мне показалось любопытным, играя с интерактивной подсказкой Haskell. (ghci )Следующий код, запущенный в ghci 7.0.4 [minBound..1], выдает следующее исключение :<...
вопрос задан: 23 April 2012 20:08
0
ответов

Аргументы функции :Верхняя граница против родительского класса в качестве аргумента?

Допустим, у нас есть :абстрактный класс FlyingObject; case class Rocket (name :String )extends FlyingObject; в чем разница между этими двумя объявлениями функций :def launch[T < :FlyingObject] (fo :...
вопрос задан: 23 April 2012 20:08
0
ответов

Ссылочный тип с частично определенным пространством имен

Можно ли ссылаться на типы Java с частично определенным именем? Если да, то как? Сценарий :Я часто сталкиваюсь с классом данных (, например. Действие ), для которого требуется представление. Моя стандартная практика...
вопрос задан: 23 April 2012 03:24
0
ответов

CREATE TYPE в MySQL

Мне не удалось создать новый тип данных в MySQL. Запрос приведен ниже CREATE TYPE PERSON AS OBJECT (ИМЯ VARCHAR (30), SSN VARCHAR (9)); Как я могу сделать это в MySQL
вопрос задан: 22 April 2012 07:36
0
ответов

Текущий тип является интерфейсом и не может быть создан. Вам не хватает сопоставления типов?

У меня есть класс контроллера, который отвечает за команду двойного щелчка и, в свою очередь, вызывает метод, открывающий пользователю всплывающее окно. Что-то вроде :var popup = container.GetService
вопрос задан: 19 April 2012 05:21
0
ответов

Изоморфизм Карри-Ховарда

Я поискал в Интернете и не смог найти никаких объяснений CHI, которые не превращались бы быстро в лекцию по теории логики, которая совершенно непосильна для меня. (Эти люди говорят так, как будто «...
вопрос задан: 18 April 2012 23:58
0
ответов

Как работает Джинн

Итак, я понимаю, что, вероятно, буду жалеть об этом всю оставшуюся жизнь, но... Как на самом деле работает Джинн? В документации сказано, что он использует алгоритм, который h является "расширением LJ" и...
вопрос задан: 18 April 2012 21:08
0
ответов

Можно ли сгенерировать код автоматически, учитывая сигнатуру типа Haskell?

Что написано в заголовке. Если я напишу сигнатуру типа, возможно ли алгоритмически сгенерировать выражение, имеющее эту сигнатуру? Кажется правдоподобным, что это возможно сделать....
вопрос задан: 18 April 2012 08:39
0
ответов

Расширение System.Convert

В System.Convert есть очень полезная утилита для преобразования типов данных из одного типа в другой. В моем проекте у меня много пользовательских типов. Я хочу преобразовать аргументы командной строки в эти пользовательские типы (...
вопрос задан: 18 April 2012 00:01
0
ответов

Динамически устанавливать типы Func<>

есть ли способ динамически устанавливать аргументы типа Func<>, поэтому я не не нужно использовать бесконечные операторы if? Что-то вроде :Type t = Type.GetType ("System.Decimal" ); Func foo = new Func&...
вопрос задан: 16 April 2012 15:38
0
ответов

Тип Erasure поднимает свою уродливую голову, как обойти?

Итак, у меня есть этот интерфейс public interface EventHandler { public void handleEvent (E event ); } и я хочу создать для него классы, которые обрабатывают события, например :...
вопрос задан: 15 April 2012 23:18
0
ответов

Отсутствует тип параметра для расширенной функции в Scala ArrayBuffer

При попытке запустить следующий фрагмент из Scala для нетерпеливых:val b = ArrayBuffer(1,7,2,9)val bSorted = b.sorted(_< _)Я получаю следующую ошибку :error:отсутствующий тип параметра для...
вопрос задан: 12 April 2012 14:03
0
ответов

Невозможно понять тип возвращаемого фрагмента кода

Я озадачен, почему этот вариант правильный. Возвращаемое значение имеет ссылочный тип int&, но функция h()возвращает значение типа int в предложении return x. Итак, как же int return меняется на int &...
вопрос задан: 12 April 2012 13:39
0
ответов

Запутался в пользовательских типах данных в Haskell

Задача :Я пытаюсь создать пользовательский тип данных и вывести его на консоль. Я также хочу иметь возможность сортировать его, используя естественный порядок Haskell. Проблема :Напишите сейчас, я не могу получить это...
вопрос задан: 11 April 2012 22:47
0
ответов

Haskell:Почему нет несоответствия типов (и почему это компилируется)?

Я так хотел спать, что написал следующий код, (модифицированный, чтобы просто показать путаницу):fac s = take 10 [s, s `mod` 1..] maxFactor x = if (s = = [])then x else head &...
вопрос задан: 11 April 2012 08:24
0
ответов

Можно ли создать псевдоним типа для универсального класса в Delphi

Я хотел бы определить тип класса (псевдоним типа) для универсального класса. Я хотел бы сделать это, чтобы пользователи модуля b могли иметь доступ к TMyType без использования модуля a. У меня есть такие единицы: единица а; ...
вопрос задан: 9 April 2012 22:31
0
ответов

Что такое квантификаторы типов?

Многие статически типизированные языки обладают параметрическим полиморфизмом. Например, в C#можно определить :T Foo(T x){ return x; } На сайте вызова вы можете сделать :int y = Foo(3); Эти типы...
вопрос задан: 8 April 2012 13:05
0
ответов

Передавать типы в качестве аргументов функции в Haskell?

Следующие две функции очень похожи. Они читают из [String] n элементов, либо [Int], либо [Float]. Как я могу выделить общий код? Я не знаю ни одного механизма в Haskell, который...
вопрос задан: 6 April 2012 11:27