Assino em baixo. Acho que tive pouca paciência com Ocaml. A excluí mais por preferência. Já programei bastante em f# e Haskell e adoro o jeito "funcional" de resolver problemas. Haskell só ficou de fora dos testes pois já conheço o inferno que é gerenciar as versões das bibliotecas e compilers.
Macros em OO são bem situacionais mesmo. Mas dsl's em lugares específicos é revigorante devo dizer. Mas deve ser difícil de coordenar se o time não estiver em sintonia. O que é uma porcentagem bem alta das vezes. Sabia que esse item ia ser um pouco polêmico. Kkk
Obrigado pelo comentário, Foi muito bom lê -lo.