From: qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk)
To: caml-list@inria.fr
Subject: Re: OCaml's long range graphical direction?
Date: 9 Feb 2001 20:01:28 GMT [thread overview]
Message-ID: <slrn988j4o.hm6.qrczak@qrnik.zagroda> (raw)
In-Reply-To: <20010209102801K.garrigue@kurims.kyoto-u.ac.jp>
Fri, 09 Feb 2001 10:28:01 +0900, Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp> pisze:
> which is an equivalent of Obj.magic used to go around some limitations
> of the type system. There are 24 of them, but they will not be needed
> anymore thanks to variance annotations in types.
What are variance annotations in OCaml?
--
__("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK
next prev parent reply other threads:[~2001-02-10 21:27 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-02-05 17:48 Daniel Ortmann
2001-02-06 9:28 ` Xavier Leroy
2001-02-06 18:19 ` Sven LUTHER
2001-02-07 21:30 ` Pierre Weis
2001-02-08 7:32 ` Sven
2001-02-08 1:59 ` Jacques Garrigue
2001-02-08 7:55 ` Sven
2001-02-09 8:47 ` Claudio Sacerdoti Coen
2001-02-09 10:00 ` Sven LUTHER
2001-02-08 20:35 ` Brian Rogoff
2001-02-09 1:28 ` Jacques Garrigue
2001-02-09 18:11 ` Brian Rogoff
2001-02-10 13:01 ` Jacques Garrigue
2001-02-09 20:01 ` Marcin 'Qrczak' Kowalczyk [this message]
2001-02-12 14:52 ` Nicolas barnier
2001-02-12 23:47 ` Jacques Garrigue
2001-02-15 12:21 ` [Caml-list] " Sven LUTHER
2001-02-08 10:28 ` Alan Schmitt
2001-02-09 1:24 ` bcpierce
2001-02-06 20:30 ` Dale Arntson
2001-02-07 0:39 ` John Max Skaller
2001-02-08 20:01 ` Francois Rouaix
2001-02-09 9:41 ` Sven LUTHER
2001-02-09 9:49 ` Jacques Garrigue
2001-02-09 19:58 ` Jerome Vouillon
2001-02-10 12:36 ` Jacques Garrigue
2001-02-10 21:25 ` Pierre Weis
2001-02-09 17:50 ` John Max Skaller
2001-02-06 19:33 Maxence
2001-02-09 23:31 Arturo Borquez
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=slrn988j4o.hm6.qrczak@qrnik.zagroda \
--to=qrczak@knm.org.pl \
--cc=caml-list@inria.fr \
/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