<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>furthermore I believe is more challenging to defeat the other languages, but can you create the scenario, nobody will create it instead the own one creates for them. For instance how can you beat C++ in a 64 KB ram machine, I think is doable, this techniques have been applied and are doable in retrospective many years ago (think pdp-11 era) many of this were solved, but this piece of history was to do it once more nearer, unfortunately, this ideas came to nothing in current jobs market, which is under well understood, far more technical issues were solved and applied before, nowadays, this things come in webminars, where what is the idea behind that, to design solutions you don't have to do. It's just to solve the problem of half less memory with less than that, it might become available a superfaster computer substantially cheaper to buy, I think
the last is the reality, very crude, this is a free-software lesson, you can co-create your own sector market research if it's well understood, if not go and make them happy shipping cheaper computers (meanwhile your problems aren't solved at all, you just buy it, now what)<br>Thanks in advance<br><br>--- El <b>mar, 5/7/11, felipe valdez <i><felipevaldez@gmail.com></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: felipe valdez <felipevaldez@gmail.com><br>Asunto: Re: [M3devel] Google Benchmark - anyone interested in an Modula 3 version?<br>Para: "Daniel Alejandro Benavides D." <dabenavidesd@yahoo.es><br>Fecha: martes, 5 de julio, 2011 10:28<br><br><div id="yiv1176980916"><font face="courier new,monospace">such as, getting, a job, for instance...<br></font><div><font class="yiv1176980916Apple-style-span" face="'courier new',
monospace"><br></font></div><div><font class="yiv1176980916Apple-style-span" face="'courier new', monospace"><br>
</font><div class="yiv1176980916gmail_quote">On Tue, Jul 5, 2011 at 10:28 AM, felipe valdez <span dir="ltr"><<a rel="nofollow" ymailto="mailto:felipevaldez@gmail.com" target="_blank" href="/mc/compose?to=felipevaldez@gmail.com">felipevaldez@gmail.com</a>></span> wrote:<br><blockquote class="yiv1176980916gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<font face="courier new,monospace">so, if I understand correctly that would solve type inference, compiler speed, jvm code generation, equations in general, and constraint systems?<br></font><div><font face="'courier new', monospace"><br>
</font></div><div><font face="'courier new', monospace">sounds like too much to take try at once.<br></font></div><div><font face="'courier new', monospace"><br>
</font></div><div><font face="'courier new', monospace">why not just focusing one one particular problem?</font></div><div><font face="'courier new', monospace"><br>
</font></div><div><font face="'courier new', monospace">how would resources be obtain in order to solve this problem (people-wise) ?</font></div><div><font face="'courier new', monospace"><br>
</font></div><div><font face="'courier new', monospace">or do you intend to do so all by yourself, in your spare time?</font></div><div><font face="'courier new', monospace"><br>
</font></div><div><font face="'courier new', monospace">I had the Idea that there were more pressing issues at hand...</font></div><div><div></div><div class="yiv1176980916h5"><div><font face="'courier new', monospace"><br>
</font></div><div><div class="yiv1176980916gmail_quote"><br></div><div class="yiv1176980916gmail_quote"><br></div><div class="yiv1176980916gmail_quote">On Tue, Jul 5, 2011 at 8:30 AM, Daniel Alejandro Benavides D. <span dir="ltr"><<a rel="nofollow" ymailto="mailto:dabenavidesd@yahoo.es" target="_blank" href="/mc/compose?to=dabenavidesd@yahoo.es">dabenavidesd@yahoo.es</a>></span> wrote:<br>
<blockquote class="yiv1176980916gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><table border="0" cellpadding="0" cellspacing="0"><tbody><tr><td style="font-family: inherit; font-style: inherit; font-variant: inherit; font-weight: inherit; font-size: inherit; line-height: inherit; font-size-adjust: inherit; font-stretch: inherit;" valign="top">Hi all:<br>Additional understanding of seminal work might be some clues of what is about concurrent and distributed compilations, naturally, the case might be solved for those platforms but for the rest of the world, it would mean the execution time is perfect or reasonable in terms of theoretical performance. So the idea behind this is in those cases where the system needs to be expanded but it's also slower the ability to rule out RT penalties, now, when it comes to JIT, it's also true the performance might be overwhelming, but still the most difficult
part is to type check, since majority of work has been done in theoretical grounds, there must be the case for the type-theoretical analysis of the system to try to close the gap between the acceptable and what it isn't, e.g we can't afford to have such large compilations on real-time but perhaps a balance
between both performance and language capabilities, then it follows than not all the cases are so high degraded performance, but the cases where the idea is to diminish burden between the expected versus the actual implementation such as smaller footprint (traditionally hardware assisted interpretation, etc), but again if such resources are still limited then a shorter route might be the performance profiling with back end optimization, which is the harder to do since the burden could be too high but still the only route that might be taken, as for what I know, here are some cases you can have that, the most advanced perhaps is converting the type inference in a constraint satisfaction problem, which might solve it faster if enough information is given.<br>
Similar approaches have been realized for Java systems, using Millner Calculus type system as a bases for an OO system<br>Now, I'm cautious because we then really might need measure and tuning of
Constraint solver in the terms needed, which is possible to some extent, still this are very dynamic situations, but could be improve somehow the issue here.<br><a rel="nofollow" target="_blank" href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.1739">http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.1739</a><br>
<br>Such works like this can be applied to other domains, like equational reasoning for instance (see below p 10):<br><a rel="nofollow" target="_blank" href="http://www.collectionscanada.gc.ca/obj/s4/f2/dsk2/tape16/PQDD_0009/NQ28028.pdf">http://www.collectionscanada.gc.ca/obj/s4/f2/dsk2/tape16/PQDD_0009/NQ28028.pdf</a><br>
<br>Thanks in advance<br><br>--- El <b>lun, 4/7/11, felipe valdez <i><<a rel="nofollow" ymailto="mailto:felipevaldez@gmail.com" target="_blank" href="/mc/compose?to=felipevaldez@gmail.com">felipevaldez@gmail.com</a>></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;">
<div><br>De: felipe valdez <<a rel="nofollow" ymailto="mailto:felipevaldez@gmail.com" target="_blank" href="/mc/compose?to=felipevaldez@gmail.com">felipevaldez@gmail.com</a>><br>Asunto: Re: [M3devel] Google Benchmark - anyone interested in an Modula 3 version?<br>Para: "Daniel Alejandro Benavides D." <<a rel="nofollow" ymailto="mailto:dabenavidesd@yahoo.es" target="_blank" href="/mc/compose?to=dabenavidesd@yahoo.es">dabenavidesd@yahoo.es</a>><br>
</div>Fecha: lunes, 4 de julio, 2011 21:53<div><div></div><div><br><br><div><font face="courier new,monospace">I
don't understand the message.<br></font><div><font face="'courier new', monospace"><br></font><div>On Sun, Jul 3, 2011 at 8:51 PM, Daniel Alejandro Benavides D. <span dir="ltr"><<a rel="nofollow" target="_blank" href="http://mc/compose?to=dabenavidesd@yahoo.es">dabenavidesd@yahoo.es</a>></span> wrote:<br>
<blockquote style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><table border="0" cellpadding="0" cellspacing="0"><tbody><tr><td style="font-family: inherit; font-style: inherit; font-variant: inherit; font-weight: inherit; font-size: inherit; line-height: inherit; font-size-adjust: inherit; font-stretch: inherit;" valign="top">
<div>Hi all:<br>
it
would mean to compete in such a way in a super computer an alternative
to run without garbage collection (not unsafe but ESC/Modula-3 RTError
and RTCollector disabled but for safe automatically collected objects,
again if we are strictly speaking of a naive implementation algorithm,
if parallelization is allowed under recursive or nested paradigms we
are set to compete too but not absolutely).<br></div>I mean, given the effort
they took to run the compiler and tune it for other languages and would
get same compiler effort plus ESC modelling to subsume the collector
for perhaps dynamic scripting like say e.g Obliq, we don't want to
compete with Obliq, but if we do I guess we can't compile JIT it since
all RT structures are interpreted not plain executed, so perhaps this
would be the logic ideal competence (again the type inference could
save us some time but dynamic typing is another thing, it must run its
structures dynamically even without those checks the code is not just
plain executed, if so, then maybe the main and ideal platform would be
again super computers anyway).<br>If there is such possibility, also we would potentially execute several tests for running smoothly, such as performance penalty run for the given platform (lets say the debugger is able to give you such tests if so)<div>
<br>Let me know if other requirements implications are something of relevance here.. Thanks in advance<br><br>--- El <b>sáb, 2/7/11, felipe valdez <i><<a rel="nofollow" target="_blank" href="http://mc/compose?to=felipevaldez@gmail.com">felipevaldez@gmail.com</a>></i></b> escribió:<br>
</div><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><div><br>De: felipe valdez <<a rel="nofollow" target="_blank" href="http://mc/compose?to=felipevaldez@gmail.com">felipevaldez@gmail.com</a>><br>
Asunto: Re: [M3devel] Google Benchmark - anyone interested in an Modula 3 version?<br>Para: "Daniel Alejandro Benavides D." <<a rel="nofollow" target="_blank" href="http://mc/compose?to=dabenavidesd@yahoo.es">dabenavidesd@yahoo.es</a>><br>
Fecha: sábado, 2 de julio, 2011 13:54<br><br></div><div><div></div><div><div><font face="courier new,monospace"><span style="border-collapse: collapse; font-family: arial,sans-serif; font-size: 13px;">s/doing/making/ this available </span><br>
</font><br><div>
On Fri, Jul 1, 2011 at 7:22 PM, Daniel Alejandro Benavides D. <span dir="ltr"><<a rel="nofollow" target="_blank" href="http://mc/compose?to=dabenavidesd@yahoo.es">dabenavidesd@yahoo.es</a>></span> wrote:<br><blockquote style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi all:<br>
<br>
Indeed there is one besides here:<br>
<a rel="nofollow" target="_blank" href="http://www.hackernewsers.com/users/mhd.html">http://www.hackernewsers.com/users/mhd.html</a><br>
<br>
<a rel="nofollow" target="_blank" href="http://news.ycombinator.com/item?id=2615096">http://news.ycombinator.com/item?id=2615096</a><br>
<br>
<a rel="nofollow" target="_blank" href="http://news.ycombinator.com/item?id=2615599">http://news.ycombinator.com/item?id=2615599</a><br>
<br>
I think there should be something like that, is certainly a good initiative, still I don't know the rules (or other's rules) to apply for a submission, the requirements, and what will give us.<br>
<br>
For one thing I knew the programming marathon in my undergraduate with and there was one of such interesting (for me I can say) contest system on-line, the obvious problem of that platform was there were just some languages available (one sent code, in my case C to server side and got results relatively quick on screen), but I liked the spirit it was for an Algorithms project and we had some categories (so everybody was working very hard to get the best results which I don't criticize at least in one, I did get a good timing but with a very simple program, I mean in loc). It was Valladolid UVA system.<br>
<br>
As we have some native and gcc-based backend (in gcc lang, e.g another front end, but low-level, there is another one based on Scale in Java) I guess you would have to have access to that, or us to offer a cm3-ide instance open to you so you can compile it, I would like compile time optimizations (that is not updated in the cm3 source tree), but not so much back-end or linker enabled optimization (just if they are not possible in compile time, but just for that reason), I mean aggressive optimization where code doesn't do what it needs to do is suspicious in my way of thinking (but maybe this is too much burden, even for Modula-3 is a lot of work to configure anyway this).<br>
<br>
Ok, let me know, the important info, and if a public instance of the compiler is needed I can provide one, but my hardware options are not too open (we could compete with some retro supercomputers, but this could slower things down for us, I mean, if more platforms are needed we can make an arrangement, I'm sure there should be people open to do that, if there is such wide interest to do so in contest organizer, etc end, maybe even gcc hackers as well).<br>
<br>
Thanks everybody for doing this available and tell us please that for us on how to do that, thanks in advance<br>
<br>
<br>
<br>
<br>
--- El vie, 1/7/11, Michael Franz <<a rel="nofollow" target="_blank" href="http://mc/compose?to=mvfranz@gmail.com">mvfranz@gmail.com</a>> escribió:<br>
<br>
> De: Michael Franz <<a rel="nofollow" target="_blank" href="http://mc/compose?to=mvfranz@gmail.com">mvfranz@gmail.com</a>><br>
> Asunto: [M3devel] Google Benchmark - anyone interested in an Modula 3 version?<br>
> Para: "m3devel" <<a rel="nofollow" target="_blank" href="http://mc/compose?to=m3devel@elegosoft.com">m3devel@elegosoft.com</a>><br>
> Fecha: viernes, 1 de julio, 2011 16:41<br>
<div><div></div><div>> Hi,<br>
><br>
> A co-worker pointed out this benchmark<br>
> <a rel="nofollow" target="_blank" href="http://www.readwriteweb.com/hack/2011/06/cpp-go-java-scala-performance-benchmark.php">http://www.readwriteweb.com/hack/2011/06/cpp-go-java-scala-performance-benchmark.php</a><br>
> . I use Scala at work, and have used Java for years.<br>
> I would be<br>
> interested in the outcome of Modula 3 port.<br>
> Unfortunately I don't<br>
> have enough experience with M3 to do it myself (guess it<br>
> could be a<br>
> learning experience, but then I can complain about a lack<br>
> of time).<br>
><br>
> I also follow the development of D and there is a port<br>
> going on in<br>
> their community.<br>
> <a rel="nofollow" target="_blank" href="http://www.digitalmars.com/d/archives/digitalmars/D/Port_a_benchmark_to_D_137420.html">http://www.digitalmars.com/d/archives/digitalmars/D/Port_a_benchmark_to_D_137420.html</a><br>
><br>
><br>
> Michael<br>
><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br><a rel="nofollow">312-444-2124</a><div>Skype: f3l.headhunter</div><div>Casa: 8043901</div><div><br></div><div><br>
</div><br>
</div></div></div></blockquote></td></tr></tbody></table></blockquote></div><br><br clear="all"><br>-- <br><a rel="nofollow">312-444-2124</a><div>Skype: f3l.headhunter</div><div>
Casa: 8043901</div><div><br></div><div><br></div><br>
</div>
</div></div></div></blockquote></td></tr></tbody></table></blockquote></div><br><br clear="all"><br>-- <br><a rel="nofollow">312-444-2124</a><div>Skype: f3l.headhunter</div><div>
Casa: 8043901</div><div><br></div><div><br></div><br>
</div>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>312-444-2124<div>Skype: f3l.headhunter</div><div>Casa: 8043901</div><div><br></div><div><br></div><br>
</div>
</div></blockquote></td></tr></table>