Functional compiler

Functional compiler

=External links=

A functional compiler is a compiler for a functional programming language. Functional compilers perform such transformation on source code which transform it to continuation passing style or administrative normal form and need to handle tail calls correctly.

External links

* [http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf An Incremental Approach to Compiler Construction]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Compiler construction — is an area of computer science that deals with the theory and practice of developing programming languages and their associated compilers. The theoretical portion is primarily concerned with syntax, grammar and semantics of programming languages …   Wikipedia

  • Compiler optimization — is the process of tuning the output of a compiler to minimize or maximize some attributes of an executable computer program. The most common requirement is to minimize the time taken to execute a program; a less common one is to minimize the… …   Wikipedia

  • Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… …   Wikipedia

  • Glasgow Haskell Compiler — Infobox Software name = Glasgow Haskell Compiler developer = University of Glasgow latest release version = 6.8.3 latest release date = Jun 17, 2008 operating system = Cross platform genre = Compiler license = BSD website =… …   Wikipedia

  • Thunk (functional programming) — In computer science, a thunk (also suspension, suspended computation or delayed computation) is a parameterless closure created to prevent the evaluation of an expression until forced at a later time. In lazy languages thunks are created and… …   Wikipedia

  • Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… …   Wikipedia

  • International Conference on Functional Programming — The International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming).The conference… …   Wikipedia

  • List of functional programming topics — This is a list of functional programming topics. Contents 1 Foundational concepts 2 Lambda calculus 3 Combinatory logic 4 Intuitionistic logic …   Wikipedia

  • Another Haskell Compiler — Тип Компилятор Разработчик York Functional Programming Group Операционная система Кроссплатформенное программное обеспечение Последняя версия 1.20 (22 ноября 2007) Лицензия GNU GPL …   Википедия

  • Administrative normal form — In computer science, administrative normal form (abbreviated ANF) is a canonical form of programs, which was introduced by Flanagan et al 1993 to serve as an intermediate representation in functional compilers to make subsequent transformations… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”