The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs

The importance of reasoning about and refactoring programs is a central tenet of functional programming. Yet our compilers and development toolchains only provide rudimentary support for these tasks. This paper introduces a programmatic and compiler-centric interface that facilitates refactoring and equational reasoning. To develop our ideas, we have implemented HERMIT, a toolkit enabling informal but systematic transformation of Haskell programs from inside the Glasgow Haskell Compiler’s optimization pipeline. With HERMIT, users can experiment with optimizations and equational reasoning, while the tedious heavy lifting of performing the actual transformations is done for them. HERMIT provides a transformation API that can be used to build higher-level rewrite tools. One use-case is prototyping new optimizations as clients of this API before being committed to the GHC toolchain. We describe a HERMIT application - a read-eval-print shell for performing transformations using HERMIT. We also demonstrate using this shell to prototype an optimization on a specific example, and report our initial experiences and remaining challenges

The Politics of Federalism in Argentina: Implications for Governance and Accountability

This paper contributes to an agenda that views the effects of policies and institutional reforms as dependent on the structure of political incentives for national and subnational political actors. The paper studies political incentive structures at the subnational level and the mechanisms whereby they affect national-level politics and policymaking at the national level in Argentina, a highly decentralized middle-income democracy, Argentina. The Argentine political system makes subnational political power structures very influential in national politics. Moreover, most Argentine provinces are local bastions of power dominated by entrenched elites, characterized by scarce political competition, weak division of powers, and clientelistic political linkages. Political dominance in the provinces and political importance at the national level reinforce each other, dragging the Argentine political and policymaking system towards the practices and features of its most politically backward regions