Re: Re: Pragmatic Requirements Summary : update

> On Tue, 5 Aug 2003, Aryeh M. Friedman wrote:
> 
> > 	Introspection/reflection/whatever is looking at the metadata for
> > the code not the code it self... I think a brian storming session
>                              I'm flattered   ^^^^^
> > tonight should resolve much of this (at least at the philosphical if
> > not "praticle" level [in the case of language design there is not much
> > difference]).
> 
> I'd have two concerns with generated code (like LISP):
> 
> 1) Performance.  Run time translation and hotspot optimization help- but 
> run time optimization is even better when combined with compile-time 
> optimization.  Take a look at HP's Dynamo project for information about 
> this.

	I think if the questions are framed right there is no tradeoff.
My general feeling on most topics of this nature is if there is tradeoff
you need to make that does not have an obvious balance point you never
asked the right questions.

> 2) Correctness.  How can you be sure for all inputs that the code 
> generated is correct?

	This flows from a clean design.

> As a side note, I'd take a look at type inference before abandoning 
> compile time strict type checkings.  I describe it as all the benefits of 
> strict type checking without the bondage and discipline aspects.

	We are dealing with a totally different set of questions right
now but we will keep this in mind defently, it may not be an issue
regardless of if we go strong or weak typing (namely typing it self
might not be an issue).

	--Aryeh

------------------------ Yahoo! Groups Sponsor ---------------------~-->
Buy Ink Cartridges or Refill Kits for Your HP, Epson, Canon or Lexmark
Printer at Myinks.com. Free s/h on orders $50 or more to the US & Canada. http://www.c1tracking.com/l.asp?cid=5511
http://us.click.yahoo.com/sO0ANB/LIdGAA/ySSFAA/W4wwlB/TM
---------------------------------------------------------------------~->

To unsubscribe from this group, send an email to:
pragmatic_lang-unsubscribe-hHKSG33TihhbjbujkaE4pw@public.gmane.org

 

Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/