I am a Brazilian-Italian developer interested in Haskell, theory of computation, compilers, formal methods and some more. Feel free to poke me about these subjects, but it does not mean I will have answers for your questions. :-D