X. Leroy, D. R'emy, J. Vouillon, and D. Doligez. Objective Caml user's manual, 1998. See http://pauillac.inria.fr/ocaml/.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....into SML. We describe this integration of Standard ML and Java, first informally with example program fragments, and then formally in the notation used by The Definition of Standard ML. 1 Introduction Functional language implementations nearly all provide some way to call external C functions [4, 9, 12], but direct interworking with a low level, non typesafe, language with no garbage collection is never going to be easy or pretty. Most functional programmers never use the foreign interface except via functionally wrapped libraries written by compiler experts. The importance of good foreign ....

....with methods, constructors can be used as first class values, and implicit coercions are applied using the same rules. For example: val labels = map javax.swing.JLabel [ A , B ] 4. 6 Casts and typecase (expression) exp : ty (pattern) id : ty A new syntax is introduced (borrowed from O Caml [14, 12]) to denote Java style casts. It can be used to cast an object up to a superclass: val c = JButton My button ) Component Explicit coercions are sometimes required when passing Java objects to ML functions, as coercions are only applied implicitly when invoking Java methods. The same syntax ....

[Article contains additional citation context not shown here]

X. Leroy, D. R'emy, J. Vouillon, and D. Doligez. Objective Caml user's manual, 1998. See http://pauillac.inria.fr/ocaml/.

....polymorphic behavior of id. This form of polymorphism is embodied in the type system of ML [23] Its practical usefulness has been widely recognized and an ML style polymorphic type system has been adopted in a number of modern polymorphic programming languages including Standard ML [24] OCaml [22] and Haskell [15] Recent studies of record polymorphism enable us to represent polymorphic functions operating on labeled record structures. Using the type system of [31] the eld selection function f above is given the following polymorphic type f : 8t 1 : U:8t 2 : ffl : t 1 gg: t 2 t 1 ....

X. Leroy. The Objective Caml User's Manual. INRIA Rocquencourt, B.P. 105 78153 Le Chesnay France, 1997.

....an ML style language. Let us review the problems related to value polymorphism and type passing semantics in ML. 1. 1 Problem in value polymorphism To safely integrate imperative features, in most of currently implemented ML style impure polymorphic languages including Standard ML [14] and Ocaml [12], polymorphism is restricted to syntactic values (non expansive expressions) As argued in [25] this is a simple and easily implementable solution to the subtle problem of the inconsistency between polymorphism and imperative features. However, the combination of ML polymorphism and the value ....

X. Leroy. The Objective Caml User's Manual. INRIA Rocquencourt, B.P. 105 78153 Le Chesnay France, 1997.

....polymorphism. y Partly supported by the Japanese Ministry of Education Grant in Aid for Scientific Research on Priority Area 275: advanced databases . polymorphic type system has been adopted in a number of modern polymorphic programming languages including Standard ML [20] OCaml [18] and Haskell [11] Recent studies of record polymorphism enable us to represent polymorphic functions operating on labeled record structures. Using the type system of [26] the field selection function f above is given the following polymorphic type f : 8t 1 : U:8t 2 : ffl : t 1 gg: t 2 t 1 ....

X. Leroy. The Objective Caml User's Manual. INRIA Rocquencourt, B.P. 105 78153 Le Chesnay France, 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC