Re: What language could be written "Matrix"

Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx> writes:

Foolish Fellows Assotiation wrote:
Do you think the matrix could be written in lisp?

Unfortunately the movie industry has made very little real progress in
adopting formal methods, and movie scripts are often written in
vaguely specified and ambiguous languages, instead of a formalized
language with a mathematically defined semantics as would be
optimal. There are also spurious complaints about dialogue being
difficult for humans to understand if presented in prefix
notation. Hopefully in a few decades we will begin to see more and
more movies based on a sound mathematical and theoretical foundation.

You can't complain, there are a number of movies that are quite
formally specified:

Toy Story
The Incredible
Finding nemo
Monsters Inc
For the Birds
Cars
etc.

--
__Pascal Bourguignon__ http://www.informatimago.com/

PLEASE NOTE: Some quantum physics theories suggest that when the
consumer is not directly observing this product, it may cease to
exist or will exist only in a vague and undetermined state.
.

Relevant Pages

  • Re: What language could be written "Matrix"
    ... Unfortunately the movie industry has made very little real progress in adopting formal methods, and movie scripts are often written in vaguely specified and ambiguous languages, instead of a formalized language with a mathematically defined semantics as would be optimal. ...
    (comp.lang.lisp)
  • [OT] Re: What language could be written "Matrix"
    ... adopting formal methods, and movie scripts are often written in vaguely ...
    (comp.lang.lisp)
  • Re: Terror and Demons
    ... Try getting a life, then we'll see if you can hold an intelligent ... discussion about the movie "The Gathering". ... people like to play act characters and whole movie scripts of movies, ...
    (sci.psychology.psychotherapy)
  • Re: The Iraq war movie: Military hopes to shape genre
    ... lined with movie posters chronicling conflicts real and imagined, ... movies should get Army help. ... BTW IMHO confidential seems to me enough for movie scripts, ...
    (sci.military.naval)