Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
RE: [Caml-list] Turning off type-checking
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-05-15 (21:02)
From: Markus Mottl <markus@o...>
Subject: Re: [Caml-list] Turning off type-checking
On Thu, 16 May 2002, John Max Skaller wrote:
> Hmm. The standard programmers trick here is to lift out the
> nested components, at the cost of passing the environment as
> arguments: if you type the arguments, it short circuits inference.

This would make models much less readable: there may be hundreds of
variables! Not much fun to pass all this around...

> BTW: you can encode the "Very" recursion as an integer.  For some
> models .. eg the model is a grammar and the data is a program with
> output a parse tree .. this optimisation isn't useful .. but in the
> 'real' world a lot of data is scalar rather than recursive.

This would not gain much: recursion is mostly there for convenient
specification. In most cases the user will provide types of finite
cardinality only.

Markus Mottl

Markus Mottl                                   
Austrian Research Institute
for Artificial Intelligence        
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: