Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Wish =)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jonathan Roewen <jonathan.roewen@g...>
Subject: [Caml-list] Wish =)
Hi,

Wouldn't it be nice to have type-safe reflection in ocaml? From all
appearances, this should be entirely possible considering the toplevel
can do typechecking and what not at runtime on arbitrarily loaded code
(including the app it's included in). So you would need the .cmi files
present for such thing to work -- but I don't think that'd be a real
burden for apps that want reflection.

Jonathan