From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA20671; Fri, 10 Oct 2003 19:19:37 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA14521 for ; Fri, 10 Oct 2003 19:19:36 +0200 (MET DST) Received: from mail.dcs.qmul.ac.uk (vicar.dcs.qmul.ac.uk [138.37.88.163]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h9AHJZ100701 for ; Fri, 10 Oct 2003 19:19:35 +0200 (MET DST) Received: from xenografia.plus.com ([212.159.85.26] helo=dcs.qmul.ac.uk) by mail.dcs.qmul.ac.uk with asmtp (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.24) id 1A80vO-0003Lg-G2; Fri, 10 Oct 2003 18:19:34 +0100 Message-ID: <3F86EA07.2050306@dcs.qmul.ac.uk> Date: Fri, 10 Oct 2003 18:19:03 +0100 From: Martin Berger User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030703 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Christian Rinderknecht CC: caml-list@inria.fr Subject: Re: [Caml-list] extending a type with Marshal References: <20031008212257.19628.qmail@web40606.mail.yahoo.com> <1065777556.21150.15.camel@lulu.devinci.fr> In-Reply-To: <1065777556.21150.15.camel@lulu.devinci.fr> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Auth-User: martinb X-DCS-Spam-Score: -1.5 X-clamav-result: clean (1A80vO-0003Lg-G2) X-uvscan-result: clean (1A80vO-0003Lg-G2) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 thesis:01 checker:01 erlang:01 .1,:99 toying:01 topology:01 ocaml:01 ocaml:01 folks:01 marshal:01 parser:02 parser:02 asn:02 asn:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > 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