منابع مشابه
Ornaments in practice, higher-order ornaments
6 Syntactic ornaments in the binary language 21 6.1 From ornaments to projection . . . . . . . . . . . . . . . . . . . . . . . . . . 24 6.2 Syntax of the binary language . . . . . . . . . . . . . . . . . . . . . . . . . . 25 6.3 Projection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 6.4 Datatype environment . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملProgramming with ornaments
Dependently typed programming advocates the use of various indexed versions of the same shape of data, but the formal relationship among these structurally similar datatypes usually needs to be established manually and tediously. Ornaments have been proposed as a formal mechanism to manage the relationships between such datatype variants. In this paper, we conduct a case study under an ornament...
متن کاملThe essence of ornaments
Functional programmers from all horizons strive to use, and sometimes abuse, their favorite type system in order to capture the invariants of their programs. A widely-used tool in that trade consists in defining finely-indexed datatypes. Operationally, these types classify the programmer’s data, following the ML tradition. Logically, these types enforce the program invariants in a novel manner....
متن کاملHyperbolization of Euclidean Ornaments
In this article we outline a method that automatically transforms an Euclidean ornament into a hyperbolic one. The necessary steps are pattern recognition, symmetry detection, extraction of a Euclidean fundamental region, conformal deformation to a hyperbolic fundamental region and tessellation of the hyperbolic plane with this patch. Each of these steps has its own mathematical subtleties that...
متن کاملForaging Cost of Ornaments Which Are Not Ornaments ] Comment on Matyjasiak
In a recent article Matyjasiak et al[ "0888# tested the hypothesis that the cost of a long forked tail ornament can be due to impaired foraging[ The authors lengthened\ experimentally\ the outermost tail feathers of female sand martins "Riparia riparia# and checked the ~ight cost of the manipulation in terms of foraging cost\ i[e[ feeding rates and prey items size[ They found that tail!elongate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2014
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796814000069