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

Functional and genetic characterization of the non-lysosomal glucosylceramidase 2 as a modifier for Gaucher disease

Background: Gaucher disease (GD) is the most common inherited lysosomal storage disorder in humans, caused by mutations in the gene encoding the lysosomal enzyme glucocerebrosidase (GBA1). GD is clinically heterogeneous and although the type of GBA1 mutation plays a role in determining the type of GD, it does not explain the clinical variability seen among patients. Cumulative evidence from recent studies suggests that GBA2 could play a role in the pathogenesis of GD and potentially interacts with GBA1. Methods: We used a framework of functional and genetic approaches in order to further characterize a potential role of GBA2 in GD. Glucosylceramide (GlcCer) levels in spleen, liver and brain of GBA2-deficient mice and mRNA and protein expression of GBA2 in GBA1-deficient murine fibroblasts were analyzed. Furthermore we crossed GBA2-deficient mice with conditional Gba1 knockout mice in order to quantify the interaction between GBA1 and GBA2. Finally, a genetic approach was used to test whether genetic variation in GBA2 is associated with GD and/or acts as a modifier in Gaucher patients. We tested 22 SNPs in the GBA2 and GBA1 genes in 98 type 1 and 60 type 2/3 Gaucher patients for single-and multi-marker association with GD. Results: We found a significant accumulation of GlcCer compared to wild-type controls in all three organs studied. In addition, a significant increase of Gba2-protein and Gba2-mRNA levels in GBA1-deficient murine fibroblasts was observed. GlcCer levels in the spleen from Gba1/Gba2 knockout mice were much higher than the sum of the single knockouts, indicating a cross-talk between the two glucosylceramidases and suggesting a partially compensation of the loss of one enzyme by the other. In the genetic approach, no significant association with severity of GD was found for SNPs at the GBA2 locus. However, in the multi-marker analyses a significant result was detected for p.L444P (GBA1) and rs4878628 (GBA2), using a model that does not take marginal effects into account. Conclusions: All together our observations make GBA2 a likely candidate to be involved in GD etiology. Furthermore, they point to GBA2 as a plausible modifier for GBA1 in patients with GD

Novel endosomolytic compounds enable highly potent delivery of antisense oligonucleotides

The therapeutic and research potentials of oligonucleotides (ONs) have been hampered in part by their inability to effectively escape endosomal compartments to reach their cytosolic and nuclear targets. Splice-switching ONs (SSOs) can be used with endosomolytic small molecule compounds to increase functional delivery. So far, development of these compounds has been hindered by a lack of high-resolution methods that can correlate SSO trafficking with SSO activity. Here we present in-depth characterization of two novel endosomolytic compounds by using a combination of microscopic and functional assays with high spatiotemporal resolution. This system allows the visualization of SSO trafficking, evaluation of endosomal membrane rupture, and quantitates SSO functional activity on a protein level in the presence of endosomolytic compounds. We confirm that the leakage of SSO into the cytosol occurs in parallel with the physical engorgement of LAMP1-positive late endosomes and lysosomes. We conclude that the new compounds interfere with SSO trafficking to the LAMP1-positive endosomal compartments while inducing endosomal membrane rupture and concurrent ON escape into the cytosol. The efficacy of these compounds advocates their use as novel, potent, and quick-acting transfection reagents for antisense ONs

Neil3-dependent base excision repair regulates lipid metabolism and prevents atherosclerosis in Apoe-deficient mice

Increasing evidence suggests that oxidative DNA damage accumulates in atherosclerosis. Recently, we showed that a genetic variant in the human DNA repair enzyme NEIL3 was associated with increased risk of myocardial infarction. Here, we explored the role of Neil3/NEIL3 in atherogenesis by both clinical and experimental approaches. Human carotid plaques revealed increased NEIL3 mRNA expression which significantly correlated with mRNA levels of the macrophage marker CD68. Apoe−/−Neil3−/− mice on high-fat diet showed accelerated plaque formation as compared to Apoe−/− mice, reflecting an atherogenic lipid profile, increased hepatic triglyceride levels and attenuated macrophage cholesterol efflux capacity. Apoe−/−Neil3−/− mice showed marked alterations in several pathways affecting hepatic lipid metabolism, but no genotypic alterations in genome integrity or genome-wide accumulation of oxidative DNA damage. These results suggest a novel role for the DNA glycosylase Neil3 in atherogenesis in balancing lipid metabolism and macrophage function, potentially independently of genome-wide canonical base excision repair of oxidative DNA damage

Inverse correlation between PDGFC expression and lymphocyte infiltration in human papillary thyroid carcinomas

<p>Abstract</p> <p>Background</p> <p>Members of the PDGF family have been suggested as potential biomarkers for papillary thyroid carcinomas (PTC). However, it is known that both expression and stimulatory effect of PDGF ligands can be affected by inflammatory cytokines. We have performed a microarray study in a collection of PTCs, of which about half the biopsies contained tumour-infiltrating lymphocytes or thyroiditis. To investigate the expression level of PDGF ligands and receptors in PTC we measured the relative mRNA expression of all members of the PDGF family by qRT-PCR in 10 classical PTC, eight clinically aggressive PTC, and five non-neoplastic thyroid specimens, and integrated qRT-PCR data with microarray data to enable us to link PDGF-associated gene expression profiles into networks based on recognized interactions. Finally, we investigated potential influence on PDGF mRNA levels by the presence of tumour-infiltrating lymphocytes.</p> <p>Methods</p> <p>qRT-PCR was performed on <it>PDGFA</it>, <it>PDGFB</it>, <it>PDGFC</it>, <it>PDGFD</it>, <it>PDGFRA PDGFRB </it>and a selection of lymphocyte specific mRNA transcripts. Semiquantitative assessment of tumour-infiltrating lymphocytes was performed on the adjacent part of the biopsy used for RNA extraction for all biopsies, while direct quantitation by qRT-PCR of lymphocyte-specific mRNA transcripts were performed on RNA also subjected to expression analysis. Relative expression values of PDGF family members were combined with a cDNA microarray dataset and analyzed based on clinical findings and PDGF expression patterns. Ingenuity Pathway Analysis (IPA) was used to elucidate potential molecular interactions and networks.</p> <p>Results</p> <p>PDGF family members were differentially regulated at the mRNA level in PTC as compared to normal thyroid specimens. Expression of <it>PDGFA </it>(p = 0.003), <it>PDGFB </it>(p = 0.01) and <it>PDGFC </it>(p = 0.006) were significantly up-regulated in PTCs compared to non-neoplastic thyroid tissue. In addition, expression of <it>PDGFC </it>was significantly up-regulated in classical PTCs as compared to clinically aggressive PTCs (p = 0.006), and <it>PDGFRB </it>were significantly up-regulated in clinically aggressive PTCs (p = 0.01) as compared to non-neoplastic tissue. Semiquantitative assessment of lymphocytes correlated well with quantitation of lymphocyte-specific gene expression. Further more, by combining TaqMan and microarray data we found a strong inverse correlation between <it>PDGFC </it>expression and the expression of lymphocyte specific mRNAs.</p> <p>Conclusion</p> <p>At the mRNA level, several members of the PDGF family are differentially expressed in PTCs as compared to normal thyroid tissue. Of these, only the <it>PDGFC </it>mRNA expression level initially seemed to distinguish classical PTCs from the more aggressive PTCs. However, further investigation showed that <it>PDGFC </it>expression level correlated inversely to the expression of several lymphocyte specific genes, and to the presence of lymphocytes in the biopsies. Thus, we find that <it>PDGFC </it>mRNA expression were down-regulated in biopsies containing infiltrated lymphocytes or thyroiditis. No other PDGF family member could be linked to lymphocyte specific gene expression in our collection of PTCs biopsies.</p