Practical, Pluggable Types for a Dynamic Language

Most languages fall into one of two camps: either they adopt a unique, static type system, or they abandon static type-checks for run-time checks. Pluggable types blur this division by (i) making static type systems optional, and (ii) supporting a choice of type systems for reasoning about different kinds of static properties. Dynamic languages can then benefit from static-checking without sacrificing dynamic features or committing to a unique, static type system. But the overhead of adopting pluggable types can be very high, especially if all existing code must be decorated with type annotations before any type-checking can be performed. We propose a practical and pragmatic approach to introduce pluggable type systems to dynamic languages. First of all, only annotated code is type-checked. Second, limited type inference is performed on unannotated code to reduce the number of reported errors. Finally, external annotations can be used to type third-party code. We present Typeplug, a Smalltalk implementation of our framework, and report on experience applying the framework to three different pluggable type systems.

Retirement as a “language related major life event” and its consequences on the multilingualism of migrants

The present study investigates life stories of established Italian workforce migrants living in the city of Berne, Switzerland, in regard to “language related major life events” (De Bot, 2007). These events are important in terms of changes happening in the linguistic setting during the life span and influence language development. In this sense, during the process of retirement, a new phase of life begins, which, amongst other things, has to be reorganized in relation to social contact and language use. One of my main questions is how the subjects handle the changes happening within and after the process of retirement in respect to the use of different languages and how this “language related major life event” is constructed and described by the migrants. One of these changes happens due to the fact that, after retirement, the social network at the workplace (the primary source of language input) can get (partially) lost and with it, the use of the local language. The fact that migrants living in Berne are confronted with diglossia (Standard German and Swissgerman), that the Canton of Berne is bilingual (German and French) and that the migrants' mother tongue (Italian) is one of the Swiss national languages, makes this question even more interesting. A second question will consider the influence of the fact that most of the subjects in question lived with the idea of return migration, but as shown in a previous study (Alter/Vieillesse/Anziani, NFP 32, 1999), only a third returned back while another third remained in the host country and the final third chose the commuting option. I will first examine these processes, changes and influences by using quantitative questionnaires in order to obtain general information on demographic data, the social situation, and a self-assessment of linguistic skills. Secondly, I will use qualitative interviews to get in-depth information of the subjects’ life stories and language biographies. The results of this project are meant to deliver insight into different aspects that have not been looked at in detail to this point: which factors of the life stories of Italian workforce migrants, who decided to remain in Switzerland after retirement, influence the linguistic changes in general and the ones happening around retirement in particular.