Haskell with TemplateHaskell is definitely worth giving a shot. You can find good examples of its use by searching for reverse dependencies of template-haskell

Haskell with TemplateHaskell is definitely worth giving a shot. You can find good examples of its use by searching for reverse dependencies of template-haskell package[0]. One of these is my tiny experiment that features program synthesis by given type[1]. Recently I added an ability to handle sum types and product types (a.k.a. Either and tuples) -- see 'rewrite' branch. [0] https://packdeps.haskellers.com/reverse/template-haskell https://packdeps.haskellers.com/reverse/template-haskell [1] https://github.com/8084/haskell-holes-th https://github.com/8084/haskell-holes-th