English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Type notation in OO-layer
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-08-03 (21:29)
From: Oliver Bandel <oliver@f...>
Subject: Re: [Caml-list] Type notation in OO-layer
Zitat von Oliver Bandel <oliver@first.in-berlin.de>:

> As it is not a true "unit"-function, we at least should give it a
> unit-like type like "message -> string" so that the type-system
> make a complete annotation of type?!

OK, I had misleading thoughts here: not the method get's the message,
the object gets the message.

So, the type of the function is OK.
But shouldn't the message be somewhere else notated?

Or is this thrown out in general, when using OO?

I sthere no contradiction, when using such a type annotation,
when comparing it to the non-OO stuff?