Что означает тип данных Purescript без конструктора? - PullRequest
0 голосов
/ 01 мая 2019

Например (из purescript-halogen):

data Slot (query :: Type -> Type) output slot

Это объявление необитаемого типа?(Если это так, я предполагаю, что это будет полезно исключительно как фантомный тип.)

1 Ответ

2 голосов
/ 01 мая 2019

Вероятно, это должен быть foreign data, а не просто data, так как этот обитаем - он используется только посредством принуждения, так как он используется как версия другого типа с некоторыми из его параметров, экзистенциально скрытыми.

...