type-kinds

4зной

1ответ

Создание типа данных типа Haskell, принимающего тип не-вида в одном из его конструкторов

Здравствуйте. Я играю с библиотекой Ivory, которая в значительной степени опирается на современные возможности Haskell. Среди прочего, он определяет модели IvoryType, принимающий все типы, и IvoryArea

12зной

2ответ

Могу ли я реализовать этот новый тип как состав других типов?

Я написал NewType Const3, что очень похоже на Const, но содержит первые из трех приведенных аргументов типа: newtype Const3 a b c = Const3 { getConst3 :: a } я могу определить очень много полезных п

3зной

2ответ

Налицо суждения имеют вид?

В Ричард Айзенберга talk по работе с легкомыслием полиморфизмом для зависимых Haskell, он ясно показывает, что это суждение/тип звук: type Star = (* :: (* :: (* :: *))) Означает ли это, что типизаци

3зной

1ответ

Роль звездочек (виды, *) в этом откидном случае

В Foldable documentaion, я вижу следующий пример: (Foldable f, Foldable g) => Foldable (Compose * * f g) Если я смотрю на определении Compose, я вижу, он объявлен как newtype Compose f g a = Compose

3зной

1ответ

Невозможно создать тип-полиморфные типы

Следующий код не компилировать: {-# LANGUAGE DataKinds, FlexibleContexts, FlexibleInstances, KindSignatures, MultiParamTypeClasses, PolyKinds, RankNTypes, ScopedTypeVariables, TypeFamilies