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

явный тип есть во время конструирования, а во время потребления списка типов уже нет, мы их стерли, не оставив никакой информации (свойств)

Почему я сразу извинялась за этот вопрос? Потому что я не программист на Хаскелле, так, интересуюсь. И мне довольно забавно, что через монаду List на С++ довольно легко реализуются как раз такие гетерогенные списки-кортежи

можно сделать что-то вроде

f :: [Dynamic] -> [String]
f = catMaybe \x ->
 case fromDynamic x of
   Just (x :: Int) -> Just (show x)
   Nothing -> case fromDynamic x of
     Just (x :: String) -> Just x
     _ -> Nothing

-- или
f :: [Dynamic] -> [String]
f = catMaybe \x -> asum
 [ show <$> fromDynamic @Int x
 , fromDynamic @String x
 ]

>>> f [toDyn (1 :: Int), toDyn "2", toDyn True]
["1", "2"]

что мало отличается от просто суммы (но отличается, можно класть любые типы, и можно доставать разные наборы типов при разных потреблениях, этакая сумма всех типов, но так легко упустить какие-то нужные типы, и компилятор никак не подскажет, только тесты)

Кажется, это примерно то, что и хотелось увидеть. Спасибо

Это выглядит как стрельба из картечницы по уткам (но именно так я планирую сделать в своём LR(1)-парсере typed интерфейс)

А может стоит таки? 👀

Короче, references в хлс действительно работают

И это прекрасно

Но какой ценой?

да никакой

просто работают

Не тормозит?

ну я немного потыкал, вроде нет

Что за референсы?

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

я так понимаю go to definition

найдёт все места

Ценой всего (количества памяти)

На любой GHC?