LEAP: A Language with Eval And Polymorphism
نویسندگان
چکیده
We describe the core of a new strongly-typed functional programming language called LEAP, a \Language with Eval And Polymorphism." Pure LEAP is an extension of the !-order polymorphic -calculus (F ! ) by global de nitions that allows the representation of programs and the de nition of versions of reify, reflect, and eval for all of F ! . Pure LEAP is therefore highly re exive and strongly typed. We believe that Pure LEAP can be extended to a practical and e cient metalanguage in the ML tradition. At present we are experimenting with a prototype implementation of Pure LEAP.
منابع مشابه
Exploring Impacts of Consciousness-raising in a Genre-based Pedagogy
This study reports on the findings of a genre teaching course for developing academic writing of a class of EFL students in Iran. The information report genre was taught in a cyclical way of teaching and learning, which was started from ‘setting the context’ and ‘deconstruction’ of prototype information report genre, and continued with ‘joint construction’, ‘independent construction’, and final...
متن کاملA new approach to interpreting relationship between Rock-Eval S2 and TOC data for source rock evaluation based on regression analyses
To evaluate the relationship between total organic carbon (TOC) and Rock-Eval S2 (petroleum potential) of petroleum source rocks, atotal of 180 outcrop samples from the black organic matter–rich facies of Mesozoic strata from a locality of southwest of Iran wereinvestigated using Rock-Eval VI pyrolysis and Leco Carbon Analyzer. The linear regression is applied to determine the correlationbetwee...
متن کاملA study on some properties of leap graphs
In a graph G, the first and second degrees of a vertex v is equal to thenumber of their first and second neighbors and are denoted by d(v/G) andd 2 (v/G), respectively. The first, second and third leap Zagreb indices are thesum of squares of second degrees of vertices of G, the sum of products of second degrees of pairs of adjacent vertices in G and the sum of products of firs...
متن کاملType Dynamic
Even in the most expressive statically-typed languages, there are always programs that will require run-time type information. An example of such a program is the eval function, whose ouput cannot be assigned a type at compile time. Abadi et al. introduce Dynamic values to solve this problem. A Dynamic value is a pair that contains a value and a type tag for that value. The authors also introdu...
متن کاملCompiling Exceptions Correctly
An exception compilation scheme that dynamically creates and removes exception handler entries on the stack. A formalization of an article of the same name by Hutton and Wright [1]. 1 Compiling exception handling theory Exceptions imports Main begin 1.1 The source language datatype expr = Val int | Add expr expr | Throw | Catch expr expr consts eval :: "expr ⇒ int option" primrec "eval (Val i) ...
متن کامل