LexiFI and conversion to date

LexiFI and conversion to date

[Joel Reymont]

Folks,

I see this in the LexiFI presentation:

# let t1 = 2002-12-20T16:00 (* ISO 8601 notation *) ;;
val t1 : date = 2002-12-20T16:00:00

What type of a value is 2002-12-20T16:00 and how does it get  
translated into a date?

	Thanks, Joel

--
http://wagerlabs.com/

Re: [Caml-list] LexiFI and conversion to date

[Daniel Bünzli]

> What type of a value is 2002-12-20T16:00 and how does it get  
> translated into a date?

This kind of value does not exist in ocaml. From <http:// 
www.lexifi.com/resources.html> :

> MLFi is implemented as an extension of Caml

So they must use some kind of pre-processor, most likely camlp4 [1].

Best,

Daniel

[1] The official documentation is here <http://caml.inria.fr/pub/docs/ 
manual-camlp4/index.html>, but more
recent news can be found there <http://caml.inria.fr/pub/ml-archives/ 
caml-list/2006/05/fbc206cc8ec3a8d73f523e18a90759e3.fr.html>.

Re: [Caml-list] LexiFI and conversion to date

[Joel Reymont]

I guess my question is how can you make camlp4 recognize the below as  
the date type?

	Thanks, Joel

On Jul 25, 2006, at 1:18 AM, Daniel Bünzli wrote:

>
>> What type of a value is 2002-12-20T16:00 and how does it get  
>> translated into a date?
>
> This kind of value does not exist in ocaml. From <http:// 
> www.lexifi.com/resources.html> :

--
http://wagerlabs.com/

Re: LexiFI and conversion to date

[Denis Berthod]

[-- Attachment #1: Type: text/plain, Size: 507 bytes --]

> Folks,
>
> I see this in the LexiFI presentation:
>
> # let t1 = 2002-12-20T16:00 (* ISO 8601 notation *) ;;
> val t1 : date = 2002-12-20T16:00:00
>
> What type of a value is 2002-12-20T16:00 and how does it get
> translated into a date?
>

Hello,
We use an *extended* version of the Ocaml compilers in order to describe
complex financial products. In particular, we added a  native date type in
MLFi, our version of OCaml.

So the type of 2002-12-20T16:00 is date as shown by the toplevel answer.

Denis

[-- Attachment #2: Type: text/html, Size: 707 bytes --]