[M3devel] JIT [WAS: Google Benchmark - anyone interested in an Modula 3 version?]

[Daniel Alejandro Benavides D.]

Hi all:
yes, in that domain yes, but in the many ways of solving a problem, computers have a rather limited extent, therefore you can't expect such facilities, but for things like automating algorithm comprehension, this is a task of algorithmic learning.
A way of this ahs been proposed for a constraint language (e.g Juno),:
http://books.google.com/books?id=m-BQAAAAMAAJ&q=juno+algorithmic+learning&dq=juno+algorithmic+learning&hl=en&ei=R1oTTqStJ-Tg0QHf0sTHDg&sa=X&oi=book_result&ct=result&resnum=1&ved=0CCkQ6AEwAA
 
Well that said, the idea behind of this is how to optimize the program, but to define a good type system implementable is important too, is good to have many kernel for doing that. Abadi-Cardelli is a good one, but certainly not the only one, Abadi Baby Modula-3 is yet another one, I can't understand, it should be be in the Modula-3 research reports, or in the bibliography, I will see, how about that.

Thanks in advance

--- El mar, 5/7/11, Hendrik Boom <hendrik at topoi.pooq.com> escribió:

> De: Hendrik Boom <hendrik at topoi.pooq.com>
> Asunto: Re: [M3devel] JIT [WAS: Google Benchmark - anyone interested in an Modula 3 version?]
> Para: m3devel at elegosoft.com
> Fecha: martes, 5 de julio, 2011 12:34
> On Tue, Jul 05, 2011 at 12:08:07PM
> -0500, felipe valdez wrote:
> > On Tue, Jul 5, 2011 at 11:50 AM, Hendrik Boom <hendrik at topoi.pooq.com>wrote:
> > 
> > > Ideally, the computer should do about the same
> amount of type
> > > inferencing that a human reader would easily do
> when reading
> > > the program.  Note that I said "reader", not
> "writer".
> > >
> > >
> > but how far are we from this Ideal, really?
> > can these rules be automated?
> 
> The hard part here is figuring out what human readers can
> do.  It's 
> important to match the human reader and not to go beyond
> his abilities.  
> Because then the writer (who will probably understand his
> program bettr 
> than a reader) will get feedback from his type-checker when
> the code 
> gets too obscure for a reader.
> 
> -- hendrik
>