Un po' di storia

MVC versus Document/View in MFC

Adrian Florea — Fri, 03 Apr 2009 19:18:48 GMT

Sto leggendo il bellissimo libro di Dino & Andrea, "Microsoft .NET: Architecting Applications for the Enterprise" e mi ha incuriosito questa loro osservazione alla pagina 362: "[...] Microsoft Foundation Classes (MFC) offered more than a decade ago an architecture with some points in common with MVC - particularly, the Document/View (DV) model. DV can be seen as a version of MVC where the view and controller are fused together. We really don't know whether the MFC team intentionally discarded MVC to embrace DV; our feeling, however, is that DV blossomed autonomously during the design by simply applying correctly and diffusely the SoC principle".

Sembra che alla PDC del 1995, un membro del team di MFC abbia raccontato proprio la storia del "MVC versus DV" nella scelta architetturale di MFC: "[...] for the controller’s message mapping mechanism, can’t we just reuse MFC’s message map solution? Ideally, yes. But there is one big problem here... A separate controller class for message handlers may sound like a good idea, but MFC was designed in such a way that this was thought impossible. MFC allows commands such as menu picks to be rerouted to non-windows, but not windows messages such as mouse clicks. In MFC, only a CWnd can receive windows messages and only one instance of a CWnd can receive the messages for a real Windows window. Since a controller is meant to be a non-window that can handle windows messages and exist in multiple instances per window, we seem to be stuck! An interesting aside, this problem was sited by an original MFC team member as the main reason Microsoft emulated MVC for the CDocument and CView, but stopped short of implementing a controller (MFC Professional Developers Conference, 1995)". Interessante...

Brian Grunkemeyer sulla storia del TypeCode e dell'interfaccia IConvertible

Adrian Florea — Mon, 17 Mar 2008 17:24:33 GMT

Visto l'interesse che ha suscitato l'ultimo post, ho scritto a Brad Abrams chiedendo conferma per la mia supposizione e dettagli sulla storia dell'interfaccia IValue, lui mi risponde subito indirizzandomi a Brian Grunkemeyer e stamattina trovo nella mia casella email, scritto da Brian, questo splendido pezzo della storia di .NET:

This is a good question. I was digging through the history of this file to see if I could figure out what happened, and it’s not clear. We’ve had this “hole” in the TypeCode enum since October of 2000, and I can’t find an older set of bits. But, I’m sure that comment in IConvertible is right – this used to be TimeSpan. For TimeSpan, it’s possible we thought it would be interesting for a while, then we realized that frankly not that many people need to convert a Decimal to a TimeSpan, then removed it.

You might ask why we didn’t “fix” the enum when we removed whichever of these values we had originally added. It turns out that whenever we have a breaking change internally, we need to recompile all the code that might possibly depend on the removed or changed public surface area. For us, that would mean rebuilding everything that might have referred to TypeCode.String, whose value would have changed from 18 to 17. While we do go through that process internally in DevDiv, it is costly & painful for us. Back then with some underdeveloped internal processes, it usually took 2 weeks, then even longer if your change requires a rebuilt compiler to be checked in as a new “safe” build of a compiler. Back in 2000, we were racing to ship as soon as possible (even though we didn’t ship for another year or two), so we wanted to limit churn like this. It’s sometimes easier to not deal with that level of churn in the product.

For your other question about IValue, that was the original name for IConvertible. We exposed a Variant type to match OLE Automation’s VARIANT type on the native side, for COM Interop reasons. The VB team actually was thinking that Variant should be conceptually the root of their object hierarchy (at least in terms of how types were exposed in VB 7), but that seemed a little silly. Fortunately, Anders Hejlsberg convinced them to use Object instead and we’d expose IConvertible on the base data types to allow VB users to easily change from one data type to another. So we marked Variant internal & we only use it in a handful of places internally for COM-related functionality.

Grazie ragazzi!

Sull'enum TypeCode e sull'interfaccia fantoma IValue

Adrian Florea — Wed, 12 Mar 2008 04:49:00 GMT

Oggi Raf sul messenger mi chiede se conosco un modo piu' diretto per capire se un tipo sia primitivo oppure String o DateTime (questo per evitare degli if...). Pensandoci un po', arrivo a questa soluzione:

(int)Type.GetTypeCode(type) > 2

dove type e' il tipo in causa. Lui prova e mi dice che va benissimo mentre io gia' sto pensando di bloggare questa riga di codice :-) L'enum TypeCode infatti, contiene nella sua lista di valori maggiori a 2 tutti i 12 tipi primitivi piu' il DateTime e lo String, proprio quello che voleva Raf. A questo punto gli chiedo come denominare questa categoria di tipi? Primitivi non sono, built-in (ECMA-335, Partition I, 8.2.2) nemmeno, boh... fondamentali? Qui Raf si ricorda che "in una alpha erano refclass adesso non piu'". E poi fa questa osservazione giusta:

Raffaele MVP says (4:45 PM):
io comunque metterei >2 e <18
non si sa mai che aggiungano altre enum in futuro
<drian says (4:46 PM):
hai visto che manca 17?
Raffaele MVP says (4:46 PM):
non ci ho fatto caso
<drian says (4:47 PM):
in questo caso, dovrei fare anche != 17, perche' il 17 per adesso manca
e diventa un po' una schifezza
Raffaele MVP says (4:48 PM):
a questo punto puoi legarlo ad una versione specifica di quell'assembly ma poi non funziona più automaticamente
Raffaele MVP says (4:49 PM):
o ancora metterlo typesafe
>=boolean <=string
ma c'è sempre il 17 a rompere

Spulciando poi i sorgenti di Rotor, trovo questo commento nel file dell'interfaccia System.IConvertible

// The IValue interface represents an object that contains a value. This
// interface is implemented by the following types in the System namespace:
// Boolean, Char, SByte, Byte, Int16, UInt16, Int32, UInt32, Int64, UInt64,
// Single, Double, Decimal, DateTime, TimeSpan, and String. The interface may
// be implemented by other types that are to be considered values.

Cosa notate? Esattamente l'elenco di tipi che interessava Raf, nell'ordine di TypeCode e... in piu' il TimeSpan tra il DateTime = 16 e lo String = 18, cioe' corrispondente proprio al 17 che mancava! Questa interfaccia, IValue, non esiste piu' nel framework ma alcuni commenti su varie implementazioni del metodo GetTypeCode() sono rimasti come:

// IValue implementation

perche', probabilmente, conteneva questo metodo GetTypeCode. Questa ormai e' "archeologia" di .NET! :-) E non e' tutto. Guardate nei commenti dell'enum System.TypeCode:

// Note that when an object has a given TypeCode, there is no guarantee that
// the object is an instance of the corresponding System.XXX value class. For
// example, an object with the type code TypeCode.Int32 might actually be an
// instance of a nullable 32-bit integer type

Questo comportamento non e' piu' vero, perche' il valore di Type.GetTypeCode(typeof(int?)) e' TypeCode.Object, mentre il valore di Type.GetTypeCode(typeof(int)) e' TypeCode.Int32!

Dopo una discussione tecnica con Raf, direi che sia impossibile non cliccare "New Post"! :-)

Bill Gates e il pancake problem

Adrian Florea — Fri, 07 Oct 2005 19:43:00 GMT

Pochi forse sanno che il nostro amato chief software architect è anche il coautore di un davvero bellissimo risultato di combinatorica sul cosìdetto problema delle frittelle :-) (in inglese "pancake problem") insieme al vincitore del Premio Knuth per 2002 (una specie di Nobel per l'informatica teorica), il Prof. Christos H. Papadimitriou. Insieme, sono riusciti all'inizio del 1978 (Bill aveva appena compiuto 22 anni) a dimonstrare che per fare il sorting di una permutazione di ordine n ci vogliono non più di (5*n+5)/3 flip (o prefix reversal) e non meno di 17*n/16 flip. Vale la pena di scaricare (e leggere) il PDF della fotocopia dell'articolo originale (sono quasi 5 MB):

W.H. Gates, C.H. Papadimitriou, "Bounds for Sorting by Prefix Reversal", Discrete Mathematics, 27 (1979) 47-57

Il limite inferiore è stato frattempo migliorato nel 1992, a 15*n/14, grazie a David S. Cohen (non mi crederete però ha scritto anche The Simpsons) e al Prof. Manuel Blum (quest'ultimo vincitore del Premio Turing per 1995 - il premio è la più alta onorificenza per computer science).

Il problema originale è stato proposto dal Prof. Jacob E. Goodman nel 1975 (si è firmato però Harry Dweighter) e suscita tuttora interesse dopo 30 anni, soprattutto per le sue varie applicazioni pratiche. Il nostro Bill nello stesso articolo, oltre al risultato sopra menzionato, propone e risolve un altro problema leggermente modificato: quello delle frittelle bruciate ("burnt pancake problem"). Lascio adesso a voi il piacere di gustarle :-)

P.S.: Sembra che il valore del limite maggiore, (5*n+5)/3, sia stato ottenuto indipendentemente sempre nel 1978, anche da due ungheresi (vedi la nota della pagina 7 di questo articolo del mitico Neil J.A. Sloane):

E. Györi, G. Turán, "Stack of pancakes", Studia Sci. Math. Hungar., 13 (1978),133-137

Great Renaissance artists vs. great software engineers

Adrian Florea — Fri, 15 Jul 2005 08:34:00 GMT

Leggendo questo articolo apparso oggi:

G. Pollice, "Great art and the craft of software development", The Rational Edge (July 2005)

mi sono ricordato di questo post di Andrea Boschin: "Una via italiana al software?". Sembra che davanti a opere di Michelangelo, da Vinci, Tiziano, Caravaggio, Stradivarius, Amati, qualcuno ha pensato a Donald Knuth, Grady Booch, Ken Thompson, Dennis Ritchie, Ivar Jacobson, David Parnas, Kent Beck, Martin Fowler, James Rumbaugh, Niklaus Wirth, Robert Martin.

Ed ecco come, alla domanda di Andrea "perchè i principi che hanno dato vita a delle così efficaci ed apprezzate soluzioni non vengono applicati anche in campo informatico?", il Prof. Pollice prova a trovare una "riceta":

cross-fertilization of disciplines (software and hardware architectures, scientific and mathematical disciplines)
scrupulous about creating clean, accurate models that translated into sleek, efficient systems in which every feature has a clear purpose and adequate support
view software development along three axes:
people - understand the value of working with a talented team

process - the rigor of your process should vary according to the type of product on which you are working

tools - as the complexity increases, the quality of your tools must also increase in order to produce the desired results
understand the importance of details and take time to deal with them lovingly

Brad Abrams si diventa

Adrian Florea — Tue, 14 Jun 2005 07:02:00 GMT

La tesi di Brad Abrams, ormai pura storia:

B. Abrams, "The Distributed Object Dilemma. A Technical Overview of Two Standards for Distributed Computer Systems", Honors Report, Department of Computer Science, College of Engineering, North Carolina State University (1997)

33 pagine sul comodino, da leggere con un sorriso nelle ore piccole :-)

Grande Cwalek!

Adrian Florea — Sat, 23 Apr 2005 10:47:00 GMT

Sapevate che Krzysztof Cwalina è anche uno dei più veloci nuotatori polacchi? E un'altra cosa carina, ha fatto la tesi di laurea con una professoressa italiana.

Brian Grunkemeyer è l'autore delle static class

Adrian Florea — Thu, 27 Jan 2005 19:09:00 GMT

Un pezzo di storia: nel video di questo post, dal minuto 6:13 al minuto 10:28, Brian Grunkemeyer racconta come gli è venuta l'idea delle classi statiche. E' iniziato tutto da un suo bug nella versione 1.0 del Framework: il metodo System.Environment.HasShutdownStarted non era ai tempi static, e quindi poteva essere chiamato solo tramite reflection :-)

Lo racconta anche in SLAR, alla pagina 178

Quiz (BASIC, Einstein, Berlusconi)

Adrian Florea — Tue, 18 Jan 2005 01:56:00 GMT

On Topic: Che legame c'è tra il linguaggio BASIC e Albert Einstein?

Off Topic: Ma tra Albert Einstein e Silvio Berlusconi?

The Faces in Front of the Monitors

Adrian Florea — Tue, 18 Jan 2005 00:48:00 GMT

I link interessanti che trovo in giro, da un po' di tempo li "furlo" qui (l'RSS del mio furl è questo), risparmiando così lo spazio del blog e la vostra attenzione per cose magari più originali. Però questo, "The Faces in Front of the Monitors", è troppo atipico per non postarlo. Nella scelta dei personaggi (che mischia buoni e cattivi) scopro non pochi nomi giovanissimi...

Me l'ha mandato il mio amico Nicola Venditti, che ogni tanto si ricorda del mio debole per la storia.