Union Types Research Articles

Revisiting occurrence typing

We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capture some programming patterns used in untyped languages. Although occurrence typing was tied from its inception to set-theoretic types—union types, in particular—it never fully exploited the capabilities of these types. Here we show how, by using set-theoretic types, it is possible to develop a general typing framework that encompasses and generalizes several aspects of current occurrence typing proposals and that can be applied to tackle other problems such as the reconstruction of intersection types for unannotated or partially annotated functions and the optimization of the compilation of gradually typed languages.

The clinical characteristics, treatments and prognosis of post-esophagectomy airway fistula: a multicenter cohort study.

BackgroundPost-esophagectomy airway fistula (PEAF) is a serious complication after esophageal cancer resection. At present, the clinical characteristics, treatments and prognosis of PEAF patients remain inconclusive. We aimed to investigate these problems of patients with PEAF through a multi-center retrospective cohort study.MethodsWe included consecutive patients who underwent esophagectomy for esophageal cancer in seven major Chinese esophageal cancer centers from January 2010 to December 2020. Based on the anatomic characteristics of PEAF patients, PEAFs were divided into Union type I (without digestive fistula) and Union type II [respiratory-digestive fistula (RDF)], and subtypes a and b (tracheal or bronchial fistulas), as well as L1 and L2 (same or different level of fistulas). The clinical characteristics, diagnoses, managements, and effects of the various types were retrospectively analyzed.ResultsPEAF occurred in 85 of 26,608 patients (0.32%), including eight females and 77 males. There were 16 patients with type I and 69 with type II. The numbers of healings, non-healings, and deaths at discharge were 45 (52.9%), 20 (23.5%), and 20 (23.5%), respectively. Type Ib was common in type I, and type II L1 was common in type II. The healing rates of surgical, stent, and conservative treatments were 50%, 60%, and 50%, respectively. All type I patients treated with stent implantation were healed at discharge. The healing rates, mortality, and 3-year survival of type II L1 and type II L2 patients were 55.4% and 30.8%, 17.9% and 30.8%, and 34.3% and 15.4%, respectively. The 5-year survival rates of all PEAFs were 21.1%.ConclusionsPEAF is an infrequent and life-threatening complication after esophagectomy. Patients with different types of PEAF often have different inducements. In this study, we found that the healing rates of surgical and conservative treatments were similar, and stent implantation may have the potential to improve efficacy. Type II L2 patients were the most difficult to cure.

Mental Health Across the Life Course for Men and Women in Married, Cohabiting, and Living Apart Together Relationships

This study examines the underexplored relationship between union type and mental health for married, cohabiting, and living apart together (“LAT”) individuals. Further, we assess whether gender and age moderate (separately and jointly) this relationship. Using data from Wave 1 of the Generations and Gender Survey ( N = 34,833), results suggest that cohabitors and LATs have worse mental health than married individuals. The negative effects of cohabiting or living apart on mental health are stronger for women than men. Young and middle-aged female LATs (to an equal magnitude) have worse mental health than married women of the same ages, while there are no such differences among older women. Middle-aged and older male LATs have worse mental health than married men of the same ages (with the larger effect found for middle-aged men), but there are no such differences among younger men. Thus, we highlight previously undocumented gender and life course dynamics of union type and mental health.

On type-cases, union elimination, and occurrence typing

We extend classic union and intersection type systems with a type-case construction and show that the combination of the union elimination rule of the former and the typing rules for type-cases of our extension encompasses occurrence typing . To apply this system in practice, we define a canonical form for the expressions of our extension, called MSC-form. We show that an expression of the extension is typable if and only if its MSC-form is, and reduce the problem of typing the latter to the one of reconstructing annotations for that term. We provide a sound algorithm that performs this reconstruction and a proof-of-concept implementation.

Is Health Literacy Clue on the Self-Efficacy of Diabetes Patients?

Objective: This research was conducted to evaluate the relationship between health literacy level and self-efficacy in patients with diabetes mellitus. Methods: This cross-sectional study was conducted inpatient and outpatient clinic of internal medicine at the city hospital. The sample of the study consisted of 700 conscious patients diagnosed with diabetes mellitus for at least one year. The data of the study were collected using the Health Literacy Questionnaire-European Union Scale and Type 2 Diabetes Self-Efficacy Scale. Data were analyzed using regression analysis and correlation analyses. Results: In this study, the level of health literacy general index was sufficient level, and the average of the self-efficacy scale was high. It was observed that health promotion and health service literacy level were effectived in estimating the self-efficacy level of diabetes patients. As the health literacy level of patients for health service and health promotion increased, general self-efficacy level increased. Conclusion: Health promotion and health service literacy level are effective in estimating the self-efficacy level of diabetes patients.

Distributing intersection and union types with splits and duality (functional pearl)

Subtyping with intersection and union types is nowadays common in many programming languages. From the perspective of logic, the subtyping problem is essentially the problem of determining logical entailment : does a logical statement follow from another one? Unfortunately, algorithms for deciding subtyping and logical entailment with intersections, unions and various distributivity laws can be highly non-trivial. This functional pearl presents a novel algorithmic formulation for subtyping (and logical entailment) in the presence of various distributivity rules between intersections, unions and implications (i.e. function types). Unlike many existing algorithms which first normalize types and then apply a subtyping algorithm on the normalized types, our new subtyping algorithm works directly on source types. Our algorithm is based on two recent ideas: a generalization of subtyping based on the duality of language constructs called duotyping ; and splittable types , which characterize types that decompose into two simpler types. We show that our algorithm is sound, complete and decidable with respect to a declarative formulation of subtyping based on the minimal relevant logic B + . Moreover, it leads to a simple and compact implementation in under 50 lines of functional code.

Is Reproductive Orientation Associated with Sexual Satisfaction Among Partnered U.S. Women?

Little is known about how "reproductive orientation" (i.e., trying to get pregnant, ambivalent about pregnancy, trying to avoid pregnancy, or having had a sterilization surgery) is associated with sexual satisfaction among women of childbearing age. Using data from the National Survey of Fertility Barriers (N = 2811), we examined the association of reproductive orientation with sexual satisfaction, adjusting for relationship characteristics including union type (cohabitation versus marriage), quality, and length; infertility history; and demographic characteristics including age, parity, and race/ethnicity. Results indicated that women who were ambivalent or trying to get pregnant reported significantly higher levels of sexual satisfaction than women who were sterile in the unadjusted model, but not in the models that included relationship quality. The association of reproductive orientation and sexual satisfaction depended upon relationship quality; among women with lower relationship quality, "trying" was associated with higher, and among those with higher relationship quality, with lower sexual satisfaction.

Fathers’ Time off Work after the Birth of a Child and Relationship Dissolution among Socioeconomically Disadvantaged U.S. Families

ABSTRACT Relationship dissolution is common among socioeconomically disadvantaged parents. This study utilizes longitudinal data from the Fragile Families and Child Wellbeing Study (FFCWS) to assess whether fathers’ time off work after the birth of a child reduces the likelihood of parents dissolving their relationship. We also consider whether the association between fathers’ time off work and relationship dissolution is mediated by fathers’ support of mothers and moderated by union type. Results indicate that the risk of relationship dissolution is lower when fathers take time off work after the birth of a child. Results also suggest that longer periods of time off work (i.e., two or more weeks) are associated with a lower risk of relationship dissolution among married couples, although overall evidence for variations by union type are mixed. Additionally, there is evidence that the association between fathers’ time off work and relationship dissolution is at least partially explained by higher levels of relationship support among fathers who took time off work after the birth of a child. Overall, findings suggest that providing fathers with opportunities to take time off for the birth of a child may help to promote relationship stability among socioeconomically disadvantaged couples in the United States.

Consanguinity, inbreeding coefficient, fertility and birth-outcome in population of Okara district, Pakistan.

Objectives:This study was aimed to illustrate the determents of consanguinity and inbreeding coefficient-F (ICF) in the population of Okara district of Pakistan and to elucidate the impact of consanguinity on fertility and birth outcome.Methods:Through a cross-sectional sampling design, 1,521 married women were recruited from Okara district during 2016-2017. Data on demographic variables, marital union types, subject’s fertility, and reproductive outcome, were gathered in face-to-face interviews. Descriptive statistics and multivariable logistic regression were employed.Results:The prevalence of consanguineous unions (CU) was calculated to be 61% yielding ICF=0.0356. Multivariable regression analyses revealed that six variables including younger age at marriage, joint family structure, caste-system of spouse, exchange marriage, matrimonial distance, and parental consanguinity, were significant predictors of consanguinity. The women having CU had significantly higher mean fertility, mean live-births and mean live-born sons compared with subjects having non-consanguineous unions (NCU). However, there were no significant differences in the average mortalities, i.e., prenatal, postnatal and <5 years, between the mothers with CU and NCU.Conclusion:The prevalence of consanguineous unions (CU) in Okara district is quite high like other inbred populations of Pakistan. The striking findings of this study are the higher mean fertility and mean live-births in women with CU. The likely reasons underlying this phenomenon have been discussed.

Daily Marital Strain and Sleep in Same-Sex and Different-Sex Couples

Marital strain has consistently been linked to many indicators of daily health and well-being, including sleep. Prior studies show that, on days when marital strain is higher, women in different-sex couples experience poorer sleep outcomes. However, this work has not yet considered whether and how these relationships differ for men and women in same-sex couples. Using 10 days of dyadic diary data from 756 midlife U.S. men and women in 378 gay, lesbian, and heterosexual marriages, we examine the associations of daily marital strain with sleep quality and duration and consider whether these relationships differ across union type. Results suggest that increased marital strain is associated with poorer sleep quality and shorter sleep duration, but only for women married to men. These findings underscore the importance of including same-sex couples when exploring linkages between marital dynamics and health, especially when considering how gender impacts these processes.

Gradual Typing Using Union Typing With Records

Dynamic typed languages are characterized by their expressiveness and flexibility to develop prototypes, while static typed languages allow early detection of errors and the optimization of source code. Gradual typing languages allow programmers to make use of both approaches, static and dynamic typing, and thus, obtaining the advantages that both represent.The objective here is to revisit the static part of the approach to a gradual interpretation of union types based on the design of Gradual Union Types through an extension with the record data-structure. This contributes to understand the abstraction and reasoning behind Gradual Typing in order to have useful future extensions for other data-structures.

Income structure, diversification strategy and owners’ benefit in cooperative financial institutions

PurposeThe purposes of this paper are twofold. First, it analyses the income structure in cooperative financial institutions and examines how traditional and non-traditional incomes are related. Second, it evaluates whether increasing diversification towards non-traditional incomes facilitates or hampers the benefits of financial cooperative owners.Design/methodology/approachData are collected from over 3,100 US credit unions over the period of 1994–2016. A number of modern econometric techniques are employed throughout the analysis, including the use of panel fixed effect, generalised method of moments (GMM) and two-stage least square (2SLS) methodologies.FindingsUsing US credit unions as the empirical setting, the empirical results reveal that the expansion of traditional income leads to a corresponding increase in income from non-traditional activities. However, an increasing reliance on non-traditional income causes a significant drop in interest margins. The authors also find that the extent to which income diversification affects owner benefit varies across credit union types and period of time. While income diversification negatively affects owners' benefits in single common bond credit unions, it has no significant influence on multiple common bond and community credit union owners' benefits. Third, diversification can be beneficial during crisis time, but can be detrimental to owner benefit during normal time.Originality/valueThis paper provides some of the first empirical investigations on the diversification strategy of cooperative financial institutions. Therefore, the results offer significant policy implications for policymakers and market participants on whether financial cooperatives should diversify or specialise.

Time patterns of external and alcohol-related mortality after marital and non-marital separation: the contribution of psychiatric morbidity

BackgroundExternal and alcohol-related mortality is elevated postseparation, but the role of poor mental health in explaining this excess is unclear. We assess postseparation excess mortality by union type and over...

Two Decades of Same-Sex Marriage in Sweden: A Demographic Account of Developments in Marriage, Childbearing, and Divorce

In this study, we provide demographic insight into the still relatively new family form of same-sex marriage. We focus on period trends in same-sex marriage formation and divorce during 1995–2012 in Sweden and the role of childbearing in same-sex unions. The period begins with the introduction of registered partnership for same-sex couples and also covers the introduction of formal same-sex marriage in 2009. We use register data for the complete population of Sweden to contrast patterns in male and female same-sex marriage formation and divorce. We show that female same-sex union formation increased rapidly over the period, while trends for male same-sex unions increased less. The introduction of same-sex marriage legislation in 2009 appears to have had little effect on the pace of formation of same-sex unions. In contrast, legal changes supporting parental rights in same-sex unions may have fueled the formation of female same-sex marriages as well as parenthood in such unions. Further, we show that divorce risks in the marital unions of two women are much higher than in other types of marriages. We find some convergence of divorce risks across union types at the end of our study period: male same-sex unions have the same divorce risk levels as opposite-sex marriages, and the elevated risks of divorce in female same-sex unions appear to have stabilized at somewhat lower levels than those observed in the late 1990s.

A Comparative Study of Distal Tibia Metaphyseal Fractures in a Series of 50 Patients: Intramedullary Nailing (IMN) Vs Minimally Invasive Plate Osteosynthesis (MIPO)

Introduction: Multiple treatment modalities have been described for distal tibia metaphyseal fractures but there is no consensus regarding optimal treatment. The purpose of this study was to compare the management of these fractures by intramedullary nailing (IMN) and minimally invasive plate osteosynthesis (MIPO) technique by assessing the functional and radiological outcomes and complications. Methods: 50 patients having distal tibia fractures were studied and divided into two equal groups of IMN and MIPO with a follow-up period of one year. Functional assessment was done using SF-36, LEFS and VAS scores; radiological assessment was done by evaluating the union type and radiological deformity, and complications in both procedures were studied. Various fracture patterns were also considered. Results: SF-36 showed no statistical significance with regard to treatment mode and fracture type. LEFS score reduced with increase in complexity of fracture and also indicated that both IMN and MIPO groups regained comparable functional capacity after a year. IMN cases (96%) showed better chances of primary union than MIPO cases (72%), after a year. Varus was found in 16% and valgus in 20% of plating cases. AO Type fractures 43 A1 and 43 A2 were preferably treated with nailing whereas 43 A3, with plating. Conclusion: While union time is shorter for IMN cases, there is a greater occurrence of deformity in MIPO patients. We concluded that both the techniques can provide a similar return of functional capabilities but as the complexity of the fracture increases, nail becomes difficult to use than a plate. Keywords: IMN; Distal tibia metaphyseal; MIPO; Distal third tibia fractures.

Is the End of Educational Hypergamy the End of Status Hypergamy? Evidence from Sweden

AbstractThe reversal of the gender gap in higher education has been a major social transformation: women now outnumber men in higher education in nearly all OECD countries. Patterns of assortative mating have also changed as highly educated women increasingly form relationships with men who have less education (hypogamous unions). In this article, we draw on rich register data from Sweden to ask whether the emergence of hypogamous unions signals the emergence of a new female status dominance in unions. We also consider how the status distribution in these unions compares to homogamous (both highly educated) or hypergamous (he highly educated) unions. We use Swedish register data and study couples who have their first child together. We refer to a multi-dimensional view of status and use indicators of social class background, income, and occupational prestige. We find that in hypogamous unions, women tend to have a higher social class background and occupational prestige, but lower income than their partners. The income gap between partners is not simply a consequence of the gender wage gap, but driven by selection into different union types. Men and women who form hypogamous unions are negatively selected in terms of their income.

Contribution of the Rise in Cohabiting Parenthood to Family Instability: Cohort Change in Italy, Great Britain, and Scandinavia

In this study, we investigate through microsimulation the link between cohabiting parenthood and family instability. We identify mechanisms through which increases in cohabiting parenthood may contribute to overall increases in separation among parents, linking micro-level processes to macro-level outcomes. Analyses are based on representative surveys in Italy, Great Britain, and Scandinavia (represented by Norway and Sweden), with full histories of women’s unions and births. We first generate parameters for the risk of first and higher-order birth and union events by woman’s birth cohort and country. The estimated parameters are used to generate country- and cohort-specific populations of women with stochastically predicted family life courses. We use the hypothetical populations to decompose changes in the percentage of mothers who separate/divorce across maternal birth cohorts (1940s to 1950s, 1950s to 1960s, 1960s to 1970s), identifying how much of the change can be attributed to shifts in union status at first birth and how much is due to change in separation rates for each union type. We find that when cohabiting births were uncommon, increases in parents’ separation were driven primarily by increases in divorce among married parents. When cohabiting parenthood became more visible, it also became a larger component, but continued increases in parents’ divorce also contributed to increasing parental separation. When cohabiting births became quite common, the higher separation rates of cohabiting parents began to play a greater role than married parents’ divorce. When most couples had their first birth in cohabitation, those having children in marriage were increasingly selected from the most stable relationships, and their decreasing divorce rates offset the fact that increasing proportions of children were born in somewhat less stable cohabiting unions.

EXPOSURE AND EMOTIONAL REACTIVITY TO DAILY STRESS IN SAME-SEX AND DIFFERENT-SEX MARRIAGES

Recent work exploring links between stress processes and well-being within marriage suggest that women may be at an increased risk for exposure and emotional reactivity to daily stress. However, studies have focused primarily on heterosexual couples, raising questions concerning whether and how these gendered patterns might unfold differently for men and women in same-sex marriages. In the present study, we analyze 10 days of dyadic diary data from 756 midlife men and women in 378 gay, lesbian, and heterosexual marriages to consider how exposure and emotional reactivity to daily stress may differ across union types. We find that women are exposed to more daily stressors than men and that this exposure is especially detrimental to the well-being of women in different-sex marriages. These findings highlight the need to include same-sex couples when exploring gendered linkages between daily stress processes and well-being within marriage.

HEALTH IMPLICATIONS OF SOCIAL ROLES AND ROLE TRANSITIONS IN MIDLIFE AND LATER LIFE

Demographic and social trends shape the timing, nature, and implications of social roles and transitions. With increased life expectancy and a changing world, expectations for work and retirement and the need for informal and formal caregiving continue to evolve. Families are also more heterogeneous and the population is becoming increasingly more racially/ethnically diverse. These changes underscore the need for research that focuses on the varied social roles individuals occupy in midlife and later adulthood and the implications of these roles for health and well-being. The current symposium features research that explores multiple roles, including romantic partner, grandparent, and employee/retiree, caregiver/care recipient while attending to individual differences in how these roles and transitions are associated with physical and mental health outcomes. Garcia, Donnelly, and Umberson utilize dyadic diary data from midlife men and women in gay, lesbian, and heterosexual marriages to consider how exposure and reactivity to daily stress varies across union types. Rickenbach and colleagues examine longitudinal changes in health and well-being associated with being a caregiving and non-caregiving grandparent. Cichy and Koumoutzis examine racial differences in the associations between providing care to a spouse/parent and daily health and well-being among African Americans and European Americans. Savla, Roberto, and Sands classify community-living older adults based on their care needs while considering the type of care they receive, predictors of this care, and its implications for care recipients’ health. Finally, Stawski and colleagues examine how mental, physical, and cognitive health change as a function of the transition to and through retirement.

The Duality of Classical Intersection and Union Types

The Duality of Classical Intersection and Union Types