шарится, как и все конструкторы без параметров
а то что он полиморфный не мешает?
так а че, если значения нет, а типы стираются (чисто размышления)
нет, такой полиморфизм не добавляет конструктору параметр, ток экзистенциальный тип добавляет
Разве экзистенциал не дает шариться? Вроде все так же data Test = forall a . Test testInt :: Test testInt = Test @Int testTup :: Test testTup = Test @() Example_Test_closure: .quad Example_Test_con_info Example_testTup_closure: .quad Example_Test_con_info Example_testInt_closure: .quad Example_Test_con_info Example_Test_con_info: incq %rbx jmp *(%rbp) (не очень понятно зачем нужен экзистенциал если нет полей, но все же)
его можно на тайплевеле матчить
ну если к нему констрейнт приделать, то должен же быть тогда параметр у конструктора
Так а что мне это дает? Там же ни тайпейбла, ни значения этого типа, так что матчинг ничего не дает же вроде
А, ну так тогда там словарь является полем, а не из-за самого forallа
typeable нужен на термлевел матчинге
Обсуждают сегодня