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.

Sobre la traducción fraseológica

En este artículo presentamos un panorama general de la problemática de la traducción de los fraseologismos. La tradicional complejidad asociada a este ámbito traductológico deriva de la propia naturaleza de la significación fraseológica. Por ello, cualquier acercamiento interlingüístico a la fraseología ha de partir de una reflexión previa en torno a cómo las unidades fraseológicas (UF) realizan su función significativa. Como mostramos en este trabajo, los enfoques adoptados en este ámbito hasta ahora no indagan en toda la gama de aspectos que despliega la UF en su comportamiento comunicativo, por lo que la traductología fraseológica muestra la necesidad de una profunda reformulación de sus métodos. Dicha reformulación ha de adoptar, a nuestro juicio, el marco de la pragmática con el fin de dar cuenta del comportamiento fraseológico, tanto en el nivel del significado convencionalizado como el discursivo.

Phraseological features in conversational routines: An integrative model of autonomy

This paper deals with the analysis of routine formulas according to their degree of independence in discourse, with the aim of establishing a gradual line which restructures Sphere III (Corpas 1996, Alvarado 2015) — where phraseological utterances belong. The system developed by Briz and the Val.Es.Co. Group (2003, 2014) will help us segment conversation and check that phraseological utterances show various degrees of independence, both in Peninsular Spanish and in Latin American Spanish, which will make it possible to restructure Sphere III. The methodology utilized corresponds to the phraseological and pragmatic approach, and the examples were extracted from the Corpus de Conversaciones Coloquiales of Briz and the Val.Es.Co. Group (2002), and from the Corpus Preseea (2014).

Independencia y fórmulas rutinarias: Reestructuración de la Esfera III

Este trabajo aborda el análisis de las unidades fraseológicas, en concreto, las fórmulas rutinarias conversacionales, según su grado de independencia, con el fin de reestructurar la Esfera III (Corpas, 1996), en la que se encuentran los enunciados fraseológicos, paremias y fórmulas rutinarias. Para ello, atenderemos al sistema de unidades que propone Briz y el Grupo Val.Es.Co. (Briz & Grupo Val.Es.Co., 2003, 2014) para la segmentación de la conversación. Con este sistema comprobaremos que los enunciados fraseológicos mostrarán diferentes grados y tipos de independencia que permitirán reestructurar la Esfera III. La metodología empleada se corresponde con el enfoque fraseológico y pragmático, y los ejemplos se han extraído del Corpus de conversaciones coloquiales (Briz & Grupo Val.Es.Co., 2002).

The Cyprus Presidency: Pragmatism amid European anxiety. CEPS Commentary, 24 January 2013

Despite several daunting obstacles, the low expectations and the high level of apprehension that accompanied the start of the Cyprus Presidency, Thomas Linders and Steven Blockmans find in a new CEPS Commentary that the small, remote and politically divided island nevertheless succeeded in scoring a number of positive results, thanks in part to the country’s pragmatic approach to the job and the perpetual motion of the EU legislature. As a corrective instrument to big state politics in the EU, however, the role of the Presidency remains limited. This underscores the changed nature of the rotating Presidency of the the Council of the EU since the Lisbon Treaty entered into force. Despite several daunting obstacles, the low expectations and the high level of apprehension that accompanied the start of the Cyprus Presidency, this CEPS Commentary by Thomas Linders and Steven Blockmans expresses surprise that the small, remote and politically divided island succeeded in scoring a number of positive results at all, thanks in part to the country’s pragmatic approach to the job

Syria and the red lines of international law. CEPS Commentary, 4 September 2013

As the US and its allies France and Turkey dither over whether or not to punish Assad for having used sarin gas to kill his own people, the crucial question is: What response might the outside world legally take without the authority of the UN Security Council, which remains blocked by two veto-wielding members, Russia and China? Sadly, international law provides no clear-cut answers to this dilemma. To respond to what US Secretary of State John Kerry has rightly called a “moral obscenity”, this commentary explores ways in which formal interpretations of international law might give way to a more pragmatic approach to punish the Assad regime for its use of chemical weapons.

REACH: A killer whale for SMEs? CEPS Policy Brief No. 307, 9 December 2013

REACH is a very demanding system for any business either large or small, yet right from the start one of the more serious concerns was whether and how SMEs could cope with the Regulation. After all, some 27,600 companies in EU chemistry are SMEs (95% of all firms). Seven years down the line, many of these fears are materialising. Assuming no significant changes are introduced to REACH, this paper suggests the following recommendations: Above all, we strongly encourage SMEs to start early and develop a strategy for REACH compliance well before 2018. Address the potential competition law implications of current SIEF arrangements, e.g. through a Guidance document from DG Competition by 2014 (in time for 2018) Facilitate the exchange of information along the value chain by adopting pragmatic approach to the content and format of Safety Data Sheets. More can be done on the IT front as well, for instance by developing tools that generate compliant Safety Data Sheets. Improve the communication of REACH and its intended goals, that is, the health and environmental benefits, to the wider public. SMEs regret the unawareness of the public in the light of the enormous efforts they have to undertake. In the event of a later review of REACH, the logic should be risk-based rather than hazard-based.

Balancing Cooperation and Competition: A New in Era in U.S.-China Relations

Created as part of the 2016 Jackson School for International Studies SIS 495: Task Force.

Searching for convergence in phylogenetic Markov chain Monte Carlo

Markov chain Monte Carlo (MCMC) is a methodology that is gaining widespread use in the phylogenetics community and is central to phylogenetic software packages such as MrBayes. An important issue for users of MCMC methods is how to select appropriate values for adjustable parameters such as the length of the Markov chain or chains, the sampling density, the proposal mechanism, and, if Metropolis-coupled MCMC is being used, the number of heated chains and their temperatures. Although some parameter settings have been examined in detail in the literature, others are frequently chosen with more regard to computational time or personal experience with other data sets. Such choices may lead to inadequate sampling of tree space or an inefficient use of computational resources. We performed a detailed study of convergence and mixing for 70 randomly selected, putatively orthologous protein sets with different sizes and taxonomic compositions. Replicated runs from multiple random starting points permit a more rigorous assessment of convergence, and we developed two novel statistics, delta and epsilon, for this purpose. Although likelihood values invariably stabilized quickly, adequate sampling of the posterior distribution of tree topologies took considerably longer. Our results suggest that multimodality is common for data sets with 30 or more taxa and that this results in slow convergence and mixing. However, we also found that the pragmatic approach of combining data from several short, replicated runs into a metachain to estimate bipartition posterior probabilities provided good approximations, and that such estimates were no worse in approximating a reference posterior distribution than those obtained using a single long run of the same length as the metachain. Precision appears to be best when heated Markov chains have low temperatures, whereas chains with high temperatures appear to sample trees with high posterior probabilities only rarely. [Bayesian phylogenetic inference; heating parameter; Markov chain Monte Carlo; replicated chains.]

Computer-assisted production scheduling, planning and control in foundries

The present study describes a pragmatic approach to the implementation of production planning and scheduling techniques in foundries of all types and looks at the use of `state-of-the-art' management control and information systems. Following a review of systems for the classification of manufacturing companies, a definitive statement is made which highlights the important differences between foundries (i.e. `component makers') and other manufacturing companies (i.e. `component buyers'). An investigation of the manual procedures which are used to plan and control the manufacture of components reveals the inherent problems facing foundry production management staff, which suggests the unsuitability of many manufacturing techniques which have been applied to general engineering companies. From the literature it was discovered that computer-assisted systems are required which are primarily `information-based' rather than `decision based', whilst the availability of low-cost computers and `packaged-software' has enabled foundries to `get their feet wet' without the financial penalties which characterized many of the early attempts at computer-assistance (i.e. pre-1980). Moreover, no evidence of a single methodology for foundry scheduling emerged from the review. A philosophy for the development of a CAPM system is presented, which details the essential information requirements and puts forward proposals for the subsequent interactions between types of information and the sub-system of CAPM which they support. The work developed was oriented specifically at the functions of production planning and scheduling and introduces the concept of `manual interaction' for effective scheduling. The techniques developed were designed to use the information which is readily available in foundries and were found to be practically successful following the implementation of the techniques into a wide variety of foundries. The limitations of the techniques developed are subsequently discussed within the wider issues which form a CAPM system, prior to a presentation of the conclusions which can be drawn from the study.

Metaphors of identity in dating ads and newspaper articles

This article investigates metaphors of identity in dating ads and in two types of newspaper writing, 'hard' and 'soft' news articles. It focuses on issues of textualization and processing, and particularly on the role of cotext in decoding metaphors. Taking a pragmatic approach founded in the cooperative principle, it argues that the maxims of quality and relation play related but separable roles in the interpretation of identity metaphors; and that this process is guided and constrained by cotextual selections in the environment of the metaphorical term. The particular kinds of cotextual guidance provided by the writer are seen to vary according to genre-driven issues. These include the purpose and stylistic conventions of the genre in which the metaphor occurs and the circumstances under which the text is composed and read. Differing functional motivations are suggested for the use of identity metaphors in each of the genres considered. © Walter de Gruyter 2007.

What do students want most from written feedback information? Distinguishing necessities from luxuries using a budgeting methodology

Feedback is a key concern for higher education practitioners, yet there is little evidence concerning the aspects of assessment feedback information that higher education students prioritise when their lecturers’ time and resources are stretched. One recent study found that in such circumstances, students actually perceive feedback information itself as a luxury rather than a necessity. We first re-examined that finding by asking undergraduates to ‘purchase’ characteristics to create the ideal lecturer, using budgets of differing sizes to distinguish necessities from luxuries. Contrary to the earlier research, students in fact considered good feedback information the single biggest necessity for lecturers to demonstrate. In a second study we used the same method to examine the characteristics of feedback information that students value most. Here, the most important perceived necessity was guidance on improvement of skills. In both studies, students’ priorities were influenced by their individual approaches to learning. These findings permit a more pragmatic approach to building student satisfaction in spite of growing expectations and demands.

Graded Exercise Therapy Guided Self-Help Trial for Patients with Chronic Fatigue Syndrome (GETSET): Protocol for a Randomized Controlled Trial and Interview Study

Background: Chronic fatigue syndrome, also known as myalgic encephalomyelitis (CFS/ME), is characterized by chronic disabling fatigue and other symptoms, which are not explained by an alternative diagnosis. Previous trials have suggested that graded exercise therapy (GET) is an effective and safe treatment. GET itself is therapist-intensive with limited availability. Objective: While guided self-help based on cognitive behavior therapy appears helpful to patients, Guided graded Exercise Self-help (GES) is yet to be tested. Methods: This pragmatic randomized controlled trial is set within 2 specialist CFS/ME services in the South of England. Adults attending secondary care clinics with National Institute for Health and Clinical Excellence (NICE)-defined CFS/ME (N=218) will be randomly allocated to specialist medical care (SMC) or SMC plus GES while on a waiting list for therapist-delivered rehabilitation. GES will consist of a structured booklet describing a 6-step graded exercise program, supported by up to 4 face-to-face/telephone/Skype™ consultations with a GES-trained physiotherapist (no more than 90 minutes in total) over 8 weeks. The primary outcomes at 12-weeks after randomization will be physical function (SF-36 physical functioning subscale) and fatigue (Chalder Fatigue Questionnaire). Secondary outcomes will include healthcare costs, adverse outcomes, and self-rated global impression change scores. We will follow up all participants until 1 year after randomization. We will also undertake qualitative interviews of a sample of participants who received GES, looking at perceptions and experiences of those who improved and worsened. Results: The project was funded in 2011 and enrolment was completed in December 2014, with follow-up completed in March 2016. Data analysis is currently underway and the first results are expected to be submitted soon. Conclusions: This study will indicate whether adding GES to SMC will benefit patients who often spend many months waiting for rehabilitative therapy with little or no improvement being made during that time. The study will indicate whether this type of guided self-management is cost-effective and safe. If this trial shows GES to be acceptable, safe, and comparatively effective, the GES booklet could be made available on the Internet as a practitioner and therapist resource for clinics to recommend, with the caveat that patients also be supported with guidance from a trained physiotherapist. The pragmatic approach in this trial means that GES findings will be generalizable to usual National Health Service (NHS) practice.

Auditoría integrada de Información + Conocimiento: aplicación en un caso de estudio

Se presentan los resultados de la aplicación de una metodología integradora de auditoría de información y conocimiento, llevada a cabo en un Centro de Investigación del Ministerio de Ciencia, Tecnología y Medio Ambiente de la provincia de Holguín, Cuba, conformada por siete etapas con un enfoque híbrido dirigida a revisar la estrategia y la política de gestión de información y conocimiento, identificar e inventariar y mapear los recursos de I+C y sus flujos, y valorar los procesos asociados a su gestión. La alta dirección de este centro, sus especialistas e investigadores manifestaron la efectividad de la metodología aplicada cuyos resultados propiciaron reajustar la proyección estratégica en relación con la gestión de la I+C, rediseñar los flujos informativos de los procesos claves, disponer de un directorio de sus expertos por áreas y planificar el futuro aprendizaje y desarrollo profesional.

Linguas en contacto na escrita electrónica galega

La escritura electrónica es en la actualidad una modalidad gráfica de gran éxito que en los últimos años comenzó a ser albo de diversas investigaciones lingüísticas. Sin embargo, un análisis exclusivamente gramatical, desvinculado del medio social en el que se utiliza, parece insuficiente para entender un fenómeno de tal complejidad. Consecuentemente, analizamos sus características en base a los condicionamientos sociolingüísticos presentes en el caso gallego. Así, examinamos las implicaciones de la situación de contacto y conflicto lingüístico entre el gallego y el español, señalamos las motivaciones de la alternancia de código y de las interferencias lingüísticas –que no siempre coinciden con las que operan en la lengua común- y observamos que estas prácticas son consecuencia de la confluencia de factores sociolingüísticos con otros de naturaleza pragmática.