13
ответов
работающий на int и сохраняющий его в двойном [дубликате]
Это очень простой вопрос, но я задал вопрос онлайн-кодирования и получил запрос. Я взял значение int, выполнил операцию базового деления и попытался сохранить его в двойном типе данных в ...
вопрос задан: 28 October 2015 17:41
8
ответов
Подтвердите или исправьте мою “английскую интерпретацию” этого фрагмента кода Haskell
Я - разработчик C#, который работает через "Реальный мир Haskell", чтобы действительно понять функциональное программирование, так, чтобы, когда я изучаю F#, я был действительно grok, это и не только "пишет код C# в F#", таким образом.
вопрос задан: 17 August 2018 18:44
7
ответов
Алгебраические типы данных Haskell
Я пытаюсь полностью понять все понятия Haskell. В каких путях алгебраические типы данных подобны универсальным типам, например, в C# и Java? И как они отличаются? О чем таким образом алгебраический...
вопрос задан: 6 May 2011 21:21
5
ответов
“Сопоставление с образцом” алгебраических конструкторов данных типа
Давайте рассмотрим тип данных со многими конструкторами: данные T = Альфа-Интервал | Бета Интервал | Гамма Интервал Интервала | Интервал Delta, который я хочу записать функции, чтобы проверить, производятся ли два значения с тем же конструктором:...
вопрос задан: 14 April 2010 08:49
2
ответа
Там какие-либо алгебраические структуры используются в функциональном программировании другой затем моноид?
Я недавно узнающий о функциональном программировании (в Haskell и Scala). Это - возможности, и элегантность довольно очаровательна. Но когда я встретил Монады, который использует алгебраическую структуру...
вопрос задан: 25 July 2010 22:28
1
ответ
Объем потребляемой памяти типов данных Haskell
Как я могу найти фактический объем памяти требуемым сохранить значение некоторого типа данных в Haskell (главным образом с GHC)? Действительно ли возможно оценить его во времени выполнения (например, в GHCi), или действительно ли возможно...
вопрос задан: 3 March 2017 23:48
0
ответов
Как извлечь значение из нескольких вариантов пользовательского типа?
У меня есть тип, как, типа Post = Blog String String | Объявление String String И такая функция, как, upcaseTitle: Post - > Post upcaseTitle post = тематический пост заголовка блога ...
вопрос задан: 18 March 2019 18:09
0
ответов
алгебраические типы данных Clojure
Я нашел макрос defadt в clojure.contrib.types. К сожалению, полезной документации по использованию ADT в clojure нет. Я часами гуглил и нашел крошечные фрагменты информации об этом. Что ...
вопрос задан: 16 October 2017 14:46
0
ответов
Data Structure Differentiation, Intuition Building
According to this paper differentiation works on data structures. According to this answer: Differentiation, the derivative of a data type D (given as D') is the type of D-structures with a single ...
вопрос задан: 23 May 2017 12:33
0
ответов
Алгебраические типы данных за пределами функциональных языков?
Какие языки, которые не являются исключительно функциональными, имеют алгебраические данные
типы (или что-то подобное) и сопоставление с образцом? Меня также интересуют языки с несколькими парадигмами - я знаю, что Ocaml и F # - это ML ...
вопрос задан: 23 May 2017 12:25
0
ответов
Алгебраические типы данных в TypeScript
В другом случае: как бы вы напечатали свойство windowState DOM в TypeScript? Решено (в TypeScript 2): объявить переменную windowState: WindowState const enum WindowState {STATE_MAXIMIZED = 1, ...
вопрос задан: 9 January 2017 23:02
0
ответов
Котлин и дискриминационные союзы (типы сумм)
Есть ли у Котлина что-то похожее на дискриминационные союзы (типы сумм)? Каким будет идиоматический перевод этого слова на Котлин (F #): type OrderMessage = | Новый идентификатор: int * Количество: int | Отмена ...
вопрос задан: 2 November 2016 00:21
0
ответов
Злоупотребление алгеброй алгебраических типов данных - почему это работает?
«Алгебраический» Выражение для алгебраических типов данных выглядит очень многообещающим для человека с математическим образованием. Позвольте мне попытаться объяснить, что я имею в виду. Определив основные типы продуктов •
...
вопрос задан: 29 June 2015 08:30
0
ответов
Рекомендации по использованию типов данных Haskell
Чтение "Настоящий world Haskell "я нашел интересный вопрос о типах данных: это сопоставление с образцом и позиционный доступ к данным делают вид, что у вас очень тесная связь между данными и ...
вопрос задан: 15 December 2013 15:08
0
ответов
Как распаковка строгих полей сочетается с полиморфизмом?
Прагма {- # UNPACK # -} указывает компилятору исключить избыточные конструкторы. Цитирование Haskell wiki: Например, учитывая это: data T = T {- # UNPACK # -}! (Int, Float) GHC будет представлять ...
вопрос задан: 27 October 2012 08:01
0
ответов
Каково значение алгебраических типов данных с нулевыми конструкторами?
Этот отрывок, в котором, к сожалению, отсутствуют ссылки, о развитии АТД в Haskell, из A History of Haskell :Быть ленивым с классом, раздел 5.1 :В общем, алгебраический тип определяет...
вопрос задан: 15 August 2012 11:51
0
ответов
Псевдонимы типов данных Haskell
Я написал математический модуль Vector на Haskell. Итак, я начал с :data Vector a = Vector !a !a !a производным (Eq, Show )Fine — это позволяет мне использовать любой числовой тип данных, который я хочу. Проблема в том, что...
вопрос задан: 8 July 2012 05:22
0
ответов
Алгебраические типы данных Haskell: «псевдорасширение»
Я изучаю алгебраические DT в Haskell. Что я хотел бы сделать, так это создать новый ADT, который как бы «расширяет» существующий. Я не могу найти, как выразить то, что я хотел бы, может кто-нибудь предложить ...
вопрос задан: 17 June 2012 18:30
0
ответов
Родственна ли концепция алгебраического типа данных определениям классов в объектно-ориентированных языках?
Обе концепции позволяют создавать новые типы данных.
Единственное отличие, которое я вижу, заключается в том, что в функциональных языках можно выполнять сопоставление с образцом для алгебраических типов данных. Но нет сопоставимого...
вопрос задан: 9 May 2012 06:12
0
ответов
«Зависимые необязательные» данные в Haskell
Рассмотрим тип DateTime, в котором должна присутствовать дата, но часть времени в секундах не является обязательной. Если есть часть времени, может быть необязательная часть миллисекунд. Если миллисекунды...
вопрос задан: 13 April 2012 07:34
0
ответов
Как представить граф в Haskell?
Достаточно просто представить дерево или список в Haskell, используя алгебраические типы данных. Но как бы вы типографски представили график? Кажется, что вам нужно иметь указатели. Я...
вопрос задан: 16 March 2012 04:53
0
ответов
Рекурсивный восходящий обход алгебраических типов данных
При работе с большими алгебраическими типами данных в Haskell существует конкретный рекурсивный обход, который не захватывается путем сворачивания по типу данных. Например, предположим, что у меня есть простой тип данных ...
вопрос задан: 25 December 2011 22:02
0
ответов
Равны ли алгебраические типы данных в Haskell дискриминируемым объединениям в F #?
Я изучаю Haskell и хотел бы знать, являются ли конструкции, известные в Haskell, как алгебраические типы данных те же, что различают объединения в F #, или есть некоторые тонкие различия между ...
вопрос задан: 16 November 2011 06:52
0
ответов
Имена ADT. Что такое «Left a», а затем «a» в Haskell?
Если у меня есть ADT Haskell, например: data Foo = A Int Double | B Bool [Целое число] | C (Maybe String) Float A, B и C называются конструкторами данных; а иногда и как конструкторы значений. Но ...
вопрос задан: 1 November 2011 21:05
0
ответов
Типы параметризации целых чисел в Haskell
Я пытаюсь сделать некоторые типы Haskell, которые параметризованы не типы, а элементами типа, в частности, целые числа. Например, Vector a (линейная алгебра) в R ^ 2 и вектор в R ^ 3 - это ...
вопрос задан: 1 September 2011 07:07
0
ответов
Создание функций на основе перечислений
Я только начал изучать Haskell. Думаю, у меня есть основы, но я хочу убедиться, что заставляю себя думать и функционально. данные Dir = Right | Слева | Передняя | Назад | Вверх | Вниз ...
вопрос задан: 6 June 2011 01:55
0
ответов
Overriding (==) in Haskell
I have the following algebraic data types: data Exp = Con Int | Var String | Op Opkind Exp Exp | Input deriving (Show,Eq) data Opkind = Plus | Minus | Mult | Div | More | Equal ...
вопрос задан: 10 May 2011 20:33
0
ответов
ASP.NET C # Перехват всех исключений в классе
Я знаю, что это не способ сделать это, и это не так совсем не чистая. Мне просто интересно, возможно ли это. Если у меня есть класс с кучей методов public class Foo {methodA () {} methodB () {} ...
вопрос задан: 6 May 2011 17:32
0
ответов
Существует ли в Haskell эквивалент абстрактных классов ООП, использующий алгебраические типы данных или полиморфизм?
Можно ли в Haskell написать функцию с сигнатурой, которая может принимать два разных (хотя и похожих) типа данных, и работать по-разному в зависимости от того, какой тип передан? Пример ...
вопрос задан: 2 May 2011 21:07
0
ответов
Типобезопасные размеченные объединения в C #, или: Как ограничить количество реализаций интерфейса?
Во-первых, извините за объемный пост. По сути, мой вопрос таков: я пытаюсь воспроизвести следующий дискриминированный тип объединения F # в C #: type Relation = | Меньше чем obj * obj | ...
вопрос задан: 12 March 2011 14:04