JUCS - Journal of Universal Computer Science 11(7): 1255-1274, doi: 10.3217/jucs-011-07-1255
Compiling Non­strict Functional Languages for the .NET Platform
expand article infoMonique Monteiro, Mauro Araújo, Rafael Borges, André Santos
‡ Center of Informatics, Federal University of Pernambuco, Brazil
Open Access
In this work, we propose a compilation strategy for non­strict functional languages targeting the Microsoft .NET Platform, a multilanguage platform which provides a large number of services to aid current software development. This strategy is based on the push/enter execution model, enables fast function calling mechanisms whenever possible and males use of new features present in .NET Framework, such as delegates and tail calls. Our case study was the compilation of the Haskell language, a standardized and well known non­strict functional language. Our main contribution is the construction of an environment for the testing of different compilation techniques for functional languages targeting .NET.
.NET, languages interoperability, virtual machines, functional programming, compilers, Haskell