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

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

0 голосов
1 ответ

Я использую scala-2.8.1 и scalaz-5.0 . Может кто-нибудь объяснить, почему PartialApply1Of2 может...

oxbow_lakes / 24 декабря 2010
4 голосов
1 ответ

Следующее работает отлично, как и следовало ожидать в полиморфной системе типов в стиле Curry, где,...

rwallace / 19 декабря 2010
14 голосов
4 ответов
1 голос
1 ответ

Я часто (слишком) использую конструкцию, подобную следующей: class MyClass { public TypeA ObjectA;...

manixrock / 05 декабря 2010
13 голосов
2 ответов

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

Eli Schneider / 29 ноября 2010
3 голосов
3 ответов

Существует ли в Microsoft Visual C ++ 2008 какой-либо механизм вывода типов для конкретного...

fredoverflow / 27 ноября 2010
11 голосов
1 ответ

Почему компилятор C # не выводит тот факт, что FooExt.Multiply() удовлетворяет сигнатуре Functions

CluelessCoder / 16 ноября 2010
8 голосов
2 ответов

Пример А Изучите следующий фрагмент: public class ExampleA { static class Pair<F,S> { }...

polygenelubricants / 11 ноября 2010
8 голосов
1 ответ

Попробуйте скомпилировать следующий код в JDK7: import java.nio.file.*; public final class...

java.is.for.desktop / 02 ноября 2010
1 голос
4 ответов

Я работаю в среде .NET 2.0. У меня работает некоторый код, просто хочу, чтобы он работал немного...

TofuBug / 26 октября 2010
8 голосов
3 ответов

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

Ani / 19 октября 2010
18 голосов
1 ответ

Я ищу информацию об известном алгоритме Дамаса-Хиндли-Милнера для определения типа для...

Vinz / 04 сентября 2010
2 голосов
6 ответов

Я пытаюсь написать метод в F #, который возвращает новый экземпляр универсального типа на основе...

NathanD / 20 августа 2010
7 голосов
2 ответов

List("This","is","Scala").foreach(a => print(a+" "))...

Dave.Sol / 16 августа 2010
11 голосов
2 ответов

JLS упоминает в алгоритме вывода типа (§15.12.2): Возможно, что описанный выше процесс дает...

Daniel / 10 августа 2010
2 голосов
3 ответов

Я пишу некоторый код для перевода типа C ++ в соответствующий тип для базы данных SQL.Я хочу...

Brett Rossier / 10 августа 2010
6 голосов
1 ответ

Я играл с ListW.<^>, определение которого следующее: def <^>[B: Zero](f:...

oxbow_lakes / 28 июля 2010
6 голосов
2 ответов

В моем собственном коде и в многочисленных публикациях в списках рассылки я заметил путаницу из-за...

Alex Cruise / 22 июля 2010
3 голосов
5 ответов

Хорошо, я читаю все, что могу найти в var, и я почти уверен, что у меня есть представление об их...

Joel Etherton / 14 июля 2010
4 голосов
2 ответов

Обычно кажется, что следующее недопустимо: class Foo a where foo :: a -> b -> a Что имеет...

J Cooper / 14 июля 2010
0 голосов
1 ответ

Учитывая следующие два класса: public class ABC { public void Accept(Ordering<User> xyz) { //...

TheCloudlessSky / 28 июня 2010
48 голосов
3 ответов

Я не понимаю последнюю строку примера на странице 148 FCD (§7.6.1.2 / 4): const int&&...

fredoverflow / 23 июня 2010
4 голосов
4 ответов

Учитывая интерфейс: public interface BasedOnOther<T, U extends BasedList<T>> { public T...

Pindatjuh / 16 июня 2010
6 голосов
1 ответ

Я просто возился с Прекрасным упражнением Тони Морриса по катаморфизму , когда я размышлял о том,...

oxbow_lakes / 25 мая 2010
19 голосов
5 ответов

Я работаю над переписыванием моего свободного интерфейса для своей библиотеки классов IoC, и когда...

Lasse Vågsæther Karlsen / 24 мая 2010
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...