Version française
Home     About     Download     Resources     Contact us    
Browse thread
a question bout exetract a sub-element of element in triple
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Su Zhang <westlifezs@g...>
Subject: a question bout exetract a sub-element of element in triple
I encountered a new problem which is I want to get " 1 " from a triple
"(0,2,[1,2,3])", which means I want to get the first value of the third item
in one triple and itself is a list, but when I use the List.hd
(third(0,2,[1,2,3])), it will give me the entire list which is [1,2,3]
the definition of the third is "let third(x,y,z)=z", so is there a way I can
get out "1" from "(0,2,[1,2,3])"? if possible, would you please give me some
advices?

thank you very much

-- 
Su Zhang