"Nowoczesne" HList?

Question

Model HList package został oparty na technologii Haskell starożytnej. Proste pytanie brzmi: biorąc pod uwagę wszystkie wspaniałe nowe cechy rozwoju Haskell/GHC ostatnich 8 lat, czy "nowoczesna" HList byłaby zbudowana inaczej? Zdaję sobie sprawę, że odpowiedź tutaj może być no, że dla konkretnego przypadku HList zastosowana technologia nadal daje najbardziej eleganckie rozwiązanie.

Przeczytałem wiele pozycji udokumentowanych na stronie extensible records, jedynym rzeczywistym konkurentem (tj. Takim, który jest zaimplementowany jako biblioteka dostępna w hakowaniu) jest records package. A może brakuje linków z extensible records?

Answer 1

Pytanie któregokolwiek z tych pakietów jest zakresem jego celów. HList to właściwie 5 różnych implementacji etykiet, dwóch typu równości, dwóch typów rzutowania, dwóch rekordów/RecordP i wariantu Variant kontra TIC. Wszystkie są podobne, ale różnią się pod względem łatwości użytkowania, przenośności i używanych rozszerzeń.

Nowsze funkcje GHC (GADTs, powiązane typy, rodzaje ograniczeń, typy polimorficzne, typy singleton) mogą zezwalać na nieco inne kompromisy. W szczególności typy singleton mogą pozwolić na lepsze etykiety, a typy polimorficzne mogą pozwolić na bardziej elegancki Type/Data/Generics.

Pakiet „rekordy” link do zależy od „rodzaje” pakietu, który twierdzi:.

„Haskell nie ma wsparcia dla subkinds i polimorfizmu subkind Jednak pakiet ten może być używany do emulowania subkinds rodzajów zmiennych podtypów * i . "

Ale to już nie jest prawdą, ponieważ promuje się typ danych w nowych wersjach GHC. Ten pakiet w styczniu 2012 r. Może być teraz trochę przestarzały.

Co do zapisów, być może nowy system będzie czerpał z najnowszej serii soczewek polimorficznych: lens i/lub lens-family.