0
ответов
Каковы некоторые преимущества и недостатки вывода типов в C #?
У меня есть коллега, который выступает против вывода типов в C #. Я считаю, что большинство его аргументов связано с отсутствием удобочитаемости. Мой аргумент против этого заключается в том, что функции intellisense в Visual Studio предоставляют ...
вопрос задан: 16 May 2011 15:51
0
ответов
OCaml явные подписи типа
В Haskell считается хорошей практикой явно объявлять сигнатуру типа ваших функций, даже если она (как правило) может быть выведена. Кажется, что это даже невозможно в OCaml, например ...
вопрос задан: 14 May 2011 22:51
0
ответов
Почему сумма xy имеет тип (Num a) => a -> a -> a в Haskell?
Я читал о Haskell, и мне сложно понять, как определения функций обрабатываются на этом языке. Скажем, я определяю функцию суммы: let sum xy = x + y, если я запрашиваю ...
вопрос задан: 22 April 2011 21:58
0
ответов
Как понимать сообщения компилятора Haskell
Добрый день. Вот простой фрагмент кода "угадать номер", содержащий единственную ошибку, но компилятор
затрудняет понимание того, что не так: import System.Random
импорт Control.Monad
import Control ....
вопрос задан: 21 April 2011 17:18
0
ответов
Вывод общих параметров конструктора C # [дубликат]
Почему C # выводит общие параметры для методов, а не для конструктора? new Tuple (5, 5) vs. Tuple.Create (5, 5)
вопрос задан: 25 March 2011 10:00
0
ответов
Суффикс типа C # для десятичного числа
Я не знаю правильную формулировку того, что я пытаюсь достичь, поэтому он, возможно, уже опубликован в Интернете. Пожалуйста, будьте добры, если это так. Итак, в основном у меня есть этот метод. public static T IsNull
вопрос задан: 17 March 2011 00:52
0
ответов
Вызов статических универсальных методов
Я столкнулся с любопытной ситуацией, связанной со статическими универсальными методами. Это код: class Foo
{public static Foo createFoo () {// ...}
} ...
вопрос задан: 14 March 2011 11:32
0
ответов
Почему в Haskell не выводятся полиморфные значения?
Числовые литералы имеют полиморфный тип: * Main>: t 3
3 :: (Num t) => t Но если я привяжу переменную к такому литералу, полиморфизм теряется: x = 3
...
* Главная>: tx
x :: Integer Если я ...
вопрос задан: 15 February 2011 04:32
0
ответов
Когда Scala нужны типы параметров для анонимных и расширенных функций?
Когда компилятору Scala действительно нужна информация о типах параметров анонимных функций? Например, учитывая эту функцию: def callOn [T, R] (target: T, f: (T => R)) = f (target), тогда я ...
вопрос задан: 4 February 2011 14:50
0
ответов
Как написать функцию для общих чисел?
I Я новичок в F #, и выведение типов - действительно крутая вещь. Но в настоящее время кажется, что это также может привести к дублированию кода, что не очень круто. Я хочу просуммировать цифры числа ...
вопрос задан: 19 January 2011 07:17
0
ответов
Не может ли компилятор C # определить параметры типа метода по ожидаемому возвращаемому типу?
Это кажется мне странным, но я помню цепочку, в которой Эрик Липперт прокомментировал неспособность (по замыслу или, по крайней мере, по соглашению, я думаю) C # для перегрузки методов на основе возвращаемого типа, так что, возможно, это ...
вопрос задан: 12 January 2011 02:52
0
ответов
Выведение типа аргумента, ссылки и rvalue
Рассмотрим ситуацию, когда шаблон функции должен пересылать аргумент, сохраняя его lvalue-ness в случае, если это неконстантное lvalue, но сам по себе не зависит от того, чем на самом деле является аргумент, ...
вопрос задан: 2 January 2011 13:23
0
ответов
Вывод типов в Java (а-ля C #) [закрыто]
С тех пор, как я услышал о выводе типов (в Haskell), у меня сложилось впечатление, что Java - это точный напротив, т. е. не имеет вывода типа. Однако недавно у меня был момент ага, и я понял, что ...
вопрос задан: 1 January 2011 13:59
0
ответов
Как я могу реализовать NotOfType в LINQ с красивым синтаксисом вызова?
Я пытаюсь придумать реализацию NotOfType, которая имеет читаемый синтаксис вызова. NotOfType должен быть дополнением к OfType и, следовательно, давать все элементы, которые есть. ..
вопрос задан: 30 December 2010 01:10
0
ответов
Вывод типа для модели данных исчисления комбинатора scala
Я пробую очень легкое кодирование исчисления комбинатора в scala. Изначально я просто реализую комбинаторы S и K, приложения и постоянные значения. Позже я надеюсь поднять scala ...
вопрос задан: 25 December 2010 01:30
0
ответов
Почему я должен предоставлять явно общие типы параметров, в то время как компилятор должен выводить тип?
Почему я должен предоставлять явно общие типы параметров, в то время как компилятор должен выводить тип? public static T2 Cast (это аргумент T1) где T2: класс, где T1: class {вернуть аргумент как ...
вопрос задан: 18 December 2010 10:48
0
ответов
Можно ли в Scala заставить вызывающего пользователя указать параметр типа для полиморфного метода?
// API
класс Node
класс Person расширяет объект узла Finder
{def find [T <: Node] (name: String): T = doFind (name) .asInstanceOf [T]
} // Звонок на сайт (правильно)
val person = find [Person] ("joe") // Вызов ...
вопрос задан: 9 December 2010 22:49
0
ответов
Почему компилятор C # автоматически не определяет типы в этом коде?
Почему компилятор C # не делает вывод о том, что FooExt.Multiply () удовлетворяет сигнатуре Functions.Apply ()? Я должен указать отдельную переменную делегата типа Func для ...
вопрос задан: 15 November 2010 21:36
0
ответов
Сбой при выводе общего типа?
Пример A Изучите следующий фрагмент: открытый класс ExampleA {статический класс Pair {} static Pair < F, S> anyPair () {return null; } static void ...
вопрос задан: 10 November 2010 22:51
0
ответов
JDK7: Путаница в синтаксисе логического вывода
Попробуйте скомпилировать следующий код в JDK7: import java.nio.file. *; открытый конечный класс _DiamondSyntaxErrors {открытый интерфейс InterfaceA {} открытый абстрактный статический класс ClassA
вопрос задан: 10 November 2010 21:55
0
ответов
Дженерики: Почему компилятор не может вывести аргументы типа в этом случае?
Я хотел записать дополнительный метод, который будет работать над словарями, значения которых были своего рода последовательностью. К сожалению, компилятор, может казаться, не выводит универсальные аргументы от моего использования...
вопрос задан: 19 October 2010 13:33
0
ответов
Вывод типа с взаимной рекурсией
Я думал о том, как вывод типа работает в следующей программе OCaml: let rec fx = (gx ) + 5
и gx = f (x + 5) ;; Конечно, программа совершенно бесполезна (бесконечный цикл), но что ...
вопрос задан: 12 October 2010 10:41
0
ответов
Аргументы типа для метода не могут быть выведены из использования
Возможно, я перегружен, но это не компиляция (CS0411). Почему? Interface ISignatur
{Тип Тип {получить; }
} интерфейс IAccess где S: ISignatur
{S Signature {...
вопрос задан: 12 October 2010 06:14
0
ответов
Как неявно преобразовать в общие супертипы в соответствии с шаблоном F #?
Резюме проблемы В настоящий момент, когда я использую f #, я должен явно принудить значение для родительского типа этого типа, чтобы получить выражения сопоставления с образцом для правильной проверки типа. В идеале я бы ...
вопрос задан: 11 October 2010 19:35
0
ответов
Как Типизация делегата / лямбда и принуждение работают?
Я заметил несколько примеров того, что работает и не работает при работе с лямбда-функциями и анонимными делегатами в C #. Что тут происходит? class Test: Control {void testInvoke () {...
вопрос задан: 29 September 2010 14:24
0
ответов
Проблема понимания вывода типа C #, как описано в спецификации языка
Спецификация языка C # описывает вывод типа в разделе §7.5.2. В нем есть деталь, которую я не понимаю. Рассмотрим следующий случай: // объявление
void Method (T obj, Func & ...
вопрос задан: 13 September 2010 01:46
0
ответов
Haskell: считайте и введите подписи
чтение определяется во Вводной части, как считано:: (Считайте a), =,> Строка-> a и может использоваться в качестве, например, читать "1":: Интервал. Теперь функция readOne:: (Считайте a) => [Строка]-> (a, [Строка]) readOne (x:...
вопрос задан: 29 July 2010 12:09
0
ответов
Использование вопроса о выводе типа Scalaz. ListW. <^>
Я играл вокруг с ListW. <^>, определение которого следующие: определение <^> [B: Нуль] (f: NonEmptyList => B): B = оценивают соответствие {Ноль случая => ∅ случай h:: t => f (Scalaz....
вопрос задан: 28 July 2010 10:42
0
ответов
При каких условиях не выводит Ничего желательного?
В моем собственном коде, и на многочисленных регистрациях списка рассылки, я заметил беспорядок ни из-за Чего выводимого как наименьшее количество верхней границы двух других типов. Ответ может быть очевиден для Вас*, но я...
вопрос задан: 21 July 2010 20:25