Блог

Я смотрю на HaskellWiki> Экзистенциальный тип# Механизм динамической отправки.

И я думаю, в Template Haskell должен быть способ принять эту часть:

 class Shape_ a where
    ...

type Radius = Double
data Circle = Circle Radius

instance Shape_ Circle where
    ...
  

и автоматически выводит эту часть:

 -- derive the data type
data Shape = forall a. Shape_ a => Shape a

-- derive smart constructors similar to the original constructor
circle :: Radius -> Shape
circle r = Shape (Circle r)
  

Это было сделано в Template Haskell? Можно ли это сделать в TH? Можно ли сделать что-то подобное в простом старом Haskell без необходимости выписывать все интеллектуальные конструкторы вручную? Потребуется ли для этого специальный препроцессор, более мощный, чем TH?

Это определенно можно сделать с помощью шаблона Haskell. Очень мало того, что невозможно. Но я считаю, что написание шаблонного кода Haskell довольно болезненно.

С GHC 7.4 и расширением ConstraintKinds вы также можете абстрагировать его часть:

 data Some :: (* -> Constraint) -> * where
    Some :: forall cls a. cls a => a -> Some cls

type Shape = Some Shape_

instance Shape_ Shape where
    perimeter (Some a) = perimeter a
    area (Some a) = area a

shape :: Shape_ a => a -> Shape
shape = Some