On 2012-05-25 10:53, Russel Winder wrote:
> On Fri, 2012-05-25 at 10:43 +0200, Jacob Carlborg wrote:
> [...]
>> I don't know about Nimrod but in Ruby and I assume in other languages
>> like JavaScript, PHP and similar, the order of declarations only matters
>> at top level. Example in Ruby:
>
> Surely with dynamic languages like Python, Ruby, Groovy etc. declaration
> order is irrelevant, it is execution order that matters.  Your example
> holds but only by following what execution happens not what the compiler
> does.

I suspected that. Can't the compiler do something similar?


-- 
/Jacob Carlborg

On Fri, 2012-05-25 at 11:47 +0200, Jacob Carlborg wrote:
> On 2012-05-25 10:53, Russel Winder wrote:
> > On Fri, 2012-05-25 at 10:43 +0200, Jacob Carlborg wrote: [...]
> >> I don't know about Nimrod but in Ruby and I assume in other languages like JavaScript, PHP and similar, the order of declarations only matters at top level. Example in Ruby:
> >
> > Surely with dynamic languages like Python, Ruby, Groovy etc. declaration order is irrelevant, it is execution order that matters.  Your example holds but only by following what execution happens not what the compiler does.
> 
> I suspected that. Can't the compiler do something similar?

No. Dynamic languages, well ones like Python, Ruby, Groovy, and Lisp anyway,  all have a runtime MOP which means there is nothing that a compiler can deduce or infer.

Show me a statically typed program where the compiler infers things and I'll show how the same program can mean whatever you want it to mean in a dynamic language :-)

This is at the core of why people working with dynamic languages obsess about unit and system testing and effective test coverage.

-- 
Russel. ============================================================================= Dr Russel Winder      t: +44 20 7585 2200   voip: sip:russel.winder@ekiga.net 41 Buckmaster Road    m: +44 7770 465 077   xmpp: russel@winder.org.uk London SW11 1EN, UK   w: www.russel.org.uk  skype: russel_winder

On 2012-05-25 12:30, Russel Winder wrote:

> Show me a statically typed program where the compiler infers things and
> I'll show how the same program can mean whatever you want it to mean in
> a dynamic language :-)

auto a = 3; // a is inferred as int :)

-- 
/Jacob Carlborg

On 2011-01-02 07:46, bearophile wrote:
> Andrei:
>
>> My fantasy: bearophile goes to the Nimrod forum and says "Hey, how about
>> this D language, seems interesting..." :o)
>
> That fantasy of yours means that I am interested in using my time to explain to Nimrod developers what's good in D, what may be modified or improved, to steal some of the good ideas of the D language for the development and spreading of Nimrod :-)
>
> Bye,
> bearophile

From http://force7.de/nimrod/index.html

"Whole program dead code elimination: Only used functions are included in the executable."

So if my application doesn't have any output I won't get an executable when I compile it :)

-- 
/Jacob Carlborg

On Friday, 25 May 2012 at 11:31:13 UTC, Jacob Carlborg wrote:
> On 2011-01-02 07:46, bearophile wrote:
>> Andrei:
>>
>>> My fantasy: bearophile goes to the Nimrod forum and says "Hey, how about
>>> this D language, seems interesting..." :o)
>>
>> That fantasy of yours means that I am interested in using my time to explain to Nimrod developers what's good in D, what may be modified or improved, to steal some of the good ideas of the D language for the development and spreading of Nimrod :-)
>>
>> Bye,
>> bearophile
>
> From http://force7.de/nimrod/index.html
>
> "Whole program dead code elimination: Only used functions are included in the executable."
>
> So if my application doesn't have any output I won't get an executable when I compile it :)

You will, you can compile an empty .nim file and you still get an executable.

BTW http://nimrod-code.org/ is the new Nimrod website, the one you linked to is long outdated.

On Fri, 2012-05-25 at 13:26 +0200, Jacob Carlborg wrote:
> On 2012-05-25 12:30, Russel Winder wrote:
> 
> > Show me a statically typed program where the compiler infers things and I'll show how the same program can mean whatever you want it to mean in a dynamic language :-)
> 
> auto a = 3; // a is inferred as int :)

What (keep it small :-) do you want this to do in, say, Groovy?

-- 
Russel. ============================================================================= Dr Russel Winder      t: +44 20 7585 2200   voip: sip:russel.winder@ekiga.net 41 Buckmaster Road    m: +44 7770 465 077   xmpp: russel@winder.org.uk London SW11 1EN, UK   w: www.russel.org.uk  skype: russel_winder

On Friday, 25 May 2012 at 00:46:34 UTC, Walter Bright wrote:
>
> Nice to see you here! Welcome!

Thank you. Let's see how long I will stay. ;-)

On Friday, 25 May 2012 at 05:18:09 UTC, Jérôme M. Berger wrote:
> Araq wrote:
> 	One D feature I'm really missing in Nimrod is the
> scope(exit/success/failure) statement. Other than that, I tend to
> prefer Nimrod (easier syntax, better choice of names...)
>
> 		Jerome


Indeed this is a nice feature to copy. It is, however, possible to implement as a macro.

Am Fri, 25 May 2012 14:04:58 +0200
schrieb "dom96" <morfeusz8@gmail.com>:

> BTW http://nimrod-code.org/ is the new Nimrod website, the one you linked to is long outdated.

So you have that problem, too? :) I was wondering already since the forum looked a bit abandoned. You should redirect or place a prominent link on the old page.

-- 
Marco

On Friday, 25 May 2012 at 13:38:38 UTC, Russel Winder wrote:
> What (keep it small :-) do you want this to do in, say, Groovy?

"Bring out nasal demons" :-)