1ML – core and modules united (F-ing first-class modules)
نویسندگان
چکیده
منابع مشابه
dedekind modules and dimension of modules
در این پایان نامه، در ابتدا برای مدول ها روی دامنه های پروفر شرایط معادل به دست آورده ایم و خواصی از ددکیند مدول ها روی دامنه های پروفر مشخص کرده ایم. در ادامه برای ددکیند مدول های با تولید متناهی روی حلقه های به طور صحیح بسته شرایط معادل به دست آورده ایم و ددکیند مدول های ضربی را مشخص کرده ایم. گزاره هایی در مورد بعد ددکیند مدول ها بیان کرده ایم. در پایان، قضایای lying over و going down را برا...
15 صفحه اولFirst-Class Modules for Perl
ML’s functors allow developers to write code which generates software modules at compile time. We present a system for a similar, but more powerful, feature for the popular industrygrade language Perl, which is frequently used for implementing Internet services and “glue” software. This enables the modular development of parameterized packages and classes, as well as several other features ofte...
متن کاملFirst-Class Modules for Haskell
Though Haskell’s module language is quite weak, its core language is highly expressive. Indeed, it is tantalisingly close to being able to express much of the structure traditionally delegated to a seperate module language. However, the encodings are awkward, and some situations can’t be encoded at all. In this paper we refine Haskell’s core language to support first-class modules with many of ...
متن کاملinjective modules and prime ideals
محور اصلی این پایان نامه، r- مدولهای a – انژکتیو می باشد که آنها را به عنوان یک تعمیم از مدول های انژکتیو معرفی می کنیم. در ابتدا مدول های انژکتیو را معرفی کرده، سپس برخی نتایج مهم وشناخته شده مدول های انژکتیو را به مدول های a – انژکتیو تعمیم می دهیم. در ادامه رابطه بین مدول های a – انژکتیو و حلقه های نوتری را بررسی می کنیم. پس هدف کلی این پایان نامه این است که با بررسی انژکتیو بودن ایده آله...
15 صفحه اول1ML with Special Effects - F-ing Generativity Polymorphism
We take another look at 1ML, a language in the ML tradition, but with core and modules merged into one unified language, rendering all modules first-class values. 1ML already comes with a simple form of effect system that distinguishes pure from impure computations. Now we enrich it with effect polymorphism: by introducing effect declarations and, more interestingly, abstract effect specificati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2015
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2858949.2784738