caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Clemens Hintze <cle-ocaml@qiao.in-berlin.de>
To: "Marcin 'Qrczak' Kowalczyk" <qrczak@knm.org.pl>,
	Alain Frisch <frisch@clipper.ens.fr>,
	Andreas Rossberg <rossberg@ps.uni-sb.de>,
	Pixel <pixel@mandrakesoft.com>, David Gurr <gurr@mrs.med.ge.com>,
	Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>,
	dirk@qiao.in-berlin.de
Cc: caml-list@inria.fr, Clemens Hintze <cle-ocaml@qiao.in-berlin.de>
Subject: Re: [Caml-list] Re: [Q]: Co(ntra)variance and subtyping?
Date: Mon, 19 Nov 2001 08:24:46 +0100	[thread overview]
Message-ID: <20011119082446.B79776@qiao.in-berlin.de> (raw)
In-Reply-To: <20011119093329G.garrigue@kurims.kyoto-u.ac.jp> <200111182235.OAA15994@mrs.mrs.med.ge.com> <ly7ksnzscv.fsf@leia.mandrakesoft.com> <002001c17035$c722aa80$3363e195@pazo> <Pine.GSO.4.33.0111181304140.27347-100000@clipper.ens.fr> <slrn9vf8gd.j3m.qrczak@qrnik.zagroda>

I want to thank you all, who have contributed to answer my questions
about co(ntra)variance. Now I will have to read it all for a few times
(I guess a dozent will enough ;-) to try to understand what you gurus
tried to tell me ;-))

When I've reached that state, I would like to post a summary to beg
your comments to see, if I reached knowledge or not. In that summary,
there may pop up further questions, if something is still not clear to
me.

It may take some days for the dozent concentrated readings, though.

Thanks again for all help.


Ciao,
Clemens.

PS: Thanks also to Mark Wotton.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr


  reply	other threads:[~2001-11-19  7:30 UTC|newest]

Thread overview: 34+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-11-16 19:37 [Caml-list] " Clemens Hintze
2001-11-17 14:18 ` Mark Wotton
2001-11-17 14:55   ` Mark Wotton
2001-11-17 17:50   ` [Caml-list] " Clemens Hintze
2001-11-17 23:17     ` Mark Wotton
2001-11-18  9:16       ` Clemens Hintze
2001-11-18 13:18         ` Alain Frisch
2001-11-19  9:54           ` Remi VANICAT
     [not found]       ` <9t7v4d$gij$1@qrnik.zagroda>
2001-11-18 11:57         ` Marcin 'Qrczak' Kowalczyk
2001-11-18 13:34 ` [Caml-list] " Andreas Rossberg
2001-11-18 21:22   ` Pixel
2001-11-19  0:33     ` Jacques Garrigue
2001-11-18 22:35       ` David Gurr
2001-11-19  7:24         ` Clemens Hintze [this message]
2001-11-19 12:03           ` [Caml-list] " Markus Mottl
2001-11-19  8:29         ` [Caml-list] " Xavier Leroy
2001-11-19 11:03       ` Alain Frisch
2001-11-20  9:58         ` Didier Remy
2001-11-19 11:14       ` Pixel
2001-11-18 22:30   ` [Caml-list] Re: variance, subtyping and monads... oh, my! james woodyatt
2001-11-19  8:11     ` Francois Pottier
2001-11-19  9:02       ` james woodyatt
2001-11-19  9:58         ` Markus Mottl
2001-11-19 20:47           ` james woodyatt
2001-11-19 12:56       ` Frank Atanassow
2001-11-19 10:39     ` Andreas Rossberg
2001-11-19 12:21       ` Markus Mottl
2001-11-19 13:43         ` [Caml-list] Kylix and OCaml Christophe Raffalli
2001-11-20  2:05           ` Vitaly Lugovsky
2001-11-20  8:51             ` Christophe Raffalli
2001-11-22  1:42               ` Vitaly Lugovsky
2001-11-20 10:00             ` Benjamin Monate
2001-11-20 10:24               ` [Caml-list] [Bug in an interface between C++ and OCAML due to some pointer encapsulation] Sylvain Kerjean
2001-11-20 12:14             ` [Caml-list] Kylix and OCaml Maxence Guesdon

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20011119082446.B79776@qiao.in-berlin.de \
    --to=cle-ocaml@qiao.in-berlin.de \
    --cc=caml-list@inria.fr \
    --cc=dirk@qiao.in-berlin.de \
    --cc=frisch@clipper.ens.fr \
    --cc=garrigue@kurims.kyoto-u.ac.jp \
    --cc=gurr@mrs.med.ge.com \
    --cc=pixel@mandrakesoft.com \
    --cc=qrczak@knm.org.pl \
    --cc=rossberg@ps.uni-sb.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).