0
ответов
Сигнатура типа в предложении where
Я написал функцию, аналогичную Data.Enumerator.List.map, которая делает Iteratee совместимым с Enumerator, который передает поток другого типа. import Data.Enumerator test :: Monad m => (ao ...
вопрос задан: 31 May 2019 23:17
0
ответов
Почему Haskell 'head' вылетает из-за пустого списка (или почему * не * возвращает пустой список)? (Философия языка)
Примечание для других потенциальных участников: пожалуйста, не стесняйтесь использовать абстрактные или математические обозначения, чтобы выразить свою точку зрения. Если я найду ваш ответ неясным, я попрошу разъяснений, но в остальном чувствую ...
вопрос задан: 9 November 2018 17:28
0
ответов
Как обойти отсутствие параметрического полиморфизма в Go?
Я новичок в Go, но я читал, что завсегдатаи Go не скучают по параметрическому полиморфизму. Каждый раз, когда я пытаюсь выучить новый язык, я использую список задач L99, чтобы получить некоторую практику. Даже если я пытаюсь ...
вопрос задан: 26 September 2012 10:38
0
ответов
Полиморфная функция Scala для фильтрации входного списка либо
В поисках более элегантного решения у меня есть этот фрагмент кода, я просто использую его в тестовых случаях, когда нет необходимости выполнять какую-либо обработку ошибок. Что он делает, так это :принимает входной список строк разобрать их...
вопрос задан: 8 August 2012 15:51
0
ответов
Java: полиморфный возвращаемый тип в абстрактном методе?
У меня есть следующий код в абстрактном классе Java: protected abstract E createNewDisplayWidget(); Который компилируется нормально. Однако, если я вызову его где угодно, ...
вопрос задан: 9 May 2012 22:25
0
ответов
Что такое квантификаторы типов?
Многие статически типизированные языки обладают параметрическим полиморфизмом. Например, в C#можно определить :T Foo(T x){ return x; } На сайте вызова вы можете сделать :int y = Foo(3); Эти типы...
вопрос задан: 8 April 2012 13:05
0
ответов
Вариант использования полиморфизма ранга 3 (или выше)?
Я видел несколько вариантов использования полиморфизма ранга 2 (наиболее ярким примером является монада ST), но ни одного для более высокого ранга . Кто-нибудь знает о таком варианте использования?
вопрос задан: 6 December 2011 19:06
0
ответов
Data.Foldable для неупорядоченных контейнеров
Я работаю над языком Haskell-встречает-SQL для манипуляций с базой данных, а также над библиотекой классов общих типов, которая будет использоваться вместе с ним, заимствуя из Hackage везде, где это имеет смысл. Потому что значительный ...
вопрос задан: 23 November 2011 20:21
0
ответов
Что представляет собой параметрический и включений полиморфизма в C ++
Я читаю несколько C ++ в адресе https://cs.senecac.on.ca/~chris.szalwinski/Чагазины/btp200.082/content/Adhoc. HTML. В разделе Универсальный полиморфизм автор упомянул о ...
вопрос задан: 15 September 2011 14:09