0
ответов
Ограничения на неявную типизацию
В своей книге Джон Скит ссылается на 7 ограничений на неявную типизацию. Мне нужно пояснить два последних: A. Тип, который вы хотите, чтобы переменная имела, это тип времени компиляции инициализации...
вопрос задан: 23 May 2012 19:40
0
ответов
функция не может соответствовать типу
У меня есть функция, как показано ниже: foo :: Int -> a -> [a] foo nv = bar n где bar :: Int -> [a] bar n = take n $ повторить v, используя ghci, сообщить об этой ошибке: Не удалось ...
вопрос задан: 22 May 2012 20:02
0
ответов
Объяснение < script type = & ldquo; text / template & rdquo; > & Hellip; < / сценарий >
Я просто наткнулся на то, чего никогда раньше не видел. В исходном примере приложения TODO для Backbone.js (Пример Backbone TODO) их шаблоны содержались внутри < script type = "text / ...
вопрос задан: 22 May 2012 00:18
0
ответов
не может быть разрешен к типу (jsp + eclipse)
У меня есть проект jsp в качестве уровня представления, чтобы показать результат (простую строку) из функции из класса java. Этот класс находится в каталоге src. Когда я пытаюсь запустить, я получаю следующие ошибки: org....
вопрос задан: 21 May 2012 03:03
0
ответов
Библиотека линейной алгебры конечных полей для Haskell
Я ищу библиотеку линейной алгебры конечных полей для Haskell. Что-то вроде FFLAS-FFPACK для Haskell было бы здорово :-). Конечно, я проверил hmatrix, кажется, есть некоторая поддержка...
вопрос задан: 19 May 2012 14:07
0
ответов
Теория гомоиконических типов
Лисп обладает свойством гомоиконности, то есть представление кода, используемого реализацией языка (списки), также доступно и идиоматически используется программами, которые хотят ...
вопрос задан: 19 May 2012 00:09
0
ответов
Цепочное неравенство Java, если (5
Есть ли какой-нибудь оператор или трюк для такой операции? Или необходимо использовать if(5
вопрос задан: 18 May 2012 19:01
0
ответов
OCaml: ограничения типов в подписях
В моем коде есть контекст доступа к базе данных, который обеспечивает элементарные операции чтения/записи, называемый CouchDB.ctx. Затем различные модули в моем приложении расширяют этот класс дополнительными функциями, ...
вопрос задан: 18 May 2012 13:35
0
ответов
Когда предпочтительнее использовать нетипизированные кавычки, а не типизированные в F#?
В F# есть цитаты как с типизированным, так и с нетипизированным кодом, и мне интересно, каковы варианты использования, когда можно выбрать одно вместо другого? Является ли различие просто удобством, а нетипизированные и типизированные кавычки ...
вопрос задан: 17 May 2012 17:57
0
ответов
Веб-платформы для разных ОС со статической типизацией: Java, Mono и что еще? [закрыто]
Я понимаю, что этот вопрос может быть закрыт из-за его открытого характера, но тем не менее мне любопытно. Если бы я хотел разработать кросс-платформенное веб-приложение с использованием языка со статической типизацией, что...
вопрос задан: 17 May 2012 12:22
0
ответов
Haskell: алгебраические данные против кортежа
data Ray = Ray Vector Vector or type Ray = (Vector, Vector) Что предпочтительнее в идиоматическом haskell?Почему я должен использовать один над другим?
Меня не волнует производительность. Кажется, это мало ...
вопрос задан: 17 May 2012 00:12
0
ответов
Типы Scala: наименьшие верхние границы
Я пытаюсь параметризовать некоторые методы параметрами очень общего типа. Например, в REPL я сначала определяю: Черта Термин
case class FunctionalTerm[+T <: Term](t: T) extends Term ...
вопрос задан: 16 May 2012 19:21
0
ответов
Возникли проблемы с undefined !== undefined
Я пытаюсь обработать полную функцию в вызове ajax. Если значение не определено, я хочу привести var как пустую строку. В противном случае я хотел бы зафиксировать значение в массиве строк. ...
вопрос задан: 14 May 2012 16:42
0
ответов
Каково приблизительное разрешение числа с плавающей точкой одинарной точности, когда оно около нуля
Я храню много долгот и широт как двойные числа, мне интересно, могу ли я обойтись без хранения их как плавающих чисел. Чтобы ответить на этот вопрос, мне нужно знать приблизительное разрешение одного ...
вопрос задан: 11 May 2012 16:07
0
ответов
Являются ли зависимые от пути типы проекциями типов?
Сейчас я внимательно изучаю Scala. Вот выдержка из книги: Все типы, зависящие от пути, являются проекциями типов. Зависимый от пути тип foo.Bar переписывается компилятором как foo.type#Bar... ...
вопрос задан: 11 May 2012 15:48
0
ответов
Почему у объектов float в Python нет атрибута знаменателя, а у int есть?
Пока я возился с Python, >>> [attr для attr в dir (1), если не attr.startswith ('_ ')]
['бит_длина', 'сопряжение', 'знаменатель', 'воображаемый', 'числитель', 'действительный']
>>> [attr ...
вопрос задан: 11 May 2012 15:41
0
ответов
Проблема с сохранением значений широты и долготы в базе данных MySQL
Я хочу сохранить значения широты и долготы, полученные из API геокодирования Google Maps, в базе данных MySQL. Значения представлены в формате с плавающей запятой. 12.9274529 77.5905970 И когда я хочу сохранить ...
вопрос задан: 11 May 2012 14:43
0
ответов
Haskell: Безопасность типов с логически разными логическими значениями
Допустим, у меня есть следующий тип кода IsTall = Bool
type IsAlive = Bool is_short_alive_person is_tall is_alive = (не is_tall) && is_alive Скажем, позже у меня есть следующий код:: ...
вопрос задан: 11 May 2012 03:19
0
ответов
Статические типы, полиморфизм и специализация
Когда я впервые изучил Haskell, я очень быстро полюбил параметрический полиморфизм. Это восхитительно простая идея, которая работает удивительно хорошо. Все "если он компилируется, он обычно работает правильно"...
вопрос задан: 10 May 2012 20:27
0
ответов
Long in Float, почему ?
длинный b = 99; поплавок c = 99.0F; // b = c; // Ошибка: невозможно неявно преобразовать тип float в long. почему? long b = 99; поплавок c = 99.0F; // b = c; // Ошибка: невозможно неявно преобразовать тип float в long. почему? <
вопрос задан: 10 May 2012 18:48
0
ответов
Получение расширений заданного UTType
Я знаю, что могу заданное расширение с использованием UTTypeCreatePreferredIdentifierForTag(kUTTagClassFilenameExtension, extension, NULL), но я не могу найти способ сделать обратное, то есть массив...
вопрос задан: 10 May 2012 17:12
0
ответов
Как работают классы Фреге?
Кажется, что идеи Фреге о классах типов значительно отличаются от Хаскеля. В частности: Синтаксис кажется другим по непонятной причине.
Типы функций не могут иметь экземпляров классов. ...
вопрос задан: 10 May 2012 13:11
0
ответов
Что такое тип данных «атом»?
Я встречал тип ATOM в Win32api, а также в Acrobat API есть ASAtom. Насколько я могу судить, атомы — это ключи для хэш-таблицы, обычно состоящей из строк, чтобы обеспечить быстрый поиск и обмен...
вопрос задан: 10 May 2012 02:47
0
ответов
decimal rounding is off for (276/304)*304
If you put the following code in your compiler the result is a bit bizar: decimal x = (276/304)*304;
double y = (276/304)*304; Console.WriteLine("decimal x = " + x);
Console.WriteLine("double y = " +...
вопрос задан: 9 May 2012 19:19
0
ответов
Убедитесь, что тип реализует интерфейс во время компиляции в Go
Как я могу гарантировать, что тип реализует интерфейс во время компиляции? Типичный способ сделать это — отказаться от назначения поддержки интерфейсов из этого типа, однако у меня есть несколько типов, которые...
вопрос задан: 9 May 2012 06:41
0
ответов
Является ли это типом более высокого порядка в Scala?
Имея следующий тип определения MyMap = Map[String, List[Map[Int, String]]] Может ли Map быть определена как более высокий тип?
вопрос задан: 9 May 2012 06:01
0
ответов
std ::is _convertible for type _info
В C++11 можно определить, можно ли неявно преобразовать переменную типа A в тип B с помощью std ::является _конвертируемым. Это хорошо работает, если вы действительно знаете типы A и B,...
вопрос задан: 8 May 2012 16:18
0
ответов
Python& #39; новые -классы стилей& #39; базовый-`объект `и `тип`
Согласно документу, объект является базовым классом всех новых -стилевых классов. И, насколько мне известно, так называемые -классы нового -стиля — это как раз те, которые могут приобретать некоторые новые черты, наследуя объект, верно? Я подумал...
вопрос задан: 8 May 2012 06:28
0
ответов
Какой должен быть тип результата этой функции?
Я хочу написать функцию saveStuff, которая сохраняет что-то в файл после прохождения определенных тестов. Если тесты не пройдены, мне нужно поднять ошибку. Какой должен быть тип результата этой функции? Я подумал...
вопрос задан: 4 May 2012 22:27
0
ответов
Алгебраическая интерпретация полиморфизма
Итак, я понимаю основную алгебраическую интерпретацию типов :Либо a b ~a + b (а, б)~а *б а -> б ~б^а()~1 Void ~0 --из Data.Void... и что эти соотношения верны для конкретного...
вопрос задан: 4 May 2012 06:53