использовать мою функцию, сделать все необходимые имплиситы для Show, и потом их напечатать?
я не очень понял о чём речь. суть в том что если надо пробежаться по списку и каждому элементу сопоставить его инстанс Show, то из-за того что инстансы подставляются компайл-тайм, придётся в месте подстановки вкорячивать pattern-match
Ты HList хочешь?
Имплист для show должен быть выбран в фазе компиляции. И он один будет, потому что тип у листа один. Это то что упоминалось про мономорфность списка. В рантайме же там будет винегрет объектов, которые хочется обрабатывать по разному.
кстати это ведь expression problem если прям хочется ввязаться, можно посмотреть TF
Обсуждают сегодня