Second, I have some ideas of things to do with Atomic Variants (sounds
like they could be a monster in a sci-fi movie). First thing is to
somehow allow the use of a type composed of all Atomic (non-polymorphic)
Variants as an integer type. One thing I want to do is index arrays
with them.
Hm... instead of having
type food = Carrot | Apple | Pizza | Coke | Sushi
let in_supply = Array.create 5 0
in_supply.(Coke) <- 20
you could do it like this instead
let carrot, apple, pizza, coke, sushi = 0, 1, 2, 3, 4
let in_supple = Array.create 5 0
in_supply.(coke) <- 20
. What do you think?
- Tom