0
ответов
Автоматическое приведение типов C++ :неправильное поведение для класса-контейнера
Я реализую некоторые классы для операций линейной алгебры с очень маленькими векторами и матрицами постоянного размера. В настоящее время, когда я делаю :MyMathVector a ={1, 2, 3}; MyMathVector<двойной, 3&...
вопрос задан: 31 July 2012 16:40
0
ответов
Путаница с BOOLEAN или TINYINT
Я разрабатывал базу данных для сайта, где мне нужно использовать логический тип даты для хранения только двух состояний, истинного или ложного. Я использую MySQL.
При проектировании базы данных с помощью phpMyAdmin я обнаружил, что у меня есть...
вопрос задан: 31 July 2012 13:31
0
ответов
модульное программирование в ocaml
Я нашел кое-что, чего не очень понимаю, работая над проектом ocaml. Предположим, я использую модули Array и List стандартной библиотеки OCaml. Оба они реализуют функцию...
вопрос задан: 31 July 2012 09:12
0
ответов
Использование системы типов Haskell для указания того, что класс подчиняется дополнительным свойствам (, т.е. классы типов для классов типов)
Когда мы создаем класс типов, мы обычно предполагаем, что его функции должны подчиняться некоторым свойствам. Таким образом, у нас есть законы моноидов и монад для соответствующих классов типов. Но, что если есть какой-то закон,...
вопрос задан: 30 July 2012 20:52
0
ответов
Создание списка целых чисел, связанных с типом Enum
У меня есть служебная функция, которая перечисляет все значения перечислимого и ограниченного типа :enumerate::(Перечисление a, ограниченное a )=> [a] enumerate = [minBound.. maxBound] и тип данных, который...
вопрос задан: 29 July 2012 15:20
0
ответов
Catchable Fatal Error :Аргумент 1, переданный в Foo ::bar ()должен реализовывать интерфейс BazInterface, указан null
В некоторых случаях вы переопределяете метод с подсказкой типа входного параметра, например этот :class FooParent { панель общедоступных функций (BazInterface $baz ){ //... } } А вы...
вопрос задан: 28 July 2012 20:59
0
ответов
Могу ли я специализировать параметры типа функций в Scala, как я могу с помощью специализации шаблонов C++?
Я хочу написать функцию, которая ведет себя по-разному в зависимости от ее параметра типа. Простой пример того, что я хочу, показан ниже :def f[Int] = "I'm int" def f[Float] = "Я поплавок" деф[...
вопрос задан: 27 July 2012 02:00
0
ответов
ошибка типа python: a не определено
Питон новичок здесь. Я пишу программу, чтобы подсчитать, сколько раз подстрока является строкой, но продолжаю получать сообщение об ошибке: TypeError: a не определено. Я смотрел / гуглил похожие темы ...
вопрос задан: 25 July 2012 19:39
0
ответов
Почему в Clojure есть строки, ключевые слова и символы?
Я изучаю Clojure и не могу понять некоторые решения по проектированию языка :Почему язык с неизменяемыми строками, такой как Clojure, также нуждается в типах данных Keywords и Symbols? Не мог...
вопрос задан: 25 July 2012 17:13
0
ответов
Почему нет StringBuilder.+= (String )в Scala?
Это поведение кажется нарушенным (Я использую Scala 2.9.1 )var b= new StringBuilder Все в порядке :b+='a' b.append ('b' )b.append ("de" )Это приводит к ошибке компиляции :b+="de" Есть идеи, почему...
вопрос задан: 24 July 2012 21:04
0
ответов
невидимое/скрытое поле в конструкторе
Я продираюсь через Learn You a Haskell for Great Good и добрался до раздела 8.4 «Производные экземпляры». В этом разделе есть следующее объявление типа данных :data Person =...
вопрос задан: 23 July 2012 09:32
0
ответов
Как получить тип значения в Scheme?
Мне нужна функция, которая получает тип значения во время выполнения. Пример использования:(get -введите a ), где a было определено как произвольное значение схемы. Как мне это сделать? Или я должен реализовать это...
вопрос задан: 19 July 2012 18:14
0
ответов
Как преобразовать IEEE -11073 16 -бит SFLOAT в простое число с плавающей запятой в Java?
Название говорит само за себя :Как преобразовать IEEE -11073 16 -бит SFLOAT в простое число с плавающей запятой в Java?
вопрос задан: 19 July 2012 16:10
0
ответов
Если void ()не возвращает значение, зачем мы его используем?
void f ()означает, что f ничего не возвращает. Если void ничего не возвращает, то почему мы его используем? Какова основная цель пустоты?
вопрос задан: 19 July 2012 11:51
0
ответов
Тип -безопасный прямоугольный многомерный массив типа
Как вы представляете прямоугольную 2 -размерную (или многомерную )структуру данных массива данных в Scala? То есть каждая строка имеет одинаковую длину, проверенную во время компиляции, но размерности...
вопрос задан: 19 July 2012 04:46
0
ответов
Как создать псевдонимы типов для определенных типов карт в Scala
У меня есть куча кода, использующего Map[String, Float]. Итак, я хотел бы ввести тип DocumentVector = Map[String, Float]... var vec = новый DocumentVector, но это не компилируется. Я получаю сообщение :...
вопрос задан: 12 July 2012 19:47
0
ответов
PHP/Oracle :Представление времени
Заявление об отказе от ответственности :Я полностью осознаю, что лучший способ представления даты/времени — это либо метки времени Unix, либо класс PHP DateTime и тип данных DATE Oracle. Учитывая это, мне интересно, что за...
вопрос задан: 11 July 2012 13:13
0
ответов
Что такое комбинаторно-логический эквивалент интуиционистской теории типов?
Недавно я закончил университетский курс, посвященный Haskell и Agda (, функциональному языку программирования с зависимой типизацией ), и мне было интересно, можно ли заменить лямбда-исчисление в этих...
вопрос задан: 11 July 2012 08:41
0
ответов
Списки типов данных: «Не удалось вывести (a ~ SomeType) из контекста (SomeTypeclass a)»
У меня следующая проблема с системой типов Haskell: я пытаюсь объявить тип данных и вернуть список, содержащий элементы этого типа из функции. К сожалению, даже минимальный тестовый пример ...
вопрос задан: 9 July 2012 10:42
0
ответов
Псевдонимы типов данных Haskell
Я написал математический модуль Vector на Haskell. Итак, я начал с :data Vector a = Vector !a !a !a производным (Eq, Show )Fine — это позволяет мне использовать любой числовой тип данных, который я хочу. Проблема в том, что...
вопрос задан: 8 July 2012 05:22
0
ответов
Странный тип в c++
У меня есть метод с прототипом :bool getAssignment (const Query& query, Assignment *&result ); Я немного запутался в типе второго параметра (Assignment *&result ), так как я не...
вопрос задан: 7 July 2012 15:32
0
ответов
Что означает id?
Я (пытаюсь) изучить Objective-C и все время сталкиваюсь с такой фразой: - (id) init; И я понимаю, что id - это ключевое слово языка Objective C, но что означает выражение «конкретно компилятор ...
вопрос задан: 7 July 2012 07:40
0
ответов
Хранить разные типы данных в одном массиве NumPy?
У меня есть два разных массива, один со строками, а другой с целыми числами. Я хочу объединить их в один массив, где каждый столбец имеет исходный тип данных. Мое текущее решение для этого (см....
вопрос задан: 3 July 2012 11:13
0
ответов
Как я могу определить тип переменной, если она не задана?
Предположим, у нас есть что-то вроде :val x = "foo".charAt (0 )и, допустим, мы не знаем возвращаемый тип метода charAt (0)(который, разумеется, описан в Scala API ). Есть ли...
вопрос задан: 2 July 2012 08:31
0
ответов
Есть ли способ неявно построить тип в C #?
Я читал о полезном трюке о том, как избежать использования неверных данных домена в коде, создав тип данных для каждого используемого типа домена. Делая это, компилятор не позволит вам...
вопрос задан: 1 July 2012 00:51
0
ответов
Можно ли переопределить поле типа?
скала> класс С определенный класс C scala> класс subC расширяет C определенный класс subC scala> класс A {тип T = C} определенный класс A scala> класс subA расширяет A {тип переопределения T = subC} <...
вопрос задан: 30 June 2012 14:10
0
ответов
Номера Haskell и система типов?
У меня есть этот фрагмент кода Javascript :N1 = Math.floor (275 *месяц / 9 )N2 = Math.floor ((месяц + 9 )/ 12 )N3 = (1 + Math.floor ((год -4 *Math.floor (год / 4 )+ 2 )/ 3 ))N = N1-(N2 *N3 )+ день -30...
вопрос задан: 30 June 2012 03:48
0
ответов
Равенство типов в Scala 2.10 Reflection API
У меня возникла странная проблема с отражением в Scala 2.10.0 Milestone 4, которую я не могу понять. Сначала о том, что работает так, как я ожидал :scala> import scala.reflect.runtime....
вопрос задан: 29 June 2012 01:06
0
ответов
Как отобразить все типы объекта (в Scala)?
С помощью метода isInstanceOf можно проверить тип объекта. Например: scala> val i: Int = 5
i: Int = 5 scala> val a: Any = i
a: Any = 5 scala> a.isInstanceOf[Any]
res0: Boolean = ...
вопрос задан: 28 June 2012 21:08
0
ответов
Как привести объект к типу, переданному функции?
Это не компилируется, но что я пытаюсь сделать, так это просто привести объект к 't', который передается функции? public void My_Func (ввод объекта, тип t)
{ (t)object ab = TypeDescriptor....
вопрос задан: 28 June 2012 14:25