Вопросы с тегом типа умозаключение - PullRequest

Вопросы с тегом типа умозаключение

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

Для типа .NET DateTime, почему выводимый тип базы данных SqlDbTypes.DateTime вместо SqlDbTypes

Triynko / 07 декабря 2011
8 голосов
1 ответ

Может кто-нибудь объяснить шаг за шагом вывод типа в следующей программе F #: let rec sumList lst =...

riship89 / 06 декабря 2011
8 голосов
2 ответов

У меня вопрос по выводу типов в конструкторах типов Scala. Я использую Scala 2.9.1 ... Предположим,...

shj / 03 декабря 2011
5 голосов
3 ответов

Скажем, у меня есть метод, который превращает (функция на двух элементах) в (функция на двух...

Luigi Plinge / 30 ноября 2011
3 голосов
2 ответов

Я улучшаю поддержку Scala в Querydsl и столкнулся со следующей проблемой. Вот фрагмент кода,...

Timo Westkämper / 19 ноября 2011
1 голос
8 ответов

Рассмотрим следующий код ... double total = Int32.MaxValue; total++; int previousX = 0; for (var x...

Remotec / 08 ноября 2011
4 голосов
3 ответов

У меня есть иерархия классов, которая выглядит следующим образом: class Base<TElement> {...

kshahar / 02 ноября 2011
0 голосов
2 ответов

Для небольшого синтаксического анализатора AST у меня есть небольшой дискриминируемый союз type...

Christian Ivicevic / 30 октября 2011
2 голосов
1 ответ

Мне кажется, я хочу, чтобы это был тип 'список *' список -> 'список. пересечение должно возвращать...

Nate / 30 октября 2011
3 голосов
1 ответ

Я использую механизм SFINAE для определения типа. Resolve<T>::type выводится в T, если class...

iammilind / 10 октября 2011
10 голосов
3 ответов

Сегодня я столкнулся с разочаровывающим чем-то в Haskell. Вот что произошло: Я написал функцию в...

Matt Fenwick / 05 октября 2011
4 голосов
2 ответов

Я работаю над DSL для экспериментальной библиотеки, которую я создаю в Scala, и я столкнулся с...

Nimrand / 05 октября 2011
3 голосов
2 ответов

При попытке выполнить следующее в 2.8.1 / 2.9.0.1 REPL первый выдает ошибку. val l = List(Vector(1...

ron / 14 сентября 2011
4 голосов
1 ответ

Я играл со Scala, пытаясь заставить SMR скомпилировать в Scala IDE с 2.9.1. SMR, кажется, остался...

Chris Shain / 14 сентября 2011
1 голос
1 ответ

Если указать значение функции как: let applyFirst f elements = if Seq.isEmpty elements then None...

Dmitrii Lobanov / 13 сентября 2011
1 голос
2 ответов

В качестве дополнительного вопроса к По каким причинам Map.get (ключ объекта) не является...

Raman / 05 сентября 2011
14 голосов
1 ответ

Если я создаю для понимания с определением значения с помощью Option, он работает, как и ожидалось:...

srparish / 03 сентября 2011
43 голосов
4 ответов

Механизм логического вывода в Haskell намного мощнее, чем в Scala. В Haskell мне редко приходится...

kiritsuku / 29 августа 2011
5 голосов
2 ответов

Я озадачен тем, почему этот код компилируется с подсказками типов, но не компилируется без. Не...

gatoatigrado / 29 августа 2011
4 голосов
2 ответов

Я совершенно новичок в Scala. Сейчас я пытаюсь портировать парсер, который я написал в Standard ML,...

Asiri Rathnayake / 15 августа 2011
14 голосов
3 ответов

Допустим, я определил в F # следующие два типа: type Dog = { DogName:string; Age:int } type Cat = {...

devoured elysium / 15 августа 2011
5 голосов
2 ответов

Я использую junit с hamcrest в своих модульных тестах, и я столкнулся с общей проблемой:...

Gabriel Ščerbák / 30 июля 2011
34 голосов
5 ответов

* auto x = initializer; эквивалентно decltype(initializer) x = initializer; или...

fredoverflow / 29 июля 2011
11 голосов
2 ответов

Я работаю над простой системой, основанной на потоке данных (представьте, что это редактор / среда...

akarnokd / 22 июля 2011
205 голосов
14 ответов

Я использовал новое ключевое слово auto, доступное в стандарте C ++ 11 для сложных шаблонных типов,...

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