bad λ

Testando Novamente

badlambda — Sat, 24 Jan 2009 21:40:13 +0000

E se for para colocar um vídeo do YouTube?

E se for para fazer um links.

E uma URL direto: http://badlambda.com.

Vamos ver no que dá

Postando do Emacs

badlambda — Sat, 24 Jan 2009 21:36:06 +0000

Estou testando o Emacs como cliente XMLRPC para postar no WordPress…

Não é por nada… mas eu não consigo me adaptar com isso

MidiDuino e Lisp?!

badlambda — Tue, 30 Dec 2008 23:25:23 +0000

Estava lendo o CDM e acabei caindo neste post sobre um controlador MIDI usando arduino (um dos meus últimos brinquedos). Caí depois na página da dupla que está produzindo estes equipamentos, a Ruin & Wesen, e rolando ela, lá no rodapé, tive um “WOW moment” quando vi o “Powered by BKNR“. BKNR é um framework Web desenvolvido em Common Lisp!

Será que além da página há parênteses nos produtos deles?

λ

badlambda — Tue, 30 Dec 2008 17:06:49 +0000

A letra λ tem grande significado na Matemática, principalmente na Ciência da Computação. Alonzo Church a usou para representar funções como entidades abstratas, sem a necessidade de dar um nome à elas.

Mas hein?! Simples… damos o nome de soma ao ato de unir uma maçã à cesta de frutas, damos o nome de dividir ao ato de cortar em 10 pedaços iguais uma torta. O que estes “atos” têm em comum? São atos! São atitudes realizadas por nós. O que Church queria era dar um nome genérico a esta atitude, e usou o λ para isso.

Assim, λ representa uma atitude, seja ela de somar, dividir, escrever, cumprimentar seu amigo na rua, lavar seu carro e assim por diante. Desta forma Church poderia representar qualquer atitude, qualquer ação, qualquer computação através de… isso mesmo… funções! E o λ representando estas funções. E é claro que linguagens funcionais como Scheme possuem funções λ. Toda a computação pode ser resumida em apenas uma letra grega: λ