Elephant is a glimpse at how programming languages will behave in the future. The more we know about where we are going, the better prepared for it we will be.
Elephant programs are faithful 100 percent.
They never forget
"Passenger has a reservation - compiler makes the db or array"
"Does the passenger have a reservation?"
They interact with other persons
"You have a reservation on flight UA 522 today at 7:35 pm"
This speech act, if authorized, creates an obligation
Features-
Communication inputs and outputs are meaningful speech acts.
A promise will be expressed by a string of symbols, but the meaning is semantics is a promise, not a string.
Correctness of a program is partially defined in terms of performance of speech acts.
We can look at programs to have beliefs. A thermostat can believe it is too cold, too hot, or OK. It does not have a consciousness, but it does have beliefs.
Programs can be represented as sentences of logic.
They interact non-trivially with the outside world. They have input/output AND accomplishment specifications.
A program can have internal promises.
ABRUPT END
The speaker was cut off, we will need to look into Elephant on our own.
No comments:
Post a Comment