Да - мы там бум переделывать разделы ...

https://gitter.im/ruHaskell/meetup

Чегото в gitter тишина ?

люби работают наверное

выше email адрес человека на чьем гитхабе про модули nginx на haskell

Спасибо

хотя https://ruhaskell.org/posts/typesystem/2015/01/30/relational-algebra.html там проекция

ага, будем посмотреть

у тебя чуть проще можно т.к. нету имен а только типы

но суть та же класс для поиска 1 и класс для постиска списка

с фундепом

в ghc-8.2 может и без фундепа можно

ясно, попробую въехать в принцип

как я понимаю вот это самое принципиальное: type family ProjectInner' s b where ProjectInner' (s :-> a ': as) s = s :-> a ProjectInner' ( a ': as) s = ProjectInner' as s за исключением того, что :-> мне не нужно

а как оно работает, если список исчерпался, а требуемый s так и не нашелся?

точнее так

в этой реализации type family Project' a b берет на себя вырожденный случай

но я хочу, чтобы была ошибка компиляции, если искомого типа в списке нет

ошибка компиляции

что ж там ещё может быть

ну вроде да

Привет! Есть ADT data Op = OpInt | OpString. Как написать функцию которая бы возвращала Int если туда передали OpInt, и String если передали OpString. В скале есть несколько вариантов это сделать. Как сделать в хаскеле?

Op -> Either Int String не предлагать :)

какой Int возвращала?

хороший вопрос

пусть помимо операции будет еще два параметра у функции

(на самом деле вопрос как он есть выше не имеет смысла и ответ unsafeCoerce и путь сегфолт в результате)

Int и String

в общем случае же не получится, для экзистенциальных типов придется возвращать значение какого-то тайпкласса , так ведь?

определить тайпкласс?

ок, допустим у меня скала, я пишу на скале: somethingWithString.myFunction(OpInt)

функция возвращает мне int, у меня сегфолт

так?

типа (IsOpContext o => Op -> o)

это с зависимыми типами толко если

т.к. результат функции зависит от значения в рантайме

в скале я могу определить sealed trait Op[A]; case object OpInt extends Op[Int]; case object OpString extends Op[String]; и написать функцию f: Op ~> Id

но! даже в языке с зависимыми типами будет pair

нужна статическая проверка

я не вижу в варианте на скале data Op = OpInt | OpString

s/part/dependent pair/

я не вижу в варианте на скале data Op = OpInt | OpString

значит не оттуда зашел )

как такое выразить в хаскеле?

в паттерн матчинге распаковать, для OpInt сделать что нужно

использовать uniplate что бы не делать это руками

data Op = OI | OS class K (a::Op) b | a -> b, b <- a where r :: proxy a -> Int -> String -> R a instance K OI Int where r _ i _ = i instance K OS String where r _ _ s = s

это я прямо в чятике набирал могу гист сделать

wow

data Op = OI | OS class K (a::Op) b | a -> b, b <- a where r :: proxy a -> Int -> String -> R a instance K OI Int where r _ i _ = i instance K OS String where r _ _ s = s

parse error on input ‘<-’ Perhaps this statement should be within a 'do' block?

это я прямо в чятике набирал могу гист сделать

^^

да я понял )

там и R a который я тайпфемилей сдлетаь хотел остался,

щас в редакторе наберу

Спасибо большое. Я совсем не настоящий сварщик, просто иногда люблю пробовать писать на хаскеле то что делал на скале .

{-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE TypeApplications #-} import Data.Text (Text) import Data.Proxy import qualified Data.Text as T data Op = OI | OS class K (a::Op) b | a -> b, b -> a where r :: proxy a -> Int -> Text -> b instance K OI Int where r _ i _ = i instance K OS Text where r _ _ s = s test1 = r (Proxy :: Proxy 'OI) 4 (T.pack "foo")

причем вывод типов работать должен

*Main> (r undefined 1 (T.pack "foo")) + (17 :: Int) 18

если использовать 2 типа разных то меньше экстеншенов

хотя почему-то мне кажется, что если предположить XY проблему, и это для типизированого разбора/калькулятора/ADT то все по другому делать

но я обычно специально предполагаю, что человек хочет именно то, что он спрашивает ;)

Спасибо, буду разбираться! :)

лучше расскажи задачу всю ?

Задача заэнкодить Free алгебру так что бы она была сериализуема в и из JSON. если энкодить через функции data Op a = IntOp (Int -> a) | StringOp (String -> a) то такое уже в JSON не превратишь.

Op ~> Id конечно тут элементарно пишется

это тебе GADT надо, наверное

наверное

в общем любой туториал по ним рассматривает очень близкий случай

в общем любой туториал по ним рассматривает очень близкий случай

data Op a where IntOp :: Op Int StringOp :: Op String foo :: forall a. Op a -> a foo IntOp = 1 foo StringOp = "1"

Спасибо :)

да, на случай с параметрами тоже расширится

вообще с этим прикольные штуки можно делать

да понятно )

А куда копать что бы из data Foo f = Foo { bar :: forall a. a -> f a, baz :: Int -> f String } получить data FooOp a where Bar :: a -> FooOp a Baz :: Int -> FooOp String

в компайл тайме

в смысле? GADTs подключить?

видимо, какой-то TH подразумевается

стоп, зачем?

@notxcain https://wiki.haskell.org/Template_Haskell

@notxcain https://wiki.haskell.org/Template_Haskell

Видать оно :)

если не генерить новые типы то https://wiki.haskell.org/Generics

Думаю все такие генерить

стоп, зачем?

у пацана есть либа для очень очень Free алгебр для scala на макросах, видать, на хачкель расширятся

у пацана есть либа для очень очень Free алгебр для scala на макросах, видать, на хачкель расширятся

Почти ) смотрю как в хаскелле это все выглядеть будет

зачем там TH?

+1

я пока пытаюсь понять условие очередного вопроса

зачем там TH?

Ну ему надо определить новые data на основе предыдущих

Есть data Foo f = Foo { bar :: forall a. a -> f a, baz :: Int -> f String }

Т.е. базу для Free он генерит

Ну ему надо определить новые data на основе предыдущих

не нужно

типа даёшь ему DSL, а он для тебя генерит data для Free под этот DSL

нужно во время компиляции вывести тип data FooOp a where Bar :: a -> FooOp a Baz :: Int -> FooOp String и две функции to :: Foo f -> (FooOp ~> f) from :: (FooOp ~> f) -> Foo f

поправил опечатку

FooOp ~> f что значит?

f :: * -> *

forall a. FooOp a -> f a

натуральная трансформация, морфизм в категории эндофункторов.

но в хаскеле в GADT меньше бойлерплейта и больше свободы, думаю, что юзеры предпочтут писать их ручками

но в хаскеле в GADT меньше бойлерплейта и больше свободы, думаю, что юзеры предпочтут писать их ручками

да, я вижу, что в хаскеле смысла нет потому что в скале смыта граница между тайпклассами и типами