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

Experience of sleep disruption in primary Sjögren’s syndrome: A focus group study

Introduction: Primary Sjögren’s syndrome is the third most common systemic autoimmune rheumatic disease, following rheumatoid arthritis and systemic lupus erythematosus, and results in dryness, fatigue, discomfort and sleep disturbances. Sleep is relatively unexplored in primary Sjögren’s syndrome. We investigated the experiences of sleep disturbances from the viewpoint of primary Sjögren’s syndrome patients and their partners and explored the acceptability of cognitive behavioural therapy for insomnia. Method: We used focus groups to collect qualitative data from 10 patients with primary Sjögren’s syndrome and three partners of patients. The data were recorded, transcribed verbatim and analysed using thematic analysis. Results: Five themes emerged from the data: (a) Experience of sleep disturbances; (b) variation and inconsistency in sleep disturbances; (c) the domino effect of primary Sjögren’s syndrome symptoms; (d) strategies to manage sleep; (e) acceptability of evidence-based techniques. Sleep disturbances were problematic for all patients, but specific disturbances varied between participants. These included prolonged sleep onset time and frequent night awakenings and were aggravated by pain and discomfort. Patients deployed a range of strategies to try and self-manage. Cognitive behavioural therapy for insomnia was seen as an acceptable intervention, as long as a rationale for its use is given and it is tailored for primary Sjögren’s syndrome. Conclusion: Primary Sjögren’s syndrome patients described a range of sleep disturbances. Applying tailored, evidence-based sleep therapy interventions may improve sleep, severity of other primary Sjögren’s syndrome symptoms and functional ability

Sleep and circadian rhythms in mood disorders

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65629/1/j.1600-0447.2007.00968.x.pd

Microstructural Abnormalities in Subcortical Reward Circuitry of Subjects with Major Depressive Disorder

Previous studies of major depressive disorder (MDD) have focused on abnormalities in the prefrontal cortex and medial temporal regions. There has been little investigation in MDD of midbrain and subcortical regions central to reward/aversion function, such as the ventral tegmental area/substantia nigra (VTA/SN), and medial forebrain bundle (MFB).We investigated the microstructural integrity of this circuitry using diffusion tensor imaging (DTI) in 22 MDD subjects and compared them with 22 matched healthy control subjects. Fractional anisotropy (FA) values were increased in the right VT and reduced in dorsolateral prefrontal white matter in MDD subjects. Follow-up analysis suggested two distinct subgroups of MDD patients, which exhibited non-overlapping abnormalities in reward/aversion circuitry. The MDD subgroup with abnormal FA values in VT exhibited significantly greater trait anxiety than the subgroup with normal FA values in VT, but the subgroups did not differ in levels of anhedonia, sadness, or overall depression severity.These findings suggest that MDD may be associated with abnormal microstructure in brain reward/aversion regions, and that there may be at least two subtypes of microstructural abnormalities which each impact core symptoms of depression

Sexual dysfunction during treatment with serotonergic and noradrenergic antidepressants: Clinical description and the role of the 5-HTTLPR

Objectives. Sexual dysfunction (SD) is a frequently reported side-effect of antidepressant treatment, particularly of selective serotonin reuptake inhibitors (SSRIs). In the multicentre clinical and pharmacogenetic GENDEP study (Genome-based Therapeutic Drugs for Depression), the effect of the serotonin transporter gene promoter polymorphism 5-HTTLPR on sexual function was investigated during treatment with escitalopram (SSRI) and nortriptyline (tricyclic antidepressant). Methods. A total of 494 subjects with an episode of DSM-IV major depression were randomly assigned to treatment with escitalopram or nortriptyline. Over 12 weeks, depressive symptoms and SD were measured weekly with the Montgomery-Asberg Depression Rating Scale, the Antidepressant Side-Effect Checklist, the UKU Side Effect Rating Scale, and the Sexual Functioning Questionnaire. Results. The incidence of reported SD after 12 weeks of treatment was relatively low, and did not differ significantly between antidepressants (14.9% escitalopram, 19.7% nortriptyline). There was no significant interaction between the 5-HTTLPR and antidepressant on SD. Improvement in depressive symptoms and younger age were both associated with lower SD. The effect of age on SD may have been moderated by the 5-HTTLPR. Conclusions. In GENDEP, rates of reported SD during treatment were lower than those described in previous reports. There was no apparent effect of the 5-HTTLPR on the observed decline in SD. © 2011 Informa Healthcare.SCOPUS: ar.jinfo:eu-repo/semantics/publishe

Melanopsin as a Sleep Modulator: Circadian Gating of the Direct Effects of Light on Sleep and Altered Sleep Homeostasis in Opn4−/− Mice

Analyses in mice deficient for the blue-light-sensitive photopigment melanopsin show that direct effects of light on behavior and EEG depend on the time of day. The data further suggest an unexpected role for melanopsin in sleep homeostasis

Treatment of bipolar disorder: a complex treatment for a multi-faceted disorder

Background: Manic-depression or bipolar disorder (BD) is a multi-faceted illness with an inevitably complex treatment. Methods: This article summarizes the current status of our knowledge and practice of its treatment. Results: It is widely accepted that lithium is moderately useful during all phases of bipolar illness and it might possess a specific effectiveness on suicidal prevention. Both first and second generation antipsychotics are widely used and the FDA has approved olanzapine, risperidone, quetiapine, ziprasidone and aripiprazole for the treatment of acute mania. These could also be useful in the treatment of bipolar depression, but only limited data exists so far to support the use of quetiapine monotherapy or the olanzapine-fluoxetine combination. Some, but not all, anticonvulsants possess a broad spectrum of effectiveness, including mixed dysphoric and rapid-cycling forms. Lamotrigine may be effective in the treatment of depression but not mania. Antidepressant use is controversial. Guidelines suggest their cautious use in combination with an antimanic agent, because they are supposed to induce switching to mania or hypomania, mixed episodes and rapid cycling. Conclusion: The first-line psychosocial intervention in BD is psychoeducation, followed by cognitive-behavioral therapy. Other treatment options include Electroconvulsive therapy and transcranial magnetic stimulation. There is a gap between the evidence base, which comes mostly from monotherapy trials, and clinical practice, where complex treatment regimens are the rule

Genomewide Association Scan of Suicidal Thoughts and Behaviour in Major Depression

Background Suicidal behaviour can be conceptualised as a continuum from suicidal ideation, to suicidal attempts to completed suicide. In this study we identify genes contributing to suicidal behaviour in the depression study RADIANT. Methodology/Principal Findings A quantitative suicidality score was composed of two items from the SCAN interview. In addition, the 251 depression cases with a history of serious suicide attempts were classified to form a discrete trait. The quantitative trait was correlated with younger onset of depression and number of episodes of depression, but not with gender. A genome-wide association study of 2,023 depression cases was performed to identify genes that may contribute to suicidal behaviour. Two Munich depression studies were used as replication cohorts to test the most strongly associated SNPs. No SNP was associated at genome-wide significance level. For the quantitative trait, evidence of association was detected at GFRA1, a receptor for the neurotrophin GDRA (p = 2e-06). For the discrete trait of suicide attempt, SNPs in KIAA1244 and RGS18 attained p-values of <5e-6. None of these SNPs showed evidence for replication in the additional cohorts tested. Candidate gene analysis provided some support for a polymorphism in NTRK2, which was previously associated with suicidality. Conclusions/Significance This study provides a genome-wide assessment of possible genetic contribution to suicidal behaviour in depression but indicates a genetic architecture of multiple genes with small effects. Large cohorts will be required to dissect this further

Recurrent, Robust and Scalable Patterns Underlie Human Approach and Avoidance

BACKGROUND. Approach and avoidance behavior provide a means for assessing the rewarding or aversive value of stimuli, and can be quantified by a keypress procedure whereby subjects work to increase (approach), decrease (avoid), or do nothing about time of exposure to a rewarding/aversive stimulus. To investigate whether approach/avoidance behavior might be governed by quantitative principles that meet engineering criteria for lawfulness and that encode known features of reward/aversion function, we evaluated whether keypress responses toward pictures with potential motivational value produced any regular patterns, such as a trade-off between approach and avoidance, or recurrent lawful patterns as observed with prospect theory. METHODOLOGY/PRINCIPAL FINDINGS. Three sets of experiments employed this task with beautiful face images, a standardized set of affective photographs, and pictures of food during controlled states of hunger and satiety. An iterative modeling approach to data identified multiple law-like patterns, based on variables grounded in the individual. These patterns were consistent across stimulus types, robust to noise, describable by a simple power law, and scalable between individuals and groups. Patterns included: (i) a preference trade-off counterbalancing approach and avoidance, (ii) a value function linking preference intensity to uncertainty about preference, and (iii) a saturation function linking preference intensity to its standard deviation, thereby setting limits to both. CONCLUSIONS/SIGNIFICANCE. These law-like patterns were compatible with critical features of prospect theory, the matching law, and alliesthesia. Furthermore, they appeared consistent with both mean-variance and expected utility approaches to the assessment of risk. Ordering of responses across categories of stimuli demonstrated three properties thought to be relevant for preference-based choice, suggesting these patterns might be grouped together as a relative preference theory. Since variables in these patterns have been associated with reward circuitry structure and function, they may provide a method for quantitative phenotyping of normative and pathological function (e.g., psychiatric illness).National Institute on Drug Abuse (14118, 026002, 026104, DABK39-03-0098, DABK39-03-C-0098); The MGH Phenotype Genotype Project in Addiction and Mood Disorder from the Office of National Drug Control Policy - Counterdrug Technology Assessment Center; MGH Department of Radiology; the National Center for Research Resources (P41RR14075); National Institute of Neurological Disorders and Stroke (34189, 05236