[Caml-list] tiny syntactic convenience suggestion

[Caml-list] tiny syntactic convenience suggestion

[STARYNKEVITCH Basile]

Hello All,

For top level bindings to be used by C code I suggest a syntactic
sugar:

  let external "fooname" foo = bigexpr;;

would be equivalent to 

  let foo = bigexpr;
  Callback.register "fooname"  foo;;


Perhaps even we could have

  let external foo = bigexpr;;

equivalent to 

  let external "foo" foo = bigexpr;;
  
I know that this is not perfectly orthogonal (e.g. w.r.t. Ocaml module
system) but I believe it would be a useful feature for novice users
using Ocaml as a scripting langage embedded in an existing application


N.B. Any opinions expressed here are only mine, and not of my organization.
N.B. Les opinions exprimees ici me sont personnelles et n engagent pas le CEA.

---------------------------------------------------------------------
Basile STARYNKEVITCH   ----  Commissariat à l Energie Atomique * France
DRT/LIST/DTSI/SLA * CEA/Saclay b.528 (p111f) * 91191 GIF/YVETTE CEDEX 
phone:+33 1,6908.6055; fax: 1,6908.8395 home: 1,4665.4553; mobile: 6,8501.2359
work email: Basile point Starynkevitch at cea point fr 
home email: Basile at Starynkevitch point net

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr