Re: What language could be written "Matrix"

Pascal Bourguignon wrote:
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.

Unfortunately the scripts of these movies were probably written in a language with no formally specified semantics. This makes correctness proofs virtually impossible, for example, even though mathematically sound methods were used at some point of the implementation process. I wonder if the Lisp society has tried to address this shortcoming, or whether some statically typed language would be better suited for writing movie scripts.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages

  • Re: What language could be written "Matrix"
    ... Unfortunately the scripts of these movies were probably written in a language with no formally specified semantics. ... I wonder if the Lisp society has tried to address this shortcoming, or whether some statically typed language would be better suited for writing movie scripts. ... There actors and audience can interact, and in some cases of improvisational theater even dramatically change the play on the fly. ...
    (comp.lang.lisp)
  • Re: What language could be written "Matrix"
    ... Unfortunately the scripts of these movies were probably written in a language with no formally specified semantics. ... I wonder if the Lisp society has tried to address this shortcoming, or whether some statically typed language would be better suited for writing movie scripts. ... Well, the dialog within the scripts may or may not have formal semantics, depending on how much you believe in Chomsky's theories. ...
    (comp.lang.lisp)
  • Re: new here, my lang project...
    ... void bar(); ... >>repair for scripts vs. C code, I'll bet you will find that proportional to ... Originally we used a custom language for the program because we thought ... > ability to know args count and types, along with the return type would be ...
    (comp.object)
  • Re: DNA and Information
    ... the end result is that they are reused in different and confusing ways. ... please do not confuse C with computer science. ... arguing philosophy you really must use the language of philosophy. ... A few books, some old television, a few movies and you're set: ...
    (talk.origins)
  • Re: case sensitivity
    ... All this shows is that case insensitivity cannot be sensibly generalized. ... Partial case insensitivity makes processing this irregular language with scripts difficult. ... Of course hard-core devotees of a long-obsolete approach to Forth would never process Forth code with a different scripting language. ... I see no reason to pretend that there are no other languages in the universe Forth operates in. ...
    (comp.lang.forth)