Influências no design de objetos dinâmicos por Alan Kay

5

Alan kay em seu artigo, O poder do contexto link pdf , página 8, enumera algumas de suas motivações para objetos dinâmicos. Algumas das influências, como Paper on lisp, os primeiros trabalhos sobre o design de computadores funcionais, a biologia Moleculer do gene (ele imaginou objetos como células biológicas) são um tanto claros e eu vejo o ponto. No entanto, algumas das influências como

  1. Paul Halmos, espaços vetoriais de dimensões finitas, (Clue: Algebra in the Large, diz ele). Eu quero saber como a álgebra tem influenciado objetos dinâmicos? Há algum exemplo de estrutura algébrica nos objetos?

  2. Carnap, Rudolf, Significado e necessidade, um estudo em semântica e lógica modal. Como a lógica modal é útil na definição de objetos dinâmicos. Como este trabalho foi útil?

  3. Kleinrock, Leonard, Redes de comunicação: fluxo e atraso de mensagens estocásticas. Parece que este trabalho influenciou implementações iniciais do smalltalk. Isso tem algo a ver com a analogia entre as mensagens? Qualquer explicação seria realmente útil.

Em suma, eu quero entender como essas obras influenciaram o design de objetos dinâmicos como previsto por Alan Kay. Eu realmente aprecio qualquer ajuda sobre isso. Entendo que os pontos de vista são altamente subjetivos, mas também aprecio novas percepções / suposições sobre como você acha que essas obras teriam ajudado.

    
por sushant 16.08.2011 / 21:28
fonte

1 resposta

1

aqui está minha opinião sobre isso.

  1. Espaço vetorial bem para começar, os vetores são todos diferentes, mas compartilham os mesmos atributos e operações que me fazem pense em instâncias de alguma classe. Além disso, existem mapas lineares e transformações que de alguma forma trazem à mente uma imagem de um objeto mudando seu estado enquanto mantém sua identidade.

  2. Lógica modal parece difícil. O melhor que posso sugerir é provavelmente mapear modais qualificando a verdade de um julgamento para o conceito de subclasse-superclasse. O julgamento "John is happy" mapeia para a API da superclasse "isHappy": John.isHappy() retorna "de alguma forma". isHappy pode ser qualificado na subclasse com a modalidade "geralmente" ParticularKindOfJohn.isHappy() retorna "normalmente". Em outra subclasse, ela pode ser qualificada usando outra modalidade: OtherParticularKindOfJohn.isHappy() retorna "nunca"

  3. Redes de comunicação: fluxo de mensagens estocásticas e atrasos que um quase imediatamente clicou com o conceito de Smalltalk objetos trocando mensagens

YMMV

    
por 17.08.2011 / 00:04
fonte