Re: [Caml-list] extending a type with Marshal

[Martin Berger <martinb@dcs.qmul.ac.uk>]

 > In my PhD thesis I wrote a parser and a checker for ASN.1:1988/90, but
 > no code generation for O'Caml. I remember that Erlang had such a
 > facility integrated transparently. It is worth looking this way.
 >
 > For all information about ASN.1, see the excellent site of France
 > Telecom R&D at http://asn1.elibel.tm.fr/. By the way, these folks
 > develop some ASN.1 tools in O'Caml, but do not disclose their source
 > code in general.

for a long time i have been toying with the idea of writing a proper
network management systems (with layer 2 topology detection) in
ocaml. it seems an ideal language for this purpose. it  would also be
a "killer application" for ocaml, if successful. one of the things
that have prevented me from doing so was my dread at writing parser,
especially for things like ASN.1 ... if however usable and reasonably
licensed ocaml libraries for that sort thing already existed, i *may*
reconsider ... so my question for you is: do these libraries exist
in the public domain, would  your phd's parser be suitable for such
a project, or, if not, can the france telecom R&D suits be convinced
to donate a bit of code?

martin


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners