Вопросы с тегом типа - PullRequest

Вопросы с тегом типа

2 голосов
2 ответов

liftM2 {A B R : Set} {m} {x : Monad m} (f : A -> B -> R) (ma : m A) (mb : m B) : (m R) Есть ли...

Miguel A. Friginal / 21 февраля 2012
0 голосов
1 ответ

У меня есть следующая функция с несколькими входами let blackscholes strike assetPrice standarddev...

user1222538 / 21 февраля 2012
7 голосов
2 ответов

Рассмотрим следующую функцию SML: fn x => x x Это приводит к следующей ошибке (Standard ML of...

Ismail Badawi / 06 февраля 2012
0 голосов
2 ответов

Я все еще борюсь с моим дизайном и реализацией, думал, что он прогрессирует ... Сначала я определил...

SoftTimur / 01 февраля 2012
1 голос
2 ответов

Я определил несколько подписей и модулей следующим образом: module type MATRIX = sig type 'a t...

SoftTimur / 01 февраля 2012
7 голосов
2 ответов

Я знаю, что можно определить рекурсивные модули, кто-нибудь знает, как определить рекурсивные...

SoftTimur / 30 января 2012
1 голос
1 ответ

Я определил 2 подписи и 4 модуля следующим образом, и он отлично работает: module type TRIANGLE =...

SoftTimur / 30 января 2012
0 голосов
1 ответ

Более ясная версия этого вопроса была опубликована здесь . Я определил подпись и два модуля...

SoftTimur / 29 января 2012
7 голосов
6 ответов

Части моего кода зависят от значения символа препроцессора: int a() { #if SDK_VERSION >= 3...

GDICommander / 23 января 2012
3 голосов
1 ответ

Я знаю, что мы можем определить два типа, связывающих друг друга, например: type a = | CC of b and...

SoftTimur / 19 января 2012
4 голосов
2 ответов

У меня есть этот тип модуля: module type MOD = sig type operand type op val print : op -> string...

Hajer Herbegue Bouhachem / 04 января 2012
3 голосов
2 ответов

Я хочу использовать тип возврата селектора, чтобы определить, как он используется в моем коде. Есть...

Jordan Medlock / 21 октября 2011
2 голосов
1 ответ
61 голосов
2 ответов

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

harm / 09 октября 2011
3 голосов
2 ответов

Этот случай (упрощенный до такой степени, что он не имеет особого смысла) правильно обрабатывается...

Francesco De Vittori / 24 сентября 2011
4 голосов
2 ответов

Если вы посмотрите на пакет изображений здесь http://golang.org/src/pkg/image/image.go, то увидите,...

andrew cooke / 11 июля 2011
4 голосов
2 ответов

у меня есть одно приложение, которое я знаю. Диапазон значений типа double равен **1.7E +/- 308 (15...

Banker Mittal / 21 июня 2011
2 голосов
3 ответов

Возможно ли получить прямой доступ к элементам векторов в data.frame? # DataFrame nerv <- data

R_User / 19 июня 2011
13 голосов
3 ответов

Я только что узнал, что у OCAML должен быть постфикс . для выполнения арифметики с плавающей точкой

Lasse Espeholt / 09 июня 2011
24 голосов
5 ответов

Я новичок в Haskell и пытаюсь понять, почему нужно писать объявления типов.Поскольку у Haskell есть...

Vladimir Bychkovsky / 06 июня 2011
1 голос
2 ответов

Давайте рассмотрим функцию, которая получает дату рождения человека и возвращает его возраст (в...

Ivan / 04 июня 2011
12 голосов
3 ответов

У меня есть тип диапазона, определенный как: type 'a range = Full | Range of ('a *...

aneccodeal / 03 июня 2011
3 голосов
1 ответ

У меня проблема с типами в следующем коде (некоторая легкая реализация функционального графа...

mechu / 17 мая 2011
12 голосов
2 ответов

Я использую следующий фрагмент кода для загрузки данных из таблицы Google Fusion как json. var...

mapper / 13 мая 2011
1 голос
4 ответов

Существует ли тип данных, например вектор или очередь, в который можно легко добавлять элементы, но...

node ninja / 28 апреля 2011
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...