Compositional Explanation of Types and Algorithmic Debugging of Type Errors

The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard to understand why a program is not type correct or a function does not have the intended type. We suggest that at the core of this problem is the difficulty of explaining why a given expression has a certain type. The type system is not defined compositionally. We propose to explain types using a variant of the Hindley-Milner type system that defines a compositional type explanation graph of principal typings. We describe how the programmer understands types by interactive navigation through the explanation graph. Furthermore, the explanation graph can be the foundation for algorithmic debugging of type errors, that is, semi-automatic localisation of the source of a type error without even having to understand the type inference steps. We implemented a prototype of a tool to explore the usefulness of the proposed methods

Abundances of Volatile - Bearing Species from Evolved Gas Analysis of Samples from the Rocknest Aeolian Bedform in Gale Crater

The Sample Analysis at Mars (SAM) instrument suite on board the Mars Science Laboratory (MSL) recently ran four samples from an aeolian bedform named Rocknest. SAM detected the evolution of H2O, CO2, O2, and SO2, indicative of the presence of multiple volatile bearing species (Fig 1). The Rocknest bedform is a windblown deposit selected as representative of both the windblown material in Gale crater as well as the globally-distributed martian dust. Four samples of Rocknest material were analyzed by SAM, all from the fifth scoop taken at this location. The material delivered to SAM passed through a 150 m sieve and is assumed to have been well mixed during the sample acquisition/preparation/handoff process. SAM heated the Rocknest samples to approx.835 C at a ramp rate of 35 C/min with a He carrier gas flow rate of apprx.1.5 standard cubic centimeters per minute and at an oven pressure of ~30 mbar [1]. Evolved gases were detected by a quadrupole mass spectrometer (QMS). This abstract presents the molar abundances of H2O, CO2, O2, and SO2 as well as their concentration in rocknest samples using an estimated sample mass

Detection of Siderite (FeCO3) in Glen Torridon Samples by the Mars Science Laboratory Rover

Siderite (FeCO3) has been detected in Gale Crater for the first time by the Mars Science Laboratory (MSL) Curiosity and is seen in multiple samples in the Glen Torridon (GT) region. The identification of siderite is based on evolved gas analysis (EGA) data from the Sample Analysis at Mars (SAM) instrument and X-ray diffraction (XRD) data from the Chemistry and Mineralogy (CheMin) instrument. Curiosity descended off of the Vera Rubin ridge (VRR) into the Glen Torridon region on Sol 2300. Glen Torridon is of particular interest because a strong clay mineral signature had been detected by orbital instruments [1]. To date, four drilled samples have been collected at two different drill locations: Kilmarie and Aberlady from adjacent blocks at the base of the south side of VRR in the Jura member and Glen Etive 1 and 2 on the same block in the Knockfarril member

Mineralogy of Vera Rubin Ridge in Gale Crater from the Mars Science Laboratory CheMin instrument

Gale crater was selected as the landing site for the Mars Science Laboratory Curiosity rover because of orbital evidence for a variety of secondary minerals in the lower slopes of Aeolis Mons (aka Mount Sharp) that indicate changes in aqueous conditions over time. Distinct units demonstrate orbital spectral signatures of hematite, phyllosilicate (smectite), and sulfate minerals, which suggest that ancient aqueous environments in Gale crater varied in oxidation potential, pH, and water activity. Vera Rubin ridge (VRR) is the first of these units identified from orbit to have been studied by Curiosity. Orbital near-infrared data from VRR show a strong band at 860 nm indicative of hematite. Before Curiosity arrived at VRR, the hypotheses to explain the formation of hematite included (1) precipitation at a redox interface where aqueous Fe2+ was oxidized to Fe3+, and (2) acidic alteration of olivine in oxic fluids. Studying the composition and sedimentology of the rocks on VRR allow us to test and refine these hypotheses and flesh out the depositional and diagenetic history of the ridge. Here, we focus on the mineralogical results of four rock powders drilled from and immediately below VRR as determined by CheMin

Constraints on the Mineralogy of Gale Crater Mudstones from MSL SAM Evolved Water

The Sample Analysis at Mars (SAM) and Chemistry and Mineralogy (CheMin) instruments on the Mars Science Laboratory (MSL) have analysed more than 150 micron fines from 14 sites at Gale Crater. Here we focus on the mudstone samples. Two were drilled from sites John Klein (JK) and Cumberland (CB) in the Sheepbed mudstone. Six were drilled from Murray Formation mudstone: Confidence Hills (CH), Mojave (MJ), Telegraph Peak (TP), Buckskin (BK), Oudam (OU), Marimba (MB). SAM's evolved gas analysis mass spectrometry (EGA-MS) detected H2O, CO2, O2, H2, SO2, H2S, HCl, NO, and other trace gases, including organic fragments. The identity and evolution temperature of evolved gases can support CheMin mineral detection and place constraints on trace volatile-bearing phases or phases difficult to characterize with X-ray diffraction (e.g., amorphous phases). Here we will focus on SAM H2O data and comparisons to SAM-like analyses of key reference materials

SAM-Like Evolved Gas Analyses of Phyllosilicate Minerals and Applications to SAM Analyses of the Sheepbed Mudstone, Gale Crater, Mars

While in Yellowknife Bay, the Mars Science Laboratory Curiosity rover collected two drilled samples, John Klein (hereafter "JK") and Cumberland ("CB"), from the Sheepbed mudstone, as well as a scooped sample from the Rocknest aeolian bedform ("RN"). These samples were sieved by Curiosity's sample processing system and then several subsamples of these materials were delivered to the Sample Analysis at Mars (SAM) instrument suite and the CheMin X-ray diffraction/X-ray fluorescence instrument. CheMin provided the first in situ X-ray diffraction-based evidence of clay minerals on Mars, which are likely trioctahedral smectites (e.g., Fe-saponite) and comprise ~20 wt% of the mudstone samples [1]. SAM's evolved gas analysis (EGA) mass spectrometry analyses of JK and CB subsamples, as well as RN subsamples, detected H2O, CO2, O2, H2, SO2, H2S, HCl, NO, OCS, CS2 and other trace gases evolved during pyrolysis. The identity of evolved gases and temperature( s) of evolution can augment mineral detection by CheMin and place constraints on trace volatile-bearing phases present below the CheMin detection limit or those phases difficult to characterize with XRD (e.g., X-ray amorphous phases). Here we will focus on the SAM H2O data, in the context of CheMin analyses, and comparisons to laboratory SAM-like analyses of several phyllosilicate minerals including smectites

Glen Torridon Mineralogy and the Sedimentary History of the Clay Mineral Bearing Unit

Clay minerals are common in ancient terrains on Mars and their presence at the surface alludes to aqueous processes in the Noachian to Early Hesperian (>3.5 Ga). Gale crater was selected as Curiositys landing site largely because of the identification of clay mineral rich strata from orbit. On Earth, the types of clay minerals (i.e., smectites) identified in Gale crater are typically juvenile weathering products that ultimately record the interaction between primary igneous minerals with the hydrosphere, atmosphere, and biosphere. Trioctahedral and dioctahedral smectite were identified by Curiosity in units stratigraphically below the Clay Mineral-Bearing Unit (CBU) identified from orbit. Compositional and sedimentological data suggest the smectite formed via authigenesis in a lake environment and may have been altered during early diagenesis. The CBU is stratigraphically equivalent to a hematite-rich unit to the north and stratigraphically underlies sulfate-rich units to the south, suggesting a dynamic environment and evolving history of water in the ancient Gale crater lake. Targeting these clay mineral rich areas on Mars with rover missions provides an opportunity to explore the aqueous and sedimentary history of the planet

Reactions Involving Calcium and Magnesium Sulfates as Potential Sources of Sulfur Dioxide During MSL SAM Evolved Gas Analyses

The Sample Analysis at Mars (SAM) and Chemistry and Mineralogy (CheMin) instruments on the Mars Science Laboratory (MSL) have analyzed several subsamples of 860 C). Sulfides or Fe sulfates were detected by CheMin (e.g., CB, MJ, BK) and could contribute to the high temperature SO2 evolution, but in most cases they are not present in enough abundance to account for all of the SO2. This additional SO2 could be largely associated with x-ray amorphous material, which comprises a significant portion of all samples. It can also be attributed to trace S phases present below the CheMin detection limit, or to reactions which lower the temperatures of SO2 evolution from sulfates that are typically expected to thermally decompose at temperatures outside the SAM temperature range (e.g., Ca and Mg sulfates). Here we discuss the results of SAM-like laboratory analyses targeted at understanding this last possibility, focused on understanding if reactions of HCl or an HCl evolving phase (oxychlorine phases, chlorides, etc.) and Ca and Mg sulfates can result in SO2 evolution in the SAM temperature range

A genomic portrait of the emergence, evolution, and global spread of a methicillin-resistant staphylococcus aureus pandemic

The widespread use of antibiotics in association with high-density clinical care has driven the emergence of drug-resistant bacteria that are adapted to thrive in hospitalized patients. Of particular concern are globally disseminated methicillin-resistant Staphylococcus aureus (MRSA) clones that cause outbreaks and epidemics associated with health care. The most rapidly spreading and tenacious health-care-associated clone in Europe currently is EMRSA-15, which was first detected in the UK in the early 1990s and subsequently spread throughout Europe and beyond. Using phylogenomic methods to analyze the genome sequences for 193 S. aureus isolates, we were able to show that the current pandemic population of EMRSA-15 descends from a health-care-associated MRSA epidemic that spread throughout England in the 1980s, which had itself previously emerged from a primarily community-associated methicillin-sensitive population. The emergence of fluoroquinolone resistance in this EMRSA-15 subclone in the English Midlands during the mid-1980s appears to have played a key role in triggering pandemic spread, and occurred shortly after the first clinical trials of this drug. Genome-based coalescence analysis estimated that the population of this subclone over the last 20 yr has grown four times faster than its progenitor. Using comparative genomic analysis we identified the molecular genetic basis of 99.8% of the antimicrobial resistance phenotypes of the isolates, highlighting the potential of pathogen genome sequencing as a diagnostic tool. We document the genetic changes associated with adaptation to the hospital environment and with increasing drug resistance over time, and how MRSA evolution likely has been influenced by country-specific drug use regimens

Evolved Gas Analyses of Mudstones from the Vera Rubin Ridge

The Sample Analysis at Mars (SAM) instrument suite on the Mars Science Laboratory (MSL) rover has been essential in understanding volatile-bearing phases in Gale Crater materials. SAMs evolved gas analysis mass spectrometry (EGA-MS) has detected H2O, CO2, O2, H2, SO2, H2S, HCl, NO, and other trace gases, including organic fragments, in many samples. The identity and evolution temperature of evolved gases can support CheMin instrument mineral detection and place constraints on trace volatile-bearing phases or phases difficult to characterize with X-ray diffraction (e.g., amorphous phases). For the past ~500 sols, MSL has been exploring the Vera Rubin Ridge (VRR), which exhibits a striking hematite signature in orbital remote sensing data, in order to understand the depositional and diagenetic history recorded in the rocks and how it relates to the underlying Murray Formation. Four rock samples were drilled, one from the Blunts Point Member (Duluth, DU), one from the Pettegrrove Point Member (Stoer, ST), and two from the Jura Member. The Jura Member displays differences in color, summarized as grey and red, and a key goal was to constrain the cause of this color difference and the associated implications for depositional or post-depositional conditions. To investigate, a grey (Highfield, HF) and a red (Rock Hall, RH) Jura sample were drilled. Here we will give an overview of results from SAM EGA-MS analyses of VRR materials, with some comparisons to analyses of samples of the underlying Murray