Futuretalk: one small step towards a Chronolinguistics

In the area of linguistics and language teaching, science fiction is useful in very many ways. An obvious way is that it sets up many complex and rich worlds and outlines the sorts of adjustments that language must make in those contexts. It thus draws a strong link between language and context; it shows how the construction of reality is largely a matter of language; and it speculates on where we are linguistically heading. It is a useful mirror on language development. Extrapolating the dialects of the future has been the province of science fiction in the last century. Though few SF writers are professional linguists, their method in general tends to take a holistic view of form, meaning and social context. Characters in science fiction are not individuals but are 'everyman' tokens, and the language they use symbolises the culture they inhabit. Linguistic extrapolation in science fiction thus treats language both as the technology of communication and as an index of social change. In this paper, I argue that predicting the language of the future, though extremely difficult, is possible. I call this new discipline chronolinguistics, and I set out the draft principles and parameters of a chronolinguistics, based on the future languages speculated by John Brunner, Russell Hoban, William Gibson, Greg Bear, Neal Stephenson and Iain M.Banks.

Accurate Step Counting

Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevance to studying both the space and time properties of programs because these can be estimated by counting transitions of the abstract machine and measuring the size of the additional data structures needed, such as environments and stacks. In this article we use this process to derive a function that accurately counts the number of steps required to evaluate expressions in a simple language.