Comments for Asynchronicity http://andreiformiga.com/blog Sometimes synchronicity is not enough Mon, 30 Jan 2012 14:27:46 +0000 hourly 1 http://wordpress.org/?v=3.3.1 Comment on I am an emacs-person by Vinicius Rocha http://andreiformiga.com/blog/?p=181#comment-156 Vinicius Rocha Mon, 30 Jan 2012 14:27:46 +0000 http://andreiformiga.com/blog/?p=181#comment-156 Esse é um ponto interessante, nunca parei para pensar sobre isso. Visual Studio tem sido meu "editor" padrão por muitos anos e quase não tenho me esforçado para entender seus processos de customização. Esse post despertou meu interesse para investir mais nisso. Abraço! Esse é um ponto interessante, nunca parei para pensar sobre isso. Visual Studio tem sido meu “editor” padrão por muitos anos e quase não tenho me esforçado para entender seus processos de customização. Esse post despertou meu interesse para investir mais nisso. Abraço!

]]> Comment on On typing by Rafael de F. Ferreira http://andreiformiga.com/blog/?p=172#comment-47 Rafael de F. Ferreira Mon, 01 Aug 2011 21:09:48 +0000 http://andreiformiga.com/blog/?p=172#comment-47 Hi Andrei. I think we are mostly in agreement, I prefer to work with typed languages, and I believe the future of programming involves better type systems and better tooling afforded by these systems. I would just pick a nit with regard to the issue of "shifting the burden from the compiler to the programmer". IME, it does happen, but not by requiring the programmer to write more tests. When doing TDD, I think almost all of tests we write in Ruby would be written in Java as well (the type tests end up beign done implicitly). And when some change causes a regression that would be caught by the compiler, it is caught by one of those tests. The difference is that it's usually much harder to pinpoint what change in what part of the code provoked the failure without the compiler's assistance. PS: You could add F#'s Type Providers to the list of research on integrating the dynamic with the static world. Hi Andrei.

I think we are mostly in agreement, I prefer to work with typed languages, and I believe the future of programming involves better type systems and better tooling afforded by these systems.

I would just pick a nit with regard to the issue of “shifting the burden from the compiler to the programmer”. IME, it does happen, but not by requiring the programmer to write more tests. When doing TDD, I think almost all of tests we write in Ruby would be written in Java as well (the type tests end up beign done implicitly). And when some change causes a regression that would be caught by the compiler, it is caught by one of those tests. The difference is that it’s usually much harder to pinpoint what change in what part of the code provoked the failure without the compiler’s assistance.

PS: You could add F#’s Type Providers to the list of research on integrating the dynamic with the static world.

]]> Comment on Resolvendo Desafios de Lógica com Prolog by Resolvendo Desafios mais Complicados com Prolog http://andreiformiga.com/blog/?p=157#comment-38 Resolvendo Desafios mais Complicados com Prolog Sat, 16 Jul 2011 20:03:53 +0000 http://andreiformiga.com/blog/?p=157#comment-38 [...] About « Resolvendo Desafios de Lógica com Prolog [...] [...] About « Resolvendo Desafios de Lógica com Prolog [...]

]]> Comment on Um pouco de lamb(a)da by Ainda sobre o λ-cálculo: Leitura adicional http://andreiformiga.com/blog/?p=35#comment-4 Ainda sobre o λ-cálculo: Leitura adicional Tue, 17 May 2011 15:09:42 +0000 http://asynchronicity.wordpress.com/?p=35#comment-4 [...] « Um pouco de lamb(a)da Brute Force SAT Solver in Haskell [...] [...] « Um pouco de lamb(a)da Brute Force SAT Solver in Haskell [...]

]]> Comment on Um pouco de lamb(a)da by Paulo Silveira http://andreiformiga.com/blog/?p=35#comment-2 Paulo Silveira Tue, 19 Apr 2011 04:14:01 +0000 http://asynchronicity.wordpress.com/?p=35#comment-2 Excelente, uma explicacao bem mais didatica e passo a passo do que a minha. Eu deferia ter começado por ai, antes de sair jogando booleanos, listas e church numerals.... Parabens Andrei! Excelente, uma explicacao bem mais didatica e passo a passo do que a minha. Eu deferia ter começado por ai, antes de sair jogando booleanos, listas e church numerals….

Parabens Andrei!

]]>