3
ответа
Проблема при смешивании классов типа и семейств шрифтов
Этот код прекрасные компиляции: {-# ЯЗЫК MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances, FlexibleContexts, EmptyDataDecls, ScopedTypeVariables, TypeOperators...
вопрос задан: 18 April 2011 23:30
1
ответ
Семейства шрифтов Haskell и фиктивные аргументы
Я сделал функцию подобной массиву numpy. Это преобразовывает списки в массивы, списки списков к 2-м массивам, и т.д. Это работает как это: ghci> arrFromNestedLists ["привет", "мир"]:: Массив (Интервал, (Интервал, ()))...
вопрос задан: 11 January 2010 17:35
0
ответов
добавление подписи предполагаемого типа ghci вызывает ошибку
Edit: Вот действительно простой пример. Мотивация для этого примера ниже. Это компилирует: {- # LANGUAGE TypeFamilies # -} семейство типов F a b f :: a -> F a b
f = undefined f '[a] = f a И ghci ...
вопрос задан: 23 May 2017 12:27
0
ответов
Допустимо ли такое использование UndecidableInstances? Альтернативы?
Я хотел бы немного поколдовать в библиотеке, позволив полиморфно деструктурировать тип продукта. Это более-менее рабочий макет, иллюстрирующий то, что я хотел бы сделать :{ -#LANGUAGE...
вопрос задан: 6 August 2012 14:31
0
ответов
Автоматическое создание Data.Vector.Unbox со связанными синонимами типов
У меня есть новый тип данных Zq q = Zq (IntType q ), где «q» будет экземпляром класса класса Foo a, где тип IntType a, а «IntType» — это просто базовое представление (, т.е. Int,...
вопрос задан: 9 July 2012 17:02
0
ответов
Как наложить ограничения на связанные данные?
Я хотел бы заявить, что связанные данные всегда являются экземпляром определенного класса. class (Context (Associated a b)) = > Класс a, где данные Associated a :: * - > * Контекст контекста (...
вопрос задан: 29 June 2012 12:50
0
ответов
Семейства типов Haskell, понимание сообщения об ошибке
При попытке использовать Data.Has я писал следующий код :data Name = Name; экземпляр типа TypeOf Name = Text введите NameRecord = FieldOf Name; Я нашел :экземпляр I NameRecord, где....
вопрос задан: 7 May 2012 09:46
0
ответов
Ограничения типов для всех экземпляров семейства типов
Я полагаю, что то, что я хочу, невозможно без Template Haskell, но я все равно спрошу . У меня есть интерфейс для таких типов, как Data.Set и Data.IntSet: семейство типов Elem s::*
class SetLike s where insert :...
вопрос задан: 7 March 2012 09:35
0
ответов
Как написать семейство функций printf (отладочная печать и т. Д.) На Haskell
Это сложная проблема больше, чем полезная проблема (я потратил несколько часов на нем). Учитывая некоторые функции, put_debug, put_err :: String -> IO ()
put_foo :: String -> StateT [String] m () I ...
вопрос задан: 5 March 2012 07:27
0
ответов
Как обойти условие покрытия для функциональных зависимостей без использования -XUndecidableInstances
Когда я использую функциональные зависимости, я часто сталкиваюсь с условием покрытия. Его можно поднять с помощью UndecidableInstances, но я обычно стараюсь держаться подальше от этого расширения. Вот ...
вопрос задан: 31 January 2012 08:19
0
ответов
Что означает это "неоднозначная переменная типа `a` в ограничении"?
В этом коде я пытаюсь сделать так, чтобы первый параметр в моей рабочей функции был типом "семейства типов". Я вижу, что в документации по семействам типов аналогичная функция insert принадлежит к типу ....
вопрос задан: 11 January 2012 23:00
0
ответов
Haskell: перемешивание данных без функциональных зависимостей
Я пытаюсь реализовать перемешивание некоторых данных по методу Фишера-Ятса. Этот алгоритм легко реализовать для одномерных массивов. Однако мне нужно иметь возможность перетасовывать данные в двумерной матрице. An ...
вопрос задан: 22 December 2011 00:13
0
ответов
Написание функции, полиморфной в семействе типов
Вчера я экспериментировал с семейством типов и наткнулся на препятствие со следующим кодом: {- # LANGUAGE TypeFamilies # - } class C a where type A a myLength :: A a -> Int ...
вопрос задан: 12 July 2011 15:06