Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

Global gene expression of Prochlorococcus ecotypes in response to changes in nitrogen availability

Nitrogen (N) often limits biological productivity in the oceanic gyres where Prochlorococcus is the most abundant photosynthetic organism. The Prochlorococcus community is composed of strains, such as MED4 and MIT9313, that have different N utilization capabilities and that belong to ecotypes with different depth distributions. An interstrain comparison of how Prochlorococcus responds to changes in ambient nitrogen is thus central to understanding its ecology. We quantified changes in MED4 and MIT9313 global mRNA expression, chlorophyll fluorescence, and photosystem II photochemical efficiency (F(v)/F(m)) along a time series of increasing N starvation. In addition, the global expression of both strains growing in ammonium-replete medium was compared to expression during growth on alternative N sources. There were interstrain similarities in N regulation such as the activation of a putative NtcA regulon during N stress. There were also important differences between the strains such as in the expression patterns of carbon metabolism genes, suggesting that the two strains integrate N and C metabolism in fundamentally different ways

Studying Cat (Felis catus) Diabetes: Beware of the Acromegalic Imposter

Naturally occurring diabetes mellitus (DM) is common in domestic cats (Felis catus). It has been proposed as a model for human Type 2 DM given many shared features. Small case studies demonstrate feline DM also occurs as a result of insulin resistance due to a somatotrophinoma. The current study estimates the prevalence of hypersomatotropism or acromegaly in the largest cohort of diabetic cats to date, evaluates clinical presentation and ease of recognition. Diabetic cats were screened for hypersomatotropism using serum total insulin-like growth factor-1 (IGF-1; radioimmunoassay), followed by further evaluation of a subset of cases with suggestive IGF-1 (>1000 ng/ml) through pituitary imaging and/ or histopathology. Clinicians indicated pre-test suspicion for hypersomatotropism. In total 1221 diabetic cats were screened; 319 (26.1%) demonstrated a serum IGF-1>1000 ng/ml (95% confidence interval: 23.6-28.6%). Of these cats a subset of 63 (20%) underwent pituitary imaging and 56/63 (89%) had a pituitary tumour on computed tomography; an additional three on magnetic resonance imaging and one on necropsy. These data suggest a positive predictive value of serum IGF-1 for hypersomatotropism of 95% (95% confidence interval: 90-100%), thus suggesting the overall hypersomatotropism prevalence among UK diabetic cats to be 24.8% (95% confidence interval: 21.2-28.6%). Only 24% of clinicians indicated a strong pre-test suspicion; most hypersomatotropism cats did not display typical phenotypical acromegaly signs. The current data suggest hypersomatotropism screening should be considered when studying diabetic cats and opportunities exist for comparative acromegaly research, especially in light of the many detected communalities with the human disease

A self-organized model for cell-differentiation based on variations of molecular decay rates

Systemic properties of living cells are the result of molecular dynamics governed by so-called genetic regulatory networks (GRN). These networks capture all possible features of cells and are responsible for the immense levels of adaptation characteristic to living systems. At any point in time only small subsets of these networks are active. Any active subset of the GRN leads to the expression of particular sets of molecules (expression modes). The subsets of active networks change over time, leading to the observed complex dynamics of expression patterns. Understanding of this dynamics becomes increasingly important in systems biology and medicine. While the importance of transcription rates and catalytic interactions has been widely recognized in modeling genetic regulatory systems, the understanding of the role of degradation of biochemical agents (mRNA, protein) in regulatory dynamics remains limited. Recent experimental data suggests that there exists a functional relation between mRNA and protein decay rates and expression modes. In this paper we propose a model for the dynamics of successions of sequences of active subnetworks of the GRN. The model is able to reproduce key characteristics of molecular dynamics, including homeostasis, multi-stability, periodic dynamics, alternating activity, differentiability, and self-organized critical dynamics. Moreover the model allows to naturally understand the mechanism behind the relation between decay rates and expression modes. The model explains recent experimental observations that decay-rates (or turnovers) vary between differentiated tissue-classes at a general systemic level and highlights the role of intracellular decay rate control mechanisms in cell differentiation.Comment: 16 pages, 5 figure

Food Poverty and Christianity in Britain: A Theological Re-assessment

The Christian response to food poverty in Britain has generally been two-fold. Foodbanks have become synonymous with Christianity and exemplify its charitable ethos. However, Christian churches have also called for social justice so that people can buy food in the normal way. Both responses are theologically problematic. The idea of foodbank is borne of a privileged theology that celebrates charitable giving, despite the humiliation it invites on recipients. Although social justice approaches originate in human rights discourse, the location of these rights in food consumerism means that it is equally privileged. Drawing on contextual and liberation theology, as well as ideas from radical orthodoxy, I argue that food poverty is better understood when we assign epistemological privilege to the poor. This leads me to advocate an alternative Christian response to food poverty

Time spent with cats is never wasted: Lessons learned from feline acromegalic cardiomyopathy, a naturally occurring animal model of the human disease

<div><p>Background</p><p>In humans, acromegaly due to a pituitary somatotrophic adenoma is a recognized cause of increased left ventricular (LV) mass. Acromegalic cardiomyopathy is incompletely understood, and represents a major cause of morbidity and mortality. We describe the clinical, echocardiographic and histopathologic features of naturally occurring feline acromegalic cardiomyopathy, an emerging disease among domestic cats.</p><p>Methods</p><p>Cats with confirmed hypersomatotropism (IGF-1>1000ng/ml and pituitary mass; n = 67) were prospectively recruited, as were two control groups: diabetics (IGF-1<800ng/ml; n = 24) and healthy cats without known endocrinopathy or cardiovascular disease (n = 16). Echocardiography was performed in all cases, including after hypersomatotropism treatment where applicable. Additionally, tissue samples from deceased cats with hypersomatotropism, hypertrophic cardiomyopathy and age-matched controls (n = 21 each) were collected and systematically histopathologically reviewed and compared.</p><p>Results</p><p>By echocardiography, cats with hypersomatotropism had a greater maximum LV wall thickness (6.5mm, 4.1–10.1mm) than diabetic (5.9mm, 4.2–9.1mm; Mann Whitney, p<0.001) or control cats (5.2mm, 4.1–6.5mm; Mann Whitney, p<0.001). Left atrial diameter was also greater in cats with hypersomatotropism (16.6mm, 13.0–29.5mm) than in diabetic (15.4mm, 11.2–20.3mm; Mann Whitney, p<0.001) and control cats (14.0mm, 12.6–17.4mm; Mann Whitney, p<0.001). After hypophysectomy and normalization of IGF-1 concentration (n = 20), echocardiographic changes proved mostly reversible. As in humans, histopathology of the feline acromegalic heart was dominated by myocyte hypertrophy with interstitial fibrosis and minimal myofiber disarray.</p><p>Conclusions</p><p>These results demonstrate cats could be considered a naturally occurring model of acromegalic cardiomyopathy, and as such help elucidate mechanisms driving cardiovascular remodeling in this disease.</p></div

Correction: Light intensity physical activity and sedentary behavior in relation to body mass index and grip strength in older adults: Cross-sectional findings from the lifestyle interventions and independence for elders (LIFE) study

[This corrects the article DOI: 10.1371/journal.pone.0116058.]