Idéias

Relendo o paper sobre Haskell#, e pensando na especificação estática do paralelismo, me perguntei: por que não codificar a informação de configuração no sistema de tipos ? Atualmente, é utilizada uma linguagem separada para isso, a HCL (Haskell Configuration Language), o que traz os problemas de casamento de impedância e coisa e tal. Uma solução integrada ao sistema de tipos poderia manter a especificação dinâmica, a separação das preocupações de coordenação e computação e ainda eliminar os problemas de impedância. Além de codificar os componentes e a configuração, é necessário codificar os skeletons também. Templates ? Meta-programação ? É preciso verificar que outras técnicas já foram tentadas (Eden, GpH, etc)...