Phantom Types
نویسندگان
چکیده
Phantom types are data types with type constraints associated with different cases. Examples of phantom types include typed type representations and typed higher-order abstract syntax trees. These types can be used to support typed generic functions, dynamic typing, and staged compilation in higher-order, statically typed languages such as Haskell or Standard ML. In our system, type constraints can be equations between type constructors as well as type functions of higher-order kinds. We prove type soundness and decidability for a Haskell-like language extended by phantom types.
منابع مشابه
First-Class Phantom Types
Classical phantom types are datatypes in which type constraints are expressed using type variables that do not appear in the datatype cases themselves. They can be used to embed typed languages into Haskell or ML. However, while such encodings guarantee that only wellformed data can be constructed, they do not permit type-safe deconstruction without additional tagging and run-time checks. We in...
متن کاملPhantom Types and Subtyping
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to model a subtyping hierarchy. Hindley-Milner type systems, such as the one found in Standard ML, can be used to enforce the subtyping relation, at least for first-order values. We show that this technique can be used to e...
متن کاملPhantom hand and wrist movements in upper limb amputees are slow but naturally controlled movements.
After limb amputation, patients often wake up with a vivid perception of the presence of the missing limb, called "phantom limb". Phantom limbs have mostly been studied with respect to pain sensation. But patients can experience many other phantom sensations, including voluntary movements. The goal of the present study was to quantify phantom movement kinematics and relate these to intact limb ...
متن کاملRunning Head: TREATMENT FOR PHANOTM LIMB PAIN 1 Efficacy of Different Treatment and Management Types for Phantom Limb Pain
Phantom limb pain affects an alarming amount of amputees. Little is known about the true cause of phantom limb pain, making it difficult to establish a standard treatment for it. This literature review looks at the etiology of phantom limb pain as well as the three major forms of treatment for phantom limb pain: pharmacological, invasive, and supportive. These three forms of treatment use diffe...
متن کاملPhantom shell around black hole and global geometry
We describe the possible scenarios for the evolution of a thin spherically symmetric self-gravitating phantom shell around the Schwarzschild black hole. The general equations describing the motion of the shell with a general form of equation of state are derived and analyzed. The different types of space-time R±and T±-regions and shell motion are classified depending on the parameters of the pr...
متن کامل