Influenze sul design degli oggetti dinamici di Alan Kay

5

Alan kay nel suo articolo, Il potere del contesto link pdf , pagina 8, enumera alcune delle sue motivazioni per oggetti dinamici. Alcune delle influenze come Paper on lisp, il primo articolo sul design di computer funzionali, la biologia molecolare del gene (ha immaginato gli oggetti come cellule biologiche) sono piuttosto chiare e vedo il punto. Tuttavia, alcune delle influenze come

  1. Paul Halmos, spazi vettoriali a dimensione finita, (Indizio: Algebra nel Grande, dice). Voglio sapere in che modo l'algebra ha influenzato gli oggetti dinamici? Ci sono esempi di strutture algebriche negli oggetti?

  2. Carnap, Rudolf, significato e necessità, studio in semantica e logica modale. In che modo la logica modale è utile per definire oggetti dinamici. Come è stato utile questo lavoro?

  3. Kleinrock, Leonard, reti di comunicazione: flusso e ritardo di messaggi stocastici. Sembra che questo lavoro abbia influenzato le prime implementazioni di smalltalk. Ha qualcosa a che fare con l'analogia tra i messaggi. Qualsiasi spiegazione sarebbe davvero utile.

In breve, voglio capire come questi lavori abbiano influenzato il design degli oggetti dinamici come previsto da Alan Kay. Apprezzo davvero qualsiasi aiuto su questo. Capisco che i punti di vista sono molto soggettivi, ma apprezzerei anche nuove intuizioni / ipotesi su come pensi che questi lavori avrebbero aiutato.

    
posta sushant 16.08.2011 - 21:28
fonte

1 risposta

1

ecco la mia opinione su questo.

  1. Spazio vettoriale per cominciare, i vettori sono tutti diversi ma condividono gli stessi attributi e operazioni che mi rendono pensa alle istanze di qualche classe. Inoltre, ci sono mappe e trasformazioni lineari che in qualche modo portano alla mente l'immagine di un oggetto che cambia il suo stato pur mantenendo la sua identità.

  2. Logica modale sembra difficile. La cosa migliore che posso inventare è probabilmente la mappatura delle modali che qualificano la verità di un giudizio al concetto di sottoclasse-superclasse. Giudizio "John is happy" sulle mappe dell'API della superclasse "isHappy": John.isHappy() restituisce "in qualche modo". isHappy può essere qualificato in sottoclasse con modalità "di solito" ParticularKindOfJohn.isHappy() restituisce "di solito". In altre sottoclassi, può essere qualificato utilizzando un'altra modalità: OtherParticularKindOfJohn.isHappy() restituisce "mai"

  3. Nets di comunicazione: flusso di messaggi stocastici e ritardo che si è immediatamente cliccato sul concetto di Smalltalk oggetti che scambiano messaggi

YMMV

    
risposta data 17.08.2011 - 00:04
fonte

Leggi altre domande sui tag