3
ответа
Типы Бога (иначе Рекурсивные типы) не возможны в F#?
Я болтал с Sadek Drobi в Твиттере, когда воспитываться, что F#, казалось, не поддерживал Типы Бога. Оказывается, что в C# можно сделать что-то вдоль этих строк: делегируйте RecDelegate <T&...
вопрос задан: 4 August 2009 16:57
2
ответа
Как избавиться от лишних приведений к реализованному интерфейсу?
Допустим, у меня есть интерфейс открытого интерфейса ICardSuit {/ ** короткое имя * / public String getName (); / ** цвет этой карты * / public ICardColour getColour (); } что я решил ...
вопрос задан: 14 March 2019 13:45
2
ответа
Опишите вывод типа Damas-Milner способом, который может понять студент CS101
Хиндли-Milner является системой типов, которая является основанием систем типов многих известных языков функционального программирования. Damas-Milner является алгоритмом, который выводит (выводит?) вводит в Хиндли-...
вопрос задан: 23 May 2017 12:25
2
ответа
Преобразование перечисления к итератору
У меня есть следующее неявное преобразование для java.util. Перечисления неявное определение enumerationIterator (e: Перечисление): Итератор = {новый Итератор {определение hasNext = e....
вопрос задан: 23 May 2017 12:04
2
ответа
Haskell: вывод типа и композиция функций
Этот вопрос был вдохновлен этим ответом на другой вопрос, указав, что можно удалить каждое возникновение элемента из списка с помощью функции, определяемой как: removeall = фильтр. (/=)...
вопрос задан: 23 May 2017 11:50
2
ответа
Почему 'Код не является достаточно общим'?
Кто-либо может объяснить, почему второй пример ниже не скомпилирует? 'Протестируйте 2', дает "ошибке FS0670: Этот код не является достаточно общим. Переменная типа ^a не могла быть обобщена, потому что она будет...
вопрос задан: 12 April 2016 13:26
2
ответа
Как заставить тип возвращаемого метода быть выведенным как нединамический тип, когда ему передается динамический аргумент [duplicate]
Почему следующий код выводит var на динамический? Кроме того, есть ли способ написать метод (или инкапсулировать логику вообще, не обязательно должен быть метод), который возвращает значение со статическим ...
вопрос задан: 17 September 2014 14:47
2
ответа
Выведенный тип, кажется, обнаруживает бесконечный цикл, но что действительно происходит?
В Andrew Koenig история о выводе типа ML автор использует реализацию сортировки слиянием как осуществление изучения для ML и рад найти “неправильный” тип...
вопрос задан: 8 May 2012 01:44
2
ответа
Fundeps и GADTs: Когда тип проверяет разрешимый?
Я читал научно-исследовательскую работу о Haskell и как HList реализован и задающийся вопросом, когда описанные методы и не разрешимы для средства проверки типа. Кроме того, потому что можно сделать подобный...
вопрос задан: 27 April 2011 21:17
2
ответа
То, как имеет тип' ([] ==) []' вывело haskell?
Это звучит глупым, но я не могу получить его. Почему может выражение [] == [] быть введенным вообще? Строго говоря, то, которые вводят (в классе Eq) выведено к типу элементов списка? На ghci сессии я вижу...
вопрос задан: 19 April 2011 02:56
2
ответа
Как Вычет Типа работает в Haskell?
Я пытаюсь расширить свой кругозор путем изучения Haskell. Моя нанесенная самому себе домашняя работа должна была создать генератор такта системных часов, который даст мне распределенные Пуассоном интервалы и конечный результат (после того, как длинное...
вопрос задан: 18 April 2011 00:52
2
ответа
логический вывод типа scala с _ заполнителем
List ("This", "is" , "Scala"). Foreach (a => print (a + "")) компилируется нормально, но List ("This", "is", "Scala"). Foreach (print (_ + "" )) не может жаловаться на отсутствующий тип параметра. Я не мог понять, почему он ...
вопрос задан: 16 August 2010 13:09
2
ответа
Когда вывод типа Java создает бесконечный тип?
JLS упоминает в алгоритме вывода типа (§15.12 .2): Возможно, что приведенный выше процесс приводит к бесконечному типу. Это допустимо, и компиляторы Java должны распознавать такие ситуации ...
вопрос задан: 11 August 2010 13:28
2
ответа
Разработка удобного значения по умолчанию оцененная карта в Scala
Я использую много вложенных карт, например, Карты [Интервал, Карта [Строка, Набор [Строка]]], и я хотел бы иметь новые Карты, Наборы, и т.д. созданные автоматически, когда я получаю доступ к новому ключу. Например, что-то как...
вопрос задан: 6 July 2010 15:01
2
ответа
выведите общий супертип на основе типов значения параметра и параметра функции
Следующее должно быть скомпилировано, не нуждаясь в явном определении типа на этом? определение prepList [B>: A] (префикс: PlayList[B]): PlayList[B] = prefix.foldr (это: PlayList[B]) ((узел, суффикс) = и...
вопрос задан: 28 June 2010 17:56
2
ответа
проблемы с Типами Числа Haskell
У меня есть следующий код haskell: fac n = продукт [1.. n] taylor3s w0 f f' f'' t h = w1: taylor3s w1 f f' f'' (t+h) h, где hp i = h^i / fac i w1 = w0 + (hp 1) * f t w0 + (hp 2) * f' t w0...
вопрос задан: 15 May 2010 07:31
2
ответа
decltype, result_of, или typeof?
Я имею: класс A {общественность: B toCPD () константа; И: шаблон <имя типа T> класс Ev {общественность: определение типа result_of (T:: toCPD ()) D; После инстанцирования Ev <A>, говорится в компиляторе:...
вопрос задан: 4 May 2010 08:34
2
ответа
Как использовать объекты в качестве модулей/функторов в Scala?
Я хочу использовать экземпляры объектов в качестве модулей/функторов, более или менее как показано ниже: Решетка абстрактного класса [E] расширяет Набор [E] {val минимум: E val максимум: E определение встречаются (x: E, y: E): E соединение определения (x:
вопрос задан: 10 April 2010 07:43
2
ответа
GHCi может сказать мне тип локальной функции Haskell?
Действительно ли возможно запросить ghci для типа, который это вывело для функции в другой функции?
вопрос задан: 26 January 2010 01:47
2
ответа
Каковы пределы вывода типа?
Каковы пределы вывода типа? Какие системы типов не имеют никакого общего алгоритма вывода?
вопрос задан: 9 August 2009 12:01
2
ответа
Почему Scala не может вывести параметр типа в этом примере?
Предположим, что у меня есть два класса, Ввод и вывод, которые разработаны, чтобы быть подключенными друг к другу. Вывод производит значения некоторого типа, и Вход использует их. Вход класса [T] {var произвел: Опция [...
вопрос задан: 27 July 2009 18:32
2
ответа
Введите параметры по сравнению с типами элемента в Scala
Я хотел бы знать, как типы элемента работают в Scala, и как я должен связать типы. Один подход должен сделать связанный тип параметром типа. Преимущества этого подхода состоят в том, что я могу...
вопрос задан: 27 February 2009 00:46
2
ответа
Универсальное тождественное отображение для использования с выводом типа
Я задавался вопросом, возможно ли это, поскольку мои 5 минут экспериментирования оказались бесплодными. Я надеялся, что это будет столь же легко как: T Идентификационные данные <T> (T t) {возвращают t;}, Но этому не удается скомпилировать на дженери
вопрос задан: 19 February 2009 19:56
2
ответа
Вывод типа C# общего метода вводит параметр, где метод не имеет никаких аргументов
Учитывая следующий универсальный интерфейсный и класс с реализацией: открытый интерфейс IRepository <T> {//U должен иметь тип T подтипа T IQueryable <U>, Находят <U> () где U:...
вопрос задан: 28 January 2009 12:00
2
ответа
Вывод типа C# 3.0 Func/OrderBy
Так нечетная ситуация, что я столкнулся сегодня с OrderBy: Func <SomeClass, интервал> orderByNumber = currentClass => currentClass. SomeNumber; Затем: someCollection. OrderBy (orderByNumber); Это...
вопрос задан: 6 November 2008 19:27
1
ответ
переменная проблема жесткого типа / подозреваемый
Исходя из этого вопроса о GADT, я пытаюсь построить EDSL (для примера в статье), но без GADT. У меня есть кое-что, что позволяет избежать дублирования типов данных для AST; но ...
вопрос задан: 13 March 2019 12:40
1
ответ
Почему у Котлина нет явной печати?
Мне любопытно, почему дизайнеры Kotlin считают, что было бы неплохо отказаться от явной типизации в Kotlin? Для меня явная типизация не является «болью» для написания на Java (или любой другой сильно ...
вопрос задан: 6 March 2019 19:09
1
ответ
Как автоматически убрать черты Scala во время неявного поиска?
Я работаю с классами типов, и у меня возникают проблемы с автоматическим выводом их для типов, которые не связаны с дополнительными чертами (маркером / индикатором). Это трудно объяснить, но этот минимальный пример должен это сделать ...
вопрос задан: 20 February 2019 21:06
1
ответ
Понимание переполнения при использовании типа Infered Const
В константном примере TourOfGo они пишут, что нетипизированная константа принимает тип, необходимый ее контексту, но следующая программа выбрасывает переполнение: package main import "fmt" const Big = 1 < & ...
вопрос задан: 17 January 2019 11:18
1
ответ
Параметрический полиморфизм против специального полиморфизма
Я хотел бы понять ключевое различие между параметрическим полиморфизмом, таким как полиморфизм общих классов / функций в языках Java / Scala / C ++ и "специальный" полиморфизм в Haskell ...
вопрос задан: 8 February 2018 15:54