Subject: Cecil problems
From: Marcin Lostowitz (lostowitz@wp.pl)
Date: Wed Jan 09 2002 - 10:26:08 PST
Hello,
My name is Marcin and I'm working as a programmer in Poland. I from time-to-time teach young people
programming languages and methodology. I encountered much information about Cecil language and I read
several articles on this topic. Cecil is interesting since its semantic mechanism not existing in other programming
languages. Unfortunatly, this is the most mysterious language since Algol68 terminology days!
I have some background on similar topic: Sather, Eiffel, and partialy Dee. I know what the dynamic dispaching,
multimethods, predicates, prototype-based, covariant and contravariant mean, but still have trouble with simple
understanding the relation of static typing to dynamic dispatching in Cecil.
Well, have some stupid questions:
1. Why separate hierarchies of classes (inheritance) and typing? Or what is the difference between notion of Java
interface to Cecil type hierarchy?
2. Is Cecil covariant or contravariant ? I know that non of them, but do not understand why.
4. When I say:
object int_rep inherits any
object int_rep conforms int
foo( x@int_rep:int) and foo( x@:int)
are equivalent?
5. A descendant class can have other type than its ancesor (superclass)?
I know that my questions may be trivially or/and time consuming to answer, or you have no interest to explain me
such a problem. Or can I see any readable source code in Cecil?
Regards,
Marcin
lostowitz@wp.pl
-----------------------------------------------------------------------
Zaproś znajomych na czata! Wyślij SMSa z nowego czata WP!
Czat.wp.pl - Jedyny czat z ludzką twarzą < http://czat.wp.pl >
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Wed Jan 09 2002 - 10:39:04 PST