[Flightgear-devel] New nasal features coming

2004-12-07 Thread Andy Ross
Some people may notice that I just announced a new Nasal version on Freshmeat.net today. This release includes support for the oft-requested recursive contexts feature. It uses it internally to implement call() (a functional programming gadget that most people don't care about) and eval()

Re: [Flightgear-devel] New nasal features coming

2004-12-07 Thread Martin Spott
Andy Ross wrote: Eventually, it will also make possible recursive nasal invocations in FlightGear (i.e. scripts that fire command bindings that are themselves scripts) [...] Ah, I know this sort of feature. We call it recursive loop :-)) Martin. -- Unix _IS_ user friendly - it's just

Re: [Flightgear-devel] New nasal features coming

2004-12-07 Thread Curtis L. Olson
Martin Spott wrote: Andy Ross wrote: Eventually, it will also make possible recursive nasal invocations in FlightGear (i.e. scripts that fire command bindings that are themselves scripts) [...] Ah, I know this sort of feature. We call it recursive loop :-)) Finally, I get to realize my

Re: [Flightgear-devel] New nasal features coming

2004-12-07 Thread Andy Ross
Curtis L. Olson wrote: Finally, I get to realize my dream of re-implimenting all FG algorithms using recursion. Not to ruin the joke, but you could do that already. Nasal has always been a fully functional language, with recursion, lexical closures and anonymous lambda expressions. :) This

Re: [Flightgear-devel] New nasal features coming

2004-12-07 Thread Christian Mayer
Andy Ross schrieb: Curtis L. Olson wrote: Finally, I get to realize my dream of re-implimenting all FG algorithms using recursion. Not to ruin the joke, but you could do that already. Nasal has always been a fully functional language, with recursion, lexical closures and anonymous lambda

Re: [Flightgear-devel] New nasal features coming

2004-12-07 Thread Curtis L. Olson
Christian Mayer wrote: We should recode FGFS functional then. Then I can proofe that that I'll never crash a plane! :) In one of my classes at school, we played around a little bit with the idea of proving mathematically that an algorithm was correct. Hard, mind bending stuff, but fascinating.