Towards a native toplevel for the OCaml language
نویسندگان
چکیده
This paper presents the current state of our work on an interactive toplevel for the OCaml language based on the optimizing native code compiler and runtime. Our native toplevel is up to 100 times faster than the default OCaml toplevel, which is based on the byte code compiler and interpreter. It uses Just-In-Time techniques to compile toplevel phrases to native code at runtime, and currently works with various Unix-like systems running on x86 or x86-64 processors.
منابع مشابه
Interactive Programming of Reactive Systems (Draft)
The language ReactiveML is an extension of the general purpose programming language OCaml with synchronous reactive constructs. It is dedicated to program reactive systems such as video games or simulators. This paper presents rmltop, the ReactiveML counterpart of the OCaml toplevel. This toplevel allows a programmer to interactively write ReactiveML programs which are typechecked, compiled and...
متن کاملInteractive Programming of Reactive Systems
ReactiveML is a synchronous reactive extension of the general purpose programming language OCaml. It allows to program reactive systems such as video games or simulators. This paper presents rmltop, the ReactiveML counterpart of the OCaml toplevel. This toplevel allows a programmer to interactively write ReactiveML programs which are type-checked, compiled and loaded on the fly. The user can th...
متن کاملThe ReactiveML Toplevel (tool demo)
ReactiveML [4] is an extension of Objective Caml dedicated to the programming of reactive systems such as video games or simulation problems. It takes advantage of Objective Caml expressiveness and it introduces new constructs a la Esterel [5] to deal with time. ReactiveML is based on the synchronous reactive model [2]. In this model, time is represented as a succession of logical instants and ...
متن کاملAttitudes towards English Language Norms in the Expanding Circle: Development and Validation of a new Model and Questionnaire
This paper describes the development and validation of a new model and questionnaire to measure Iranian English as a foreign language learners’ attitudes towards the use of native versus non-native English language norms. Based on a comprehensive review of the related literature and interviews with domain experts, five factors were identified. A draft version of a questionnaire based on those f...
متن کاملObjective Caml on .NET: The OCamIL Compiler and Toplevel
We present the OCamIL compiler for Objective Caml that targets .NET. Our goal is to understand whether this new generation of virtual machines and runtime environment can help us compile ML programs and produce executables of reasonable efficiency. We aim at compatibility with the original language, and its advanced programming features (functional values, exceptions, parameterized modules, obj...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1110.1029 شماره
صفحات -
تاریخ انتشار 2011