2
ответа
Почему есть & ldquo; данные & rdquo; и & ldquo; newtype & rdquo; в Хаскеле? [Дубликат]
Кажется, что определение нового типа - это просто определение данных, которое подчиняется некоторым ограничениям (например, только один конструктор), и что из-за этих ограничений система времени выполнения может обрабатывать новые типы подробнее ...
вопрос задан: 16 April 2017 00:37
2
ответа
Выведенный тип, кажется, обнаруживает бесконечный цикл, но что действительно происходит?
В Andrew Koenig история о выводе типа ML автор использует реализацию сортировки слиянием как осуществление изучения для ML и рад найти “неправильный” тип...
вопрос задан: 8 May 2012 01:44
2
ответа
Используя систему типов Haskell для осуществления модульного принципа
Я думаю о способах использовать систему типов Haskell для осуществления модульного принципа в программе. Например, если у меня есть веб-приложение, мне любопытно, если существует способ разделить весь код базы данных от CGI...
вопрос задан: 4 December 2011 22:38
2
ответа
Система типов Erlang
Я рыскал в области сети, ища различные методы ввода программ Erlang и там, кажется, некоторые..., хотя ее несколько трудное для нахождения твердого источника информации а именно, я...
вопрос задан: 1 May 2011 09:35
2
ответа
Fundeps и GADTs: Когда тип проверяет разрешимый?
Я читал научно-исследовательскую работу о Haskell и как HList реализован и задающийся вопросом, когда описанные методы и не разрешимы для средства проверки типа. Кроме того, потому что можно сделать подобный...
вопрос задан: 27 April 2011 21:17
2
ответа
Есть ли у D 'newtype'?
Есть ли у D 'newtype' (как в Haskell). Наивный вопрос, я просто бегло просматриваю D, но Google не нашел ничего полезного. В Haskell это способ создания разных типов одного и того же ...
вопрос задан: 22 April 2011 21:31
2
ответа
Категоризация расширения GHC
Я задавался вопросом, могут ли расширения GHC быть разделены на в основном две различных категории те, которые обеспечивают "синтаксический сахар" или удобство и тех, которые представляют что-то новое, новую парадигму...
вопрос задан: 19 April 2011 03:10
2
ответа
Эквивалентный Scala Hoogle?
Hoogle позволяет Вам искать много стандартов библиотеки Haskell или именем функции, или приблизительной подписью типа. Я нахожу это очень полезным. Есть ли что-нибудь как Hoogle для Scala? Поиск в...
вопрос задан: 19 April 2011 02:57
2
ответа
То, как имеет тип' ([] ==) []' вывело haskell?
Это звучит глупым, но я не могу получить его. Почему может выражение [] == [] быть введенным вообще? Строго говоря, то, которые вводят (в классе Eq) выведено к типу элементов списка? На ghci сессии я вижу...
вопрос задан: 19 April 2011 02:56
2
ответа
C#: использование типа “сам” как универсальный параметр?
Это может казаться немного нечетным, но я действительно должен создать обходное решение для очень сложного дуплекса - коммуникации - обрабатывающий в C#, особенно чтобы вынудить других разработчиков наблюдать DRY - принцип...
вопрос задан: 5 July 2010 14:58
2
ответа
Есть ли какие-либо языки, которые с динамическим контролем типов, но не позволяют слабый контроль типов?
Например, добавляя (ранее необъявленный) интервал и строка в псевдокоде: x = 1; y = "2"; x + y = z; я видел языки со строгим контролем типов, которые не позволили бы добавлять два типа, но это...
вопрос задан: 26 March 2010 03:24
2
ответа
Доступ к участникам типа вне класса в Scala
Я пытаюсь понять участников типа в Scala. Я записал простой пример, который пытается объяснить мой вопрос. Во-первых, я создал два класса для типов: класс класс BaseclassForTypes OwnType расширяется...
вопрос задан: 23 March 2010 09:37
2
ответа
Каковы сходства и различия систем типов Scala и Haskell?
Как объяснить систему типов Scala эксперту Haskell? Что примеры показывают преимуществам Scala? Как объяснить систему типов Haskell усовершенствованному практику Scala? Что может быть сделано в Haskell это...
вопрос задан: 29 November 2009 20:03
2
ответа
Интервал Ocaml и отрицательные величины
Учитывая этот отрывок кода OCaml: позвольте rec еще расположиться b = если a> b затем [] a:: диапазон (a+1) b;; Repl говорит мне, что это - тип: диапазон val: интервал-> интервал-> интервал перечисляет = <забава>...
вопрос задан: 23 October 2009 14:19
2
ответа
Каковы пределы вывода типа?
Каковы пределы вывода типа? Какие системы типов не имеют никакого общего алгоритма вывода?
вопрос задан: 9 August 2009 12:01
2
ответа
Почему PartialFunction <: Функция в Scala?
В Scala, PartialFunction [A, B] класс получен из Функции типа [A, B] (см. Ссылку Scala, 12.3.3). Однако это кажется парадоксальным мне, начиная с Функции (который должен быть определен для...
вопрос задан: 4 June 2009 11:34
1
ответ
Гарантирует ли Scala согласованность при наличии последствий?
В статье «Классы типов: слияние, согласованность и глобальная уникальность» подчеркиваются следующие моменты. [Согласованность] утверждает, что каждый разный действительный типизированный вывод программы приводит к ...
вопрос задан: 2 March 2019 03:46
1
ответ
Typescript: как объяснить это взаимодействие между extends и типом функции
Пример 1 имеет смысл для меня: тип X = (1 | 2 | 3) extends (вывод I)? [Я никогда; // X = [1 | 2 | 3] Пример 2 Я не знаю, почему переменные типа теперь пересекаются с типом X = (((_: 1) ...
вопрос задан: 1 March 2019 00:55
1
ответ
Обязательные и предполагаемые универсальные типы в TypeScript
В чем разница между следующими универсальными типами: type FnWithRequiredParam < T > = (t: T) = > тип пустоты FnWithParamInferred = < T > (t: T) = > void Насколько я понимаю, ...
вопрос задан: 16 January 2019 21:42
1
ответ
Явная рекурсия типа в F#
Вдохновленный этим вопросом: действительно ли явная рекурсия типа возможна в F#? введите 'Mu = В 'Mu 'unIn, которому позволяют (В x) = x, Этот код unfortunatly дает "Параметр типа, не может использоваться в качестве типа...
вопрос задан: 23 May 2017 12:19
1
ответ
Как выучить agda
Я пытаюсь выучить agda. Однако у меня возникла проблема. Все руководства, которые я нашел на вики-сайте agda, слишком сложны для меня и охватывают различные аспекты программирования. После параллельного чтения 3 ...
вопрос задан: 26 February 2012 18:20
1
ответ
Какое свойство системы типов Scala делает ее полной по Тьюрингу? [Закрыто]
Scala использует тип -система, основанная на Системе F ω, которую обычно называют строго нормализующей. Сильная нормализация подразумевает нетьюринговую полноту. Тем не менее, система типов Scala - это система типов Тьюринга -...
вопрос задан: 13 December 2011 23:36
1
ответ
Haskell Странные Виды: Отчасти (->)??->?-> *
Когда я экспериментировал с видами Haskell и пытался добраться отчасти->, и это обнаружилось: $ ghci... Вводная часть>: k (->) (->)::??->?-> * Вводная часть> Вместо...
вопрос задан: 3 December 2011 21:45
1
ответ
Что такое стиль полиморфизма Haskell?
С классами типов Haskell кажется, что он включает специальный полиморфизм, но объявления его функций кажутся параметрическим полиморфизмом. Смешиваю ли я свое понимание разных вещей?
вопрос задан: 16 April 2011 20:18
1
ответ
Что предназначено зависимыми от предшествующего пути развития типами Scala?
Я услышал, что у Scala есть зависимые от предшествующего пути развития типы. Это относится к чему-то внутренние классы, но что это на самом деле означает и почему я забочусь?
вопрос задан: 22 April 2010 17:32
0
ответов
Разница между `data` и` newtype` в Haskell
В чем разница, когда я это пишу? data Book = Book Int Int по сравнению с newtype Book = Book (Int, Int) - «Book Int Int» синтаксически неверен
вопрос задан: 26 November 2018 23:55
0
ответов
Какие убедительные варианты использования для типов зависимых методов?
Типы зависимых методов, которые раньше были экспериментальной функцией, теперь включены по умолчанию в магистрали, и, по всей видимости, это вызвало некоторый ажиотаж в сообществе Scala. ...
вопрос задан: 5 February 2018 15:03
0
ответов
Невозможно сопоставить HList
Я пытался решить эту проблему с помощью shapeless. Однако я по какой-то причине не могу сопоставить HList. Я позволю коду говорить самому за себя. импорт бесформенный. _импортировать HList. _case class Foo (a :...
вопрос задан: 23 May 2017 12:30
0
ответов
Что делает систему типов Haskell более «мощной», чем системы типов других языков?
Недостатки чтения системы типов Scala по сравнению с Haskell? Я должен спросить: что конкретно делает систему типов Haskell более мощной чем системы типов других языков (C, C ++, Java). ...
вопрос задан: 23 May 2017 11:58
0
ответов
Эквивалент сообщений зависимых типов методов
Благодаря этому сообщению я начал разбираться в зависимых типах методов. У меня есть структура, похожая на следующий трейт Environment{ type Population <: защищенный трейт PopulationBase ...
вопрос задан: 23 May 2017 11:49