Scala is a well-established multi-paradigm programming language known for itsterseness that includes advanced type inference features. Unfortunately thistype inferring algorithm does not support typing of recursive functions.This is both against the original design philosophies of Scala and puts anunnecessary burden on the programmer. In this paper we propose a method tocompute the return types for simple recursive functions in Scala. We makea heuristic assumption on the return type based on the non-recursive executionbranches and provide a proof of this method's correctness. The algorithm does not havea significant effect on the compilation speed. We implemented our method asan extension prototype in the Scala compiler and used itto successfully test our method on various examples. The compiler extensionprototype is available for further tests.

No abstract

In this paper my aim is to examine the Hungarian architectural discourse between 1928 and 1944, with special regard to the ‘historical’ centre of Pest. The observation is carried out through the review of architectural journals and theoretical essays. I undertake a historical analysis of the various uses and changes in the meaning of the concept of townscape. Analysis of the architectural discourse for this time interval might provide a better understanding of the transformation in the perception of urban space. The examined period can be boldly called the ‘dawn of urban heritage protection’, but also the age of a new urbanity that envisioned the rethinking of urban space through the reconstruction of complete urban areas. This paradox not only had a remarkable impact on rethinking of urban space, especially on determining values, but also led to experimental and hybrid spatial categories. My aim is to study this specific problem of social history, which not only made urban preservation part of the discourse but expanded it more and more as a continually growing ‘set’. This set captures and addresses the diverse aspects of urban life, making the concept of urban heritage even more complex. The fundamental questions of the study are how the discourse conceptualises urban spatial categories, more precisely, how the materiality of the built environment and representations of space are taken into account. The discourse on compatibility encompasses all strategic behaviours that seek to integrate the historic city and the new architectural solutions incorporating the needs of the present. In order to analyse the ways in which the city centre was constructed in the discourse, I incorporate the resilience model into the argument. Thus, the discussion may help understanding how changes in the interpretation of urban space result in a new attitude towards preservation, development or modernization of ‘historic’ neighbourhoods.

The notion of cultural heritage has become an essential part of social science discourse in recent decades, and its position and institutionalization vis-à-vis history-writing has been consolidated. Regarding minority culture and heritage, a central issue to consider is to what extent the previously marginalized minority heritage can stand on its own or emerges as part of the mainstream canon -due to increasing attention and acceptance.In the case of Roma heritage, one cannot ignore that the marginalization of Roma in Hungary is still palpable in numerous aspects and that their often very deprived social status also has an impact on the access to cultural heritage. Furthermore, this ongoing marginalization has a great impact on the access to power and control: as in academia and in political activism, the genuine presence of a "Romani voice" is still a goal to be achieved in heritage production as well. Therefore, in order to sensitively problematize and understand the present times' cultural challenges (which may take the form of political activism as well), we are aiming to introduce the concept of resilient Roma cultural heritage in Hungary. In order to do so, the paper will test the applicability of this concept (of resilient cultural heritage) to a specific case study of the First Roma country House.Since the early 2000s, when resilience has become a central concept of cultural heritage discourses, cultural heritage is often manifested as a tool that gives a community the opportunity to create a reserve that increases its resilience and renewal capabilities. This model aims to link the theory of resilience with the preservation, use/re-use and management of cultural heritage. To create a bridge between the two concepts, participatory approaches seem to be the most suitable.By looking at the case study of the First Roma country House in Hodász, 2 we would like to analyze the specific and unique position of a bottom-up cultural initiative that tackles the institutionalization of Roma traditions and heritage and creates real social cohesion on a local level, in a highly rural deprived area (Szabolcs-Szatmár-Bereg country). Our study (based both on field and desk research) on the Roma country House in Hodász, as an eminent example of resilient cultural heritage, represents the first stage of a large project, focused on the access to cultural heritage for wider participation in the preservation, (re)-use and management of European culture. 3