Re: What language could be written "Matrix"
- From: Pascal Costanza <pc@xxxxxxxxx>
- Date: Fri, 30 Jun 2006 22:24:59 +0200
Aatu Koskensilta wrote:
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.
Movies are always static - once they're finished, they will never be changed again.
A good analogy for a dynamically typed approach is a theater play. There actors and audience can interact, and in some cases of improvisational theater even dramatically change the play on the fly. Of course, you don't get the same guarantees that everyone will see the same play.
Pascal
--
3rd European Lisp Workshop
July 3 - Nantes, France - co-located with ECOOP 2006
http://lisp-ecoop06.bknr.net/
.
- References:
- What language could be written "Matrix"
- From: Foolish Fellows Assotiation
- Re: What language could be written "Matrix"
- From: Aatu Koskensilta
- Re: What language could be written "Matrix"
- From: Pascal Bourguignon
- Re: What language could be written "Matrix"
- From: Aatu Koskensilta
- What language could be written "Matrix"
- Prev by Date: (fix 'defclass) -> DEFKENNY
- Previous by thread: Re: What language could be written "Matrix"
- Next by thread: Re: What language could be written "Matrix"
- Index(es):
Relevant Pages
|
|
