Oi pessoal,
Fiz a tradução do meu TCC pra haskell. Vide link abaixo.
https://bitbucket.org/ericvoid/robdd
Gostaria que vcs dessem uma olhada, para ver se tem como melhorar.
Des do ultimo dojo consegui dar um upgrade no código. Dei uma boa
organizada e troquei as listas por Maps. Isso deu um ganho de eficiência
gigante. Mas o arquivo de síntese é o que deve estar mais bagunçado.
Será que tem alguma forma de memoizar uma função sem ter que ficar passando
a estrutura de dados para todo lado?
Obrigado,
Eric