В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1621 membersпожаловаться на группу
2021 January 25

ЗП

Зигохистоморфный Пре... in Haskell
зашибись) если хочешь чтобы работало используй в конце, но такое мне нафиг не впилось, ибо там есть и другие типы для которых нужен Project инстанс
https://gitlab.haskell.org/ghc/ghc/-/issues/19257#note_326502
GitLab
Some type family in the codomain of another type family seems to get stuck (#19257) · Issues · Glasgow Haskell Compiler / GHC
Steps to reproduce I expect this example (minimized from an attempt to implement recursion-schemes with type families) to typecheck, but it...
источник
23:19пожаловаться#1
2021 January 26

АК

Анатолий Кот... in Haskell
Добрый день, подскажите есть ли в хаскеле возможность получить представление типа функции в виде значения?
Те что-то подобное псевдокоду:
reprOf (:) = Function (Tp "a1") (Function (Tp "a2") (Tp "a2"))
источник
17:48пожаловаться#2

YS

Yan Shkurinskiy in Haskell
Возможно что-то типа TypeRep из Typeable?
источник
17:51пожаловаться#3

к

кана in Haskell
Анатолий Кот
Добрый день, подскажите есть ли в хаскеле возможность получить представление типа функции в виде значения?
Те что-то подобное псевдокоду:
reprOf (:) = Function (Tp "a1") (Function (Tp "a2") (Tp "a2"))
@effectfully
источник
17:51пожаловаться#4

к

кана in Haskell
ты такое делал
источник
17:51пожаловаться#5

к

кана in Haskell
прям с переменными
источник
17:52пожаловаться#6

R

Roman in Haskell
кана
ты такое делал
не помню такого. Когда?
источник
17:52пожаловаться#7

R

Roman in Haskell
а, пардон
источник
17:53пожаловаться#8

R

Roman in Haskell
не заметил слово "типа"
источник
17:53пожаловаться#9

R

Roman in Haskell
Анатолий Кот
Добрый день, подскажите есть ли в хаскеле возможность получить представление типа функции в виде значения?
Те что-то подобное псевдокоду:
reprOf (:) = Function (Tp "a1") (Function (Tp "a2") (Tp "a2"))
можно с адскими хаками: https://github.com/effectfully/sketches/tree/master/poly-type-of-saga/part2-enumerate-type-vars

(но имена я там из воздуха беру)
источник
17:54пожаловаться#10

JS

Jerzy Syrowiecki in Haskell
Анатолий Кот
Добрый день, подскажите есть ли в хаскеле возможность получить представление типа функции в виде значения?
Те что-то подобное псевдокоду:
reprOf (:) = Function (Tp "a1") (Function (Tp "a2") (Tp "a2"))
да

Prelude Data.Typeable> data A
Prelude Data.Typeable> typeOf ((:) @A)
A -> [ A ] -> [ A ]
источник
17:54пожаловаться#11

R

Roman in Haskell
по идее еще можно через GHC API как-нибудь
источник
17:55пожаловаться#12

к

кана in Haskell
Jerzy Syrowiecki
да

Prelude Data.Typeable> data A
Prelude Data.Typeable> typeOf ((:) @A)
A -> [ A ] -> [ A ]
а тут без типопеременных
источник
17:55пожаловаться#13

АК

Анатолий Кот... in Haskell
Jerzy Syrowiecki
да

Prelude Data.Typeable> data A
Prelude Data.Typeable> typeOf ((:) @A)
A -> [ A ] -> [ A ]
мне нужно чтобы с дженериками работало
источник
17:55пожаловаться#14

JS

Jerzy Syrowiecki in Haskell
кана
а тут без типопеременных
а в вопросе не было
источник
17:55пожаловаться#15

JS

Jerzy Syrowiecki in Haskell
а, уже появилось уточнение
источник
17:55пожаловаться#16

к

кана in Haskell
reprOf (:) = Function (Tp "a1") (Function (Tp "a2") (Tp "a2"))

да вот прям пример кода из примера
источник
17:55пожаловаться#17

YS

Yan Shkurinskiy in Haskell
Анатолий Кот
мне нужно чтобы с дженериками работало
Дженерики хаскелёвые или то что понимают во всех остальных языках?
источник
17:55пожаловаться#18

к

кана in Haskell
с конкретной функцией и типопеременными
источник
17:55пожаловаться#19

к

кана in Haskell
правда там неправильный пример
источник
17:56пожаловаться#20