Можно ли преобразовать список «Либо» в «HList» в Haskell?

Question

Например, скажем, у меня есть [Либо Int Bool], и я хочу, чтобы преобразовать его в HList .... так

[Left 1, Right False, Left 2] 

станет

1 .*. False .*. 2 .*. HNil 

(я на самом деле думаю, что это невозможно, но хотелось бы услышать иначе .... даже писать тип для такой функции кажется невозможным, хотя, возможно, есть способ сделать это, что связано не только с написанием функции).

Answer 1

Вы не можете преобразовать [Either Int Bool] в HList, потому что это динамическое значение, но HList имеет статический тип, который зависит от его значения. Рассмотрим следующий пример:

• 1 .*. False .*. 2 .*. HNil имеет тип HCons 1 (HCons False (HCons 2 HNil))
• 1 .*. HNil имеет тип HCons 1 HNil

Оба эти значения являются возможные результаты вашей предполагаемой функции преобразования, но они имеют разные типы.

Вышеприведенное все потому, что информация о том, какое значение имеет HList, должна быть доступна компилятору, чтобы выяснить его тип. В вашем случае вы можете получить это значение только во время выполнения, то есть когда программа уже скомпилирована.

Answer 2

См. this post by Oleg о том, как сделать расширяемые варианты с помощью HList.