From: ketty <kattlachan@gmail.com>
To: "Edgar Friendly" <thelema314@gmail.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Ocaml compiler features
Date: Sun, 14 Jan 2007 18:59:22 +0100 [thread overview]
Message-ID: <6ebe51ce0701140959u1314dfaevccbf27ca6de4feee@mail.gmail.com> (raw)
In-Reply-To: <45AA69FF.4010802@gmail.com>
On 1/14/07, Edgar Friendly <thelema314@gmail.com> wrote:
> That gives me what I've asked for at the moment, but I really want
> arrays indexed by atomic variant types in a type-safe way. i.e. so I
> could do:
>
> type food = Carrot | Apple | Pizza | Coke | Sushi
> let in_supply = Super_array.create food 0
> in_supply.(Coke) <- 20
> for f in food'range do
> printf "%s - %d" f'name in_supply.(f)
> done
>
What you really want is a mapping from a variant type to elements of
data. We already have the Map and Hashtbl modules for that. Although
it would be nice with some syntactic sugar for dealing with them.
There seems to be an old syntax extension for hashtables here:
http://www.bononia.it/~zack/stuff/hashtbl_ext.ml
next prev parent reply other threads:[~2007-01-14 17:59 UTC|newest]
Thread overview: 75+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-01-13 5:37 Edgar Friendly
2007-01-13 5:56 ` [Caml-list] " Tom
2007-01-14 17:35 ` Edgar Friendly
2007-01-14 17:59 ` ketty [this message]
2007-01-14 18:21 ` Edgar Friendly
2007-01-14 18:29 ` Jon Harrop
2007-01-13 7:41 ` David Baelde
2007-01-13 9:31 ` ketty
2007-01-14 17:33 ` Edgar Friendly
2007-01-14 18:23 ` Jon Harrop
2007-01-14 18:41 ` Vincent Hanquez
2007-01-14 20:49 ` Jon Harrop
2007-01-14 23:38 ` Gabriel Kerneis
2007-01-15 0:55 ` Jon Harrop
2007-01-15 6:12 ` skaller
2007-01-15 0:05 ` Vincent Hanquez
2007-01-15 5:59 ` skaller
2007-01-15 20:23 ` Martin Jambon
2007-01-15 21:30 ` Jon Harrop
2007-01-15 22:13 ` Try finally (was Re: [Caml-list] Ocaml compiler features) Daniel Bünzli
2007-01-15 22:27 ` Vincent Hanquez
2007-01-15 22:40 ` Quôc Peyrot
2007-01-15 23:08 ` Vincent Hanquez
2007-01-15 22:17 ` [Caml-list] Ocaml compiler features Vincent Hanquez
2007-01-16 1:18 ` skaller
2007-01-16 2:11 ` Jon Harrop
2007-01-16 5:18 ` Edgar Friendly
2007-01-16 6:36 ` skaller
2007-01-16 6:33 ` skaller
2007-01-16 13:55 ` Brian Hurt
2007-01-16 9:00 ` Vincent Hanquez
2007-01-16 14:14 ` skaller
2007-01-16 15:00 ` Vincent Hanquez
2007-01-16 17:47 ` skaller
2007-01-16 19:24 ` Edgar Friendly
2007-01-17 3:28 ` skaller
2007-01-17 11:41 ` Vincent Hanquez
2007-01-17 12:53 ` Olivier Andrieu
2007-01-17 13:18 ` Vincent Hanquez
2007-01-17 14:09 ` skaller
2007-01-16 19:42 ` Jon Harrop
2007-01-16 21:15 ` Florian Weimer
2007-01-17 3:46 ` skaller
2007-01-17 11:50 ` Vincent Hanquez
2007-01-15 5:56 ` skaller
2007-01-15 9:35 ` Nicolas Pouillard
2007-01-15 18:28 ` Martin Jambon
2007-01-15 19:02 ` ls-ocaml-developer-2006
2007-01-14 19:01 ` Edgar Friendly
2007-01-14 18:51 ` Vincent Hanquez
2007-01-14 20:49 ` Jon Harrop
2007-01-15 0:19 ` Vincent Hanquez
2007-01-20 19:19 ` Jon Harrop
2007-01-20 21:40 ` skaller
2007-01-14 21:47 ` Tom
2007-01-15 10:36 ` Richard Jones
2007-01-15 14:24 ` Vincent Hanquez
2007-01-16 8:45 ` Hendrik Tews
2007-01-16 9:08 ` Vincent Hanquez
2007-01-21 17:07 ` [Caml-list] native-code stack backtraces (was: Ocaml compiler features) Xavier Leroy
2007-01-21 18:53 ` Pierre Etchemaïté
2007-01-16 5:21 ` [Caml-list] Ocaml compiler features Edgar Friendly
2007-01-16 5:33 ` ketty
2007-01-16 6:00 ` Edgar Friendly
2007-01-16 6:10 ` ketty
2007-01-16 5:55 ` Christophe TROESTLER
2007-01-16 17:51 ` Edgar Friendly
2007-01-16 19:09 ` Jon Harrop
2007-01-16 19:21 ` Brian Hurt
2007-01-16 20:06 ` Jonathan Roewen
2007-01-16 20:13 ` Florian Weimer
2007-01-16 6:51 ` skaller
2007-01-16 18:01 ` Edgar Friendly
2007-01-17 2:23 ` skaller
2007-01-16 8:00 ` Florian Hars
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=6ebe51ce0701140959u1314dfaevccbf27ca6de4feee@mail.gmail.com \
--to=kattlachan@gmail.com \
--cc=caml-list@yquem.inria.fr \
--cc=thelema314@gmail.com \
/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).