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

Question

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

типа функции в виде значения?
Те что-то подобное псевдокоду:
reprOf (:) = Function (Tp "a1") (Function (Tp "a2") (Tp "a2"))

#haskell #programming #russian

0

26.01.2021

16 ответов

16 просмотров

Cheese Syrowiecki

да Prelude Data.Typeable> data A Prelude Data.Typeable> typeOf ((:) @A) A -> [ A ] -> [ A ]

0

26.01.2021

Roman

можно с адскими хаками: https://github.com/effectfully/sketches/tree/master/poly-type-of-saga/part2-enumerate-type-vars (но имена я там из воздуха беру)

0

26.01.2021

кана

Cheese Syrowiecki
да Prelude Data.Typeable> data A Prelude Data.Typ...

а тут без типопеременных

0

26.01.2021

Анатолий Кот Автор вопроса

Cheese Syrowiecki
да Prelude Data.Typeable> data A Prelude Data.Typ...

мне нужно чтобы с дженериками работало

0

26.01.2021

Cheese Syrowiecki

кана
а тут без типопеременных

а в вопросе не было

0

26.01.2021

Yan Shkurinskiy

Анатолий Кот
мне нужно чтобы с дженериками работало

Дженерики хаскелёвые или то что понимают во всех остальных языках?

0

26.01.2021

Cheese Syrowiecki

Yan Shkurinskiy
Дженерики хаскелёвые или то что понимают во всех о...

параметрический полиморфизм везде понимают

0

26.01.2021

Yan Shkurinskiy

Cheese Syrowiecki
параметрический полиморфизм везде понимают

Если бы (

0

26.01.2021

Cheese Syrowiecki

если функция известна статически, то можно спросить у компилятора через TH > $(lift . show =<< reify '(:)) DataConI GHC.Types.: ( ForallT [ KindedTV a_3530822107858468865 StarT ] [] ( AppT ( AppT ArrowT ( VarT a_3530822107858468865 ) ) ( AppT ( AppT ArrowT ( AppT ListT ( VarT a_3530822107858468865 ) ) ) ( AppT ListT ( VarT a_3530822107858468865 ) ) ) ) ) GHC.Types.[]

0

26.01.2021

Cheese Syrowiecki

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

0

26.01.2021

Анатолий Кот Автор вопроса

Cheese Syrowiecki
может, если вы расскажете, для чего вам это нужно,...

Я хочу для такого типа newtype StrId a = StrId { runId :: a } написать fmap (и <*>), который будет вычислять fmap f (StrId a) = StrId (f $! a), если для переданной функции f :: a -> ... -> b, a не совпадает c b и fmap f (StrId a) = StrId (f a) в противном думал это можно c Typeable сделать, но он не работает с типопараметрами

0

26.01.2021

Roman

Анатолий Кот
Я хочу для такого типа newtype StrId a = StrId { ...

у хаскеля очень специфичный чекер равенства на тайп-левеле, так что например сказать, являются ли a и [a] разными типами, он не сможет, если a предварительно не привести к чему-то более конкретному

0

26.01.2021

Ilya Kos

Анатолий Кот
Я хочу для такого типа newtype StrId a = StrId { ...

Похоже, такое можно просто с тайпклассами сделать

0

26.01.2021

Cheese Syrowiecki

Ilya Kos
Похоже, такое можно просто с тайпклассами сделать

на инстанс Functor нельзя навешивать дополнительные ограничения. скорее всего, на этом сломается

0

26.01.2021