Re: tangentially relevant...

[Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>]

naive type theory question here- presumably that's to do with the desire to be 
able to curry arguments?  since i can certainly write a function taking a list 
of unspecified length...

On 3 Aug 2011, at 23:01, Anil Madhavapeddy wrote:

> Interestingly in OCaml, the format strings in Printf/Scanf are parsed 
> statically at compile time, and an error is thrown if they cannot be 
> statically determined. This is because it's otherwise impossible to 
> statically type a function with a variable number of arguments...
> 
> Anil
> 
> On 3 Aug 2011, at 22:48, Richard Mortier wrote:
> 
>> http://morepypy.blogspot.com/2011/08/pypy-is-faster-than-c-again-string.html
>> 
>> benefits of dynamic vs static compilation- but seems not unrelated to the 
>> arguments about compiling the entire stack...
>> -- 
>> Cheers,
>> 
>> R.
>> 
>> This message and any attachment are intended solely for the addressee and 
>> may contain confidential information. If you have received this message in 
>> error, please send it back to me, and immediately delete it.   Please do not 
>> use, copy or disclose the information contained in this message or in any 
>> attachment.  Any views or opinions expressed by the author of this email do 
>> not necessarily reflect the views of the University of Nottingham.
>> 
>> This message has been checked for viruses but the contents of an attachment
>> may still contain software viruses which could damage your computer system:
>> you are advised to perform your own checks. Email communications with the
>> University of Nottingham may be monitored as permitted by UK legislation.
> 

-- 
Cheers,

R.