0
ответов
Почему List недействителен для ковариантного интерфейса MyInterface < out T>
Последующий вопрос к предыдущему вопросу, это было идентифицировано как проблема ковариации. Сделав еще один шаг, если я изменю IFactory следующим образом: class Program
{static void Main (string [] ...
вопрос задан: 23 May 2017 10:08
0
ответов
в haskell, зачем Мне нужно указать ограничения типа, почему компилятор не может их понять?
Рассмотрим функцию, добавьте ab = a + b Это работает: * Main> add 1 2
3 Однако, если я добавлю а подпись типа, указывающая, что я хочу добавить объекты того же типа: add :: a -> a -> a
add ab = ...
вопрос задан: 21 April 2017 09:21
0
ответов
Как сгенерировать подпись типа F#, аналогичную FSI, в моем собственном коде?
Если используется интерактивная оболочка F# (FSI), предполагаемый тип выражения (сигнатура) выводится в консоль вместе со своим значением: val it : int * string * float = (42, "Hello F#", 42.0) Как я могу...
вопрос задан: 31 October 2016 14:57
0
ответов
Haskell / Miranda :Найдите тип функции
Brief :Это вопрос из прошлого экзамена Miranda, но синтаксис очень похож на Haskell. Вопрос :Каков тип следующего выражения и что оно делает? (Определения of...
вопрос задан: 13 September 2016 16:13
0
ответов
Есть ли обратная сторона объявления переменных с auto в C ++?
Похоже, что auto был довольно значимой функцией, которая должна быть добавлена в C ++ 11, которая, похоже, следует за многими новыми языками. Как и в языке, подобном Python, я не видел явных переменных ...
вопрос задан: 13 January 2016 17:11
0
ответов
Ошибка вывода типа для Set, созданного с помощью .toSet?
Почему здесь не удается определить тип? scala> val xs = Список (1, 2, 3, 3)
xs: List [Int] = List (1, 2, 3, 3) scala> xs.toSet map (_ * 2)
: 9: error: отсутствует тип параметра для расширенного ...
вопрос задан: 25 September 2015 20:30
0
ответов
Что означает «отсутствие глобального вывода типа» в отношении Scala?
Я читал, что вывод типов в Scala не является глобальным, поэтому люди должны размещать аннотации типов в методах. (Будет ли это вывод "локального" типа?) Я только немного понимаю, что ...
вопрос задан: 10 September 2015 00:31
0
ответов
Связь между auto и decltype
Является ли auto x = initializer; эквивалент decltype (инициализатор) x = инициализатор; или decltype ((инициализатор)) x = инициализатор; или ни то, ни другое?
вопрос задан: 15 August 2015 06:08
0
ответов
Почему вывод типа Scala не такой мощнее, чем у Haskell?
Механизм вывода типов в Haskell намного мощнее, чем в Scala. В Haskell мне редко приходится явно писать типы, тогда как в Scala типы могут выводиться только в выражениях, но не…
вопрос задан: 29 April 2015 19:18
0
ответов
Можно ли добавить вывод типа в язык C ?
Допустим, мы создаем повторную реализацию C, с той лишь разницей, что
что типы предполагаются. Классы и модификаторы хранилища по-прежнему должны быть
задано (const, static, restrict и т. д.), и let '...
вопрос задан: 17 September 2014 10:21
0
ответов
Почему C # не выводит мои универсальные типы?
Я получаю много удовольствия от Funcy (предназначенного для развлечения) с универсальными методами. В большинстве случаев вывод типа C # достаточно умен, чтобы выяснить, какие общие аргументы он должен использовать в моих общих методах, но теперь у меня
вопрос задан: 21 August 2014 08:50
0
ответов
зачем писать объявления типов в Haskell?
Я новичок в Haskell и пытаюсь понять, зачем нужно писать объявления типов. Поскольку в Haskell есть вывод типов, когда мне вообще нужна первая строка? Кажется, GHCI генерирует правильные ...
вопрос задан: 15 December 2013 15:08
0
ответов
Как определить применение Lisp в Haskell?
Разве это определение не должно быть разрешено в ленивом языке, таком как Haskell, в котором функции каррируются? apply f [] = f apply f (x: xs) = apply (f x) xs Это в основном функция, которая применяет данный ...
вопрос задан: 12 December 2013 21:25
0
ответов
«Отсутствует тип параметра» в перегруженном универсальном методе, принимающем аргумент функции
У меня проблема в моем DSL с перегруженными универсальными методами, в результате чего компилятор требует, чтобы я добавил явные типы параметров: def alpha [T] (fun: Int => T): String = fun (33) .toString def ...
вопрос задан: 27 September 2013 19:37
0
ответов
Вывод типа для анонимных функций с помощью enrich-my-library
Скажем, у меня есть метод, который превращает (функцию для двух элементов) в (функцию для двух последовательностей): def seqed [T] (f: (T , T) => T): (Seq [T], Seq [T]) => Seq [T] = (_, _). Zip map f Словами, ...
вопрос задан: 8 June 2013 12:02
0
ответов
Есть ли способ получить тип возвращаемого значения & ldquo; current function & rdquo;
Я хотел бы написать шаблон, который бы получал в качестве параметра возвращаемый тип функции, в которой он создается. Например, предположим, что у меня есть шаблонный класс Result: template < type ...
вопрос задан: 8 November 2012 10:10
0
ответов
Подсказка по составу функций
просто ищу объяснение, как работает следующая композиция:(=<< ). вернуть где (=<<)::(а -> м б)-> м а -> м б возврат ::а -> м а (.)::(б -> в)->...
вопрос задан: 20 August 2012 06:22
0
ответов
что такое язык с полным выводом типа? а ограничения такого языка?
Насколько я знаю, любой язык программирования, которому не требуется писать аннотации типов в исходном тексте при написании функции или модуля, и если этот фрагмент кода является «корректным по типу», компилятор будет ...
вопрос задан: 16 August 2012 14:46
0
ответов
` auto `вывод типа спецификатора для ссылок
Рассмотрим следующий фрагмент кода: void Test (){ int x = 0; интервал & гх = х; интервал *px = &x; авто апкс = пкс; // выводимый тип — int *auto arx = rx; // выводимый тип — int...
вопрос задан: 9 August 2012 15:59
0
ответов
Неполная подпись типа
Допустим, у нас есть функция, подобная f ниже, которая возвращает монаду. Однако там, где вы видите Int, представьте, что это действительно сложный тип. ж::(Monad m )=> m Int --Притвориться, что это не Int, а...
вопрос задан: 1 August 2012 01:19
0
ответов
Можно ли эмулировать шаблон ?
Возможно ли это как-то? Я хочу, чтобы это включало передачу аргументов во время компиляции. Предположим, это только для удобства пользователя, поскольку всегда можно ввести реальный тип с помощью template , ...
вопрос задан: 22 July 2012 20:20
0
ответов
Возможно ли использовать члены типа для уменьшения детализации типов в Scala?
Итак, это может звучать как общий вопрос о дизайне языка, но я думаю, что здесь есть что-то конкретное. В частности, меня интересует, какие технические проблемы мешают неуклюжему коду, который...
вопрос задан: 18 July 2012 16:52
0
ответов
Общие методы и вывод типов в Java
Учитывая следующий не -очень -полезный код :package com.something; импортировать java.util.ArrayList; импортировать java.util.Collection; // Не общий класс! открытый класс Test { public void plain (T...
вопрос задан: 16 July 2012 22:55
0
ответов
Какие ограничения накладывает скала на «приемлемую сложность» предполагаемых типов?
В соответствии со спецификацией языка Scala: ... вывод локального типа разрешает ограничивать сложность выводимых границ [параметров типа]. Минимальность и максимальность типов должны быть ...
вопрос задан: 11 July 2012 04:03
0
ответов
Вывод типа C++11 с помощью функции lambda и std ::
У меня есть следующий фрагмент кода, который, хотя и совершенно тривиален, иллюстрирует шаблон, который я пытаюсь использовать в более общем коде. template<имя типа InT, имя типа ResT> Остальное одинарное _применить (InT...
вопрос задан: 5 July 2012 12:10
0
ответов
Что такое использование дженериков в Java? >method()
Я прочитал всю книгу SCJP6 Sierra and Bates book, набрал 88% на экзамене, но тем не менее я никогда не слышал о том, как работает такой код, так как он не объясняется в главе о дженериках: Коллекции. <...
вопрос задан: 8 June 2012 18:16
0
ответов
Java6, Guava, обобщения, вывод типов
Я написал служебный метод на Java: public static final ImmutableSortedSet REVERSED_TIMEUNITS = ImmutableSortedSet.copyOf( Collections.reverseOrder(), ...
вопрос задан: 8 June 2012 08:33
0
ответов
«val a:A = new B», в чем смысл?
эта идиома(?) несколько раз встречается в книге о лестницах: val b:A = new B или val b = new B
val b2:A = b кроме того, что вы пытаетесь сделать несколько замечаний в учебнике, зачем вам объявлять тип...
вопрос задан: 8 June 2012 06:07
0
ответов
Вывод типа загадочным образом терпит неудачу
Почему следующее не может вывести R: static R Foo(Func, R> call) { ... } Хотя почти "то же самое", работает: static R Foo(Func call) { .....
вопрос задан: 4 June 2012 15:54
0
ответов
Универсальные методы C# — почему лямбда-выражения работают, а простые методы — нет?
Мне трудно понять, почему компилятор C# может вывести типы для Array.ConvertAll(new int[1], i => Convert.ToDouble(i)); но не для Array.ConvertAll(new int[1], Convert.ToDouble); когда ...
вопрос задан: 1 June 2012 01:36