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 JAA25973; Tue, 10 Dec 2002 09:27:17 +0100 (MET) 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 JAA25276 for ; Tue, 10 Dec 2002 09:27:16 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from www.duonix.com ([210.113.163.221]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gBA8RD120025 for ; Tue, 10 Dec 2002 09:27:14 +0100 (MET) Received: from hama ([192.168.0.254]) by www.duonix.com (8.12.5/8.11.6) with SMTP id gBA8TUwM014912 for ; Tue, 10 Dec 2002 17:29:30 +0900 (KST) (envelope-from shoh@duonix.com) X-Authentication-Warning: www.duonix.com: Host [192.168.0.254] claimed to be hama Message-ID: <000d01c2a026$77c3b070$fe00a8c0@hama> From: "SooHyoung Oh" To: "Caml-List" Subject: [Caml-list] [Q] opengl bindings without tcl/tk Date: Tue, 10 Dec 2002 17:30:59 +0900 MIME-Version: 1.0 Content-Type: text/plain; charset="ks_c_5601-1987" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk It seems that lablgl package requires tcl/tk. Did anyone fix lablgl not to use tcl/tk? ps: Why lablgl requires tcl/tk? --- SooHyoung Oh http://www.taglib.co.kr/shoh.html ------------------- 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 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 JAA26263; Tue, 10 Dec 2002 09:37:58 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA26365 for ; Tue, 10 Dec 2002 09:37:57 +0100 (MET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gBA8btX04163 for ; Tue, 10 Dec 2002 09:37:55 +0100 (MET) Received: from localhost (suiren.kurims.kyoto-u.ac.jp [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id RAA07571; Tue, 10 Dec 2002 17:37:43 +0900 (JST) To: shoh@duonix.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] [Q] opengl bindings without tcl/tk In-Reply-To: <000d01c2a026$77c3b070$fe00a8c0@hama> References: <000d01c2a026$77c3b070$fe00a8c0@hama> X-Mailer: Mew version 1.94.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20021210173743S.garrigue@kurims.kyoto-u.ac.jp> Date: Tue, 10 Dec 2002 17:37:43 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: "SooHyoung Oh" > It seems that lablgl package requires tcl/tk. > Did anyone fix lablgl not to use tcl/tk? LablGL does not really require labltk. It is just that when lablGL was first released, the only way to use it was in combination with labltk. Now you can choose: labltk, lablgtk, or Isaac Trotts lablglut. If you don't have labltk, you need just to remove togl.cma and togl.cmxa from targets in the Makefile. --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG ------------------- 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 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 JAA26494; Tue, 10 Dec 2002 09:38:16 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA26032 for ; Tue, 10 Dec 2002 09:38:16 +0100 (MET) Received: from mel-rto2.wanadoo.fr (smtp-out-2.wanadoo.fr [193.252.19.254]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gBA8cFX04170 for ; Tue, 10 Dec 2002 09:38:15 +0100 (MET) Received: from mel-rta9.wanadoo.fr (193.252.19.69) by mel-rto2.wanadoo.fr (6.7.010) id 3DEF189A00301497; Tue, 10 Dec 2002 09:38:02 +0100 Received: from iliana (81.48.237.132) by mel-rta9.wanadoo.fr (6.7.010) id 3DF0DEAF00190F4F; Tue, 10 Dec 2002 09:38:02 +0100 Received: from luther by iliana with local (Exim 3.36 #1 (Debian)) id 18Lftx-0000Gn-00; Tue, 10 Dec 2002 09:38:01 +0100 Date: Tue, 10 Dec 2002 09:38:01 +0100 To: SooHyoung Oh Cc: Caml-List Subject: Re: [Caml-list] [Q] opengl bindings without tcl/tk Message-ID: <20021210083801.GA1026@iliana> References: <000d01c2a026$77c3b070$fe00a8c0@hama> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <000d01c2a026$77c3b070$fe00a8c0@hama> User-Agent: Mutt/1.4i From: Sven Luther Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Dec 10, 2002 at 05:30:59PM +0900, SooHyoung Oh wrote: > > It seems that lablgl package requires tcl/tk. > Did anyone fix lablgl not to use tcl/tk? > > ps: Why lablgl requires tcl/tk? There is a GLUT binding you can use, and also you can use lablgtk which provides binding for gtkglarea where you can also do OpenGL drawings. Friendly, Sven Luther ------------------- 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 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 MAA30754; Tue, 10 Dec 2002 12:17:12 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA30929 for ; Tue, 10 Dec 2002 12:17:11 +0100 (MET) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gBABHBX14362 for ; Tue, 10 Dec 2002 12:17:11 +0100 (MET) Received: from akasha.ijm.jussieu.fr (akasha.ijm.jussieu.fr [134.157.173.57]) by shiva.jussieu.fr (8.12.5/jtpda-5.4) with ESMTP id gBABHAjC048136 for ; Tue, 10 Dec 2002 12:17:10 +0100 (CET) Received: by akasha.ijm.jussieu.fr (Postfix, from userid 11004) id 992813C45B; Tue, 10 Dec 2002 12:17:05 +0100 (CET) From: Olivier Andrieu MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15861.52529.299283.384845@akasha.ijm.jussieu.fr> Date: Tue, 10 Dec 2002 12:17:05 +0100 To: caml-list@inria.fr Subject: Re: [Caml-list] [Q] opengl bindings without tcl/tk In-Reply-To: <20021210173743S.garrigue@kurims.kyoto-u.ac.jp> References: <000d01c2a026$77c3b070$fe00a8c0@hama> <20021210173743S.garrigue@kurims.kyoto-u.ac.jp> X-Mailer: VM 7.07 under Emacs 21.2.1 X-Antivirus: scanned by sophie at shiva.jussieu.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques Garrigue [Tuesday 10 December 2002] : > LablGL does not really require labltk. > It is just that when lablGL was first released, the only way to use > it was in combination with labltk. Now you can choose: labltk, > lablgtk, or Isaac Trotts lablglut. It works with ocamlsdl too. -- Olivier ------------------- 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 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 NAA01687; Tue, 10 Dec 2002 13:45:05 +0100 (MET) 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 NAA01303 for ; Tue, 10 Dec 2002 13:45:03 +0100 (MET) Received: from dux.ru (ns.dux.ru [193.125.210.65]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gBACj2128150 for ; Tue, 10 Dec 2002 13:45:02 +0100 (MET) Received: from dux.ru (localhost [127.0.0.1]) by dux.ru (8.12.6/8.12.6) with ESMTP id gBACob6g097344 for ; Tue, 10 Dec 2002 15:50:38 +0300 (MSK) (envelope-from snob@snob.spb.ru) Received: (from uucp@localhost) by dux.ru (8.12.6/8.12.1/Submit) with UUCP id gBACob6e097343 for caml-list@inria.fr; Tue, 10 Dec 2002 15:50:37 +0300 (MSK) (envelope-from snob@snob.spb.ru) Received: (qmail 1714 invoked by uid 0); 10 Dec 2002 12:50:49 -0000 Received: from unknown (HELO athlon.snob.spb.ru) (unknown) by unknown with SMTP; 10 Dec 2002 12:50:49 -0000 Content-Type: text/plain; charset="euc-kr" From: Nickolay Semyonov-Kolchin To: "SooHyoung Oh" Subject: Re: [Caml-list] [Q] opengl bindings without tcl/tk Date: Tue, 10 Dec 2002 15:32:42 +0500 User-Agent: KMail/1.4.3 References: <000d01c2a026$77c3b070$fe00a8c0@hama> In-Reply-To: <000d01c2a026$77c3b070$fe00a8c0@hama> Cc: "Caml-List" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Message-Id: <200212101532.42928.snob@snob.spb.ru> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tuesday 10 December 2002 13:30, SooHyoung Oh wrote: > It seems that lablgl package requires tcl/tk. > Did anyone fix lablgl not to use tcl/tk? > > ps: Why lablgl requires tcl/tk? > I've done an alternate OpenGL bindings. They don't require tcl/tk. If you= are=20 interested, I can e-mail them to you before public release. Nickolay ------------------- 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 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 OAA04080; Tue, 10 Dec 2002 14:54:38 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA04217 for ; Tue, 10 Dec 2002 14:54:38 +0100 (MET) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gBADsbX22261 for ; Tue, 10 Dec 2002 14:54:37 +0100 (MET) Received: from pc8-123 (mail@pc8-123 [129.175.8.123]) by lri.lri.fr (8.11.6/jtpda-5.3.2) with ESMTP id gBADbvR22396 ; Tue, 10 Dec 2002 14:37:57 +0100 (MET) Received: from filliatr by pc8-123 with local (Exim 3.35 #1 (Debian)) id 18LkaD-0006kx-00; Tue, 10 Dec 2002 14:37:57 +0100 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15861.60981.353467.247253@lri.lri.fr> Date: Tue, 10 Dec 2002 14:37:57 +0100 To: Olivier Andrieu Cc: caml-list@inria.fr Subject: Re: [Caml-list] [Q] opengl bindings without tcl/tk In-Reply-To: <15861.52529.299283.384845@akasha.ijm.jussieu.fr> References: <000d01c2a026$77c3b070$fe00a8c0@hama> <20021210173743S.garrigue@kurims.kyoto-u.ac.jp> <15861.52529.299283.384845@akasha.ijm.jussieu.fr> X-Mailer: VM 6.93 under Emacs 20.7.2 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) X-MailScanner: Found to be clean Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Olivier Andrieu writes: > Jacques Garrigue [Tuesday 10 December 2002] : > > LablGL does not really require labltk. > > It is just that when lablGL was first released, the only way to use > > it was in combination with labltk. Now you can choose: labltk, > > lablgtk, or Isaac Trotts lablglut. > > It works with ocamlsdl too. It's fun you mention it, since I've just added the support for OpenGL functions in ocamlsdl (it was easy: one flag and one function to interface). I'm using the lablGL bindings, without the tcl/tk part. I've started to port the tutorials by Jeff Molofee (http://nehe.gamedev.net/) in ocaml, in the subdirectory opengl/. For the impatient, I've made a tarball with the first 6 lessons, available at: http://www.lri.fr/~filliatr/ftp/ocaml/ocamlsdl/ -- Jean-Christophe ------------------- 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 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 PAA06615; Tue, 10 Dec 2002 15:54:31 +0100 (MET) 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 PAA07032 for ; Tue, 10 Dec 2002 15:54:30 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web40805.mail.yahoo.com (web40805.mail.yahoo.com [66.218.78.182]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id gBAEsS102634 for ; Tue, 10 Dec 2002 15:54:29 +0100 (MET) Message-ID: <20021210145428.92777.qmail@web40805.mail.yahoo.com> Received: from [4.18.166.227] by web40805.mail.yahoo.com via HTTP; Tue, 10 Dec 2002 06:54:28 PST Date: Tue, 10 Dec 2002 06:54:28 -0800 (PST) From: Eric Merritt Subject: Re: [Caml-list] [Q] opengl bindings without tcl/tk To: caml-list@inria.fr In-Reply-To: <20021210173743S.garrigue@kurims.kyoto-u.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On this topic, Does anyone have any idea if lablglut will compile and run on windows? Just curious, I would be interested in something a bit lighter weight then gtk and a bit more performant then tk, in which to embed gl. Thanks, Eric --- Jacques Garrigue wrote: > From: "SooHyoung Oh" > > > It seems that lablgl package requires tcl/tk. > > Did anyone fix lablgl not to use tcl/tk? > > LablGL does not really require labltk. > It is just that when lablGL was first released, the > only way to use it > was in combination with labltk. Now you can choose: > labltk, lablgtk, > or Isaac Trotts lablglut. > > If you don't have labltk, you need just to remove > togl.cma and > togl.cmxa from targets in the Makefile. > __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com ------------------- 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 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 VAA17771; Fri, 13 Dec 2002 21:22:31 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA17766 for caml-list@pauillac.inria.fr; Fri, 13 Dec 2002 21:22:31 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA17457 for ; Fri, 13 Dec 2002 21:01:47 +0100 (MET) Received: from tripoli.ucdavis.edu (tripoli.ucdavis.edu [169.237.105.150]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gBDK1k909619 for ; Fri, 13 Dec 2002 21:01:46 +0100 (MET) Received: from boson.localdomain.fake (postfix@[128.120.141.218]) by tripoli.ucdavis.edu (8.11.6/8.11.0/virus-scan-4.0.1) with ESMTP id gBDK1gC00025 for ; Fri, 13 Dec 2002 12:01:43 -0800 (PST) Received: by boson.localdomain.fake (Postfix, from userid 1000) id 6C994A00C9; Fri, 13 Dec 2002 12:02:29 -0800 (PST) Date: Fri, 13 Dec 2002 12:02:29 -0800 To: OCaml Mailing List Subject: Re: [Caml-list] [Q] opengl bindings without tcl/tk Message-ID: <20021213200229.GD731@boson.ucdavis.edu> References: <20021210173743S.garrigue@kurims.kyoto-u.ac.jp> <20021210145428.92777.qmail@web40805.mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20021210145428.92777.qmail@web40805.mail.yahoo.com> User-Agent: Mutt/1.3.28i From: issac@ucdavis.edu (Issac Trotts) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Eric Merritt wrote: > On this topic, > > Does anyone have any idea if lablglut will compile > and run on windows? Just curious, I would be > interested in something a bit lighter weight then gtk > and a bit more performant then tk, in which to embed > gl. > > Thanks, > Eric > I haven't ported it yet, but it will probably be easy. Issac ------------------- 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 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 WAA18856; Fri, 13 Dec 2002 22:06:17 +0100 (MET) 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 WAA18852 for ; Fri, 13 Dec 2002 22:06:16 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web40807.mail.yahoo.com (web40807.mail.yahoo.com [66.218.78.184]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id gBDL6Fj16258 for ; Fri, 13 Dec 2002 22:06:15 +0100 (MET) Message-ID: <20021213210614.99919.qmail@web40807.mail.yahoo.com> Received: from [4.18.166.227] by web40807.mail.yahoo.com via HTTP; Fri, 13 Dec 2002 13:06:14 PST Date: Fri, 13 Dec 2002 13:06:14 -0800 (PST) From: Eric Merritt Subject: Re: [Caml-list] [Q] opengl bindings without tcl/tk To: Issac Trotts , OCaml Mailing List In-Reply-To: <20021213200229.GD731@boson.ucdavis.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I might be willing to put a little time into it. The only draw back to this is that I am by no means a C/C++ guy. I might be able to blunder my way through it. I may have some questions however. Thanks, Eric --- Issac Trotts wrote: > Eric Merritt wrote: > > On this topic, > > > > Does anyone have any idea if lablglut will > compile > > and run on windows? Just curious, I would be > > interested in something a bit lighter weight then > gtk > > and a bit more performant then tk, in which to > embed > > gl. > > > > Thanks, > > Eric > > > > I haven't ported it yet, but it will probably be > easy. > > Issac > ------------------- > 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 __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com ------------------- 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 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 CAA23119; Sat, 14 Dec 2002 02:52:17 +0100 (MET) 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 CAA23115 for ; Sat, 14 Dec 2002 02:52:16 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web40805.mail.yahoo.com (web40805.mail.yahoo.com [66.218.78.182]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id gBE1qFj19907 for ; Sat, 14 Dec 2002 02:52:15 +0100 (MET) Message-ID: <20021214015214.68552.qmail@web40805.mail.yahoo.com> Received: from [4.18.166.227] by web40805.mail.yahoo.com via HTTP; Fri, 13 Dec 2002 17:52:14 PST Date: Fri, 13 Dec 2002 17:52:14 -0800 (PST) From: Eric Merritt Subject: [Caml-list] ocaml embedded scripting language To: caml-list@inria.fr In-Reply-To: <20021213200229.GD731@boson.ucdavis.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I was wondaring if anyone is familiar with a little language implementation that is suitable to be embedded in an ocaml program. I realize that it wouldn't be that hard to do, especially in ocaml, but hate to duplicate work someone else has already done. There aren't really that many requirements, just the ability to look at passed in data structures a return a result based off of them. At first I thought that ocaml itself would be the best scriping langauge but I havn't figured out how to link in code compiled with ocamlopt. In fact, I don't think it is possible at the moment. Basically I just need a simple way to extend a running ocaml program. Thanks, Eric __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com ------------------- 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 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 LAA15526; Sun, 15 Dec 2002 11:05:28 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA15524 for caml-list@pauillac.inria.fr; Sun, 15 Dec 2002 11:05:27 +0100 (MET) 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 TAA05529 for ; Sat, 14 Dec 2002 19:56:26 +0100 (MET) Received: from mail.eecs.harvard.edu ([140.247.60.24]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gBEIuPj01912 for ; Sat, 14 Dec 2002 19:56:26 +0100 (MET) Received: from labrador.eecs.harvard.edu (labrador.eecs.harvard.edu [140.247.60.247]) by mail.eecs.harvard.edu (Postfix) with ESMTP id 0860A54C5FE; Sat, 14 Dec 2002 13:56:25 -0500 (EST) To: Eric Merritt Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml embedded scripting language In-Reply-To: Message from Eric Merritt of "Fri, 13 Dec 2002 17:52:14 PST." <20021214015214.68552.qmail@web40805.mail.yahoo.com> References: <20021214015214.68552.qmail@web40805.mail.yahoo.com> Date: Sat, 14 Dec 2002 13:56:25 -0500 From: Norman Ramsey Message-Id: <20021214185625.0860A54C5FE@mail.eecs.harvard.edu> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > I was wondaring if anyone is familiar with a little > language implementation that is suitable to be > embedded in an ocaml program. I realize that it > wouldn't be that hard to do, especially in ocaml, but > hate to duplicate work someone else has already done. > There aren't really that many requirements, just the > ability to look at passed in data structures a return > a result based off of them. > > > At first I thought that ocaml itself would be the best > scriping langauge but I havn't figured out how to link > in code compiled with ocamlopt. In fact, I don't think > it is possible at the moment. We've written an implementation of Lua, version 2.5, for Ocaml. It's currently bundled with our nascent Quick C-- compiler at www.cminusminus.org. I'd like to split it out as a separate distribution, but we're rather short of help at the moment and I'm trying to get the papers written first. Anyway, as far as I know it's completely compatible with the C version, although a few library functions are missing. We've been fairly happy. If you want to play with it, download and build Quick C--, then go to the lua subdirectory and type `mk lua.ps'---that will give you the documentation for the API. The documentation for the language can probably be had from lua.org, but if they don't keep manuals for old versions, let me know and I'll put one in our CVS archive. Norman ------------------- 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 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 QAA20327; Sun, 15 Dec 2002 16:11:21 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA20344 for ; Sun, 15 Dec 2002 16:11:20 +0100 (MET) Received: from smtp.telenordia.se (franklin.telenor.se [213.150.135.136]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gBFFBJ922652 for ; Sun, 15 Dec 2002 16:11:20 +0100 (MET) Received: from a8l4m8 (du-9-51.ppp.telenordia.se [62.127.9.51]) by franklin.telenor.se (BMR ErlangTM/OTP 3.1) with ESMTP id 992597.965077.1039.0s15941132franklin for ; Sun, 15 Dec 2002 16:11:17 +0100 From: "Dan Andersson" To: caml-list@inria.fr Date: Sun, 15 Dec 2002 16:08:11 +0100 MIME-Version: 1.0 Subject: Re: [Caml-list] ocaml embedded scripting language Message-ID: <3DFCA8EB.13742.2E8F165@localhost> In-reply-to: <20021214015214.68552.qmail@web40805.mail.yahoo.com> References: <20021213200229.GD731@boson.ucdavis.edu> X-mailer: Pegasus Mail for Windows (v4.01) Content-type: text/plain; charset=US-ASCII Content-transfer-encoding: 7BIT Content-description: Mail message body Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Forth languages are almost trivial to implement. /Dan Andersson ------------------- 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 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 PAA12796; Mon, 16 Dec 2002 15:49:52 +0100 (MET) 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 PAA12792 for ; Mon, 16 Dec 2002 15:49:51 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web40809.mail.yahoo.com (web40809.mail.yahoo.com [66.218.78.186]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id gBGEnoj08356 for ; Mon, 16 Dec 2002 15:49:50 +0100 (MET) Message-ID: <20021216144949.62821.qmail@web40809.mail.yahoo.com> Received: from [4.18.166.227] by web40809.mail.yahoo.com via HTTP; Mon, 16 Dec 2002 06:49:49 PST Date: Mon, 16 Dec 2002 06:49:49 -0800 (PST) From: Eric Merritt Subject: Re: [Caml-list] ocaml embedded scripting language To: Norman Ramsey Cc: caml-list@inria.fr In-Reply-To: <20021214185625.0860A54C5FE@mail.eecs.harvard.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Norman, Thanks, I downloaded it and have started looking at it. I am not sure yet how much time I can dedicate to it but we shall see what happens. Thank you, Eric --- Norman Ramsey wrote: > > I was wondaring if anyone is familiar with a > little > > language implementation that is suitable to be > > embedded in an ocaml program. I realize that it > > wouldn't be that hard to do, especially in ocaml, > but > > hate to duplicate work someone else has already > done. > > There aren't really that many requirements, just > the > > ability to look at passed in data structures a > return > > a result based off of them. > > > > > > At first I thought that ocaml itself would be the > best > > scriping langauge but I havn't figured out how to > link > > in code compiled with ocamlopt. In fact, I don't > think > > it is possible at the moment. > > We've written an implementation of Lua, version 2.5, > for Ocaml. > It's currently bundled with our nascent Quick C-- > compiler at > www.cminusminus.org. I'd like to split it out as a > separate > distribution, but we're rather short of help at the > moment and I'm > trying to get the papers written first. Anyway, as > far as I know > it's completely compatible with the C version, > although a few library > functions are missing. We've been fairly happy. > > If you want to play with it, download and build > Quick C--, then go to > the lua subdirectory and type `mk lua.ps'---that > will give you the > documentation for the API. The documentation for > the language can > probably be had from lua.org, but if they don't keep > manuals for old > versions, let me know and I'll put one in our CVS > archive. > > > Norman __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com ------------------- 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 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 PAA12911; Mon, 16 Dec 2002 15:51:52 +0100 (MET) 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 PAA12914 for ; Mon, 16 Dec 2002 15:51:51 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web40805.mail.yahoo.com (web40805.mail.yahoo.com [66.218.78.182]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id gBGEpnj08426 for ; Mon, 16 Dec 2002 15:51:50 +0100 (MET) Message-ID: <20021216145149.29570.qmail@web40805.mail.yahoo.com> Received: from [4.18.166.227] by web40805.mail.yahoo.com via HTTP; Mon, 16 Dec 2002 06:51:49 PST Date: Mon, 16 Dec 2002 06:51:49 -0800 (PST) From: Eric Merritt Subject: Re: [Caml-list] ocaml embedded scripting language To: Dan Andersson , caml-list@inria.fr In-Reply-To: <3DFCA8EB.13742.2E8F165@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dan, After looking at it perhaps absurdly trivial is a better description. I will look into this further. Thank you for the suggestion. Thanks, Eric --- Dan Andersson wrote: > Forth languages are almost trivial to implement. > > /Dan Andersson > ------------------- > 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 __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com ------------------- 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 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 JAA04375; Tue, 17 Dec 2002 09:29:26 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA04371 for ; Tue, 17 Dec 2002 09:29:26 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web40803.mail.yahoo.com (web40803.mail.yahoo.com [66.218.78.180]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id gBH8TOH09524 for ; Tue, 17 Dec 2002 09:29:25 +0100 (MET) Message-ID: <20021217030244.64549.qmail@web40803.mail.yahoo.com> Received: from [4.18.166.227] by web40803.mail.yahoo.com via HTTP; Mon, 16 Dec 2002 19:02:44 PST Date: Mon, 16 Dec 2002 19:02:44 -0800 (PST) From: Eric Merritt Subject: Re: [Caml-list] ocaml embedded scripting language To: Dan Andersson , caml-list@inria.fr In-Reply-To: <3DFCA8EB.13742.2E8F165@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Everyone, Well I decided to take dans advice and do a simple forth like implementation. Overall it doesn't seem like its going to be difficult at all. I have run into a small snag. As a side note I have already decided that this is note possible, this is just a last ditch to see if there is a solution. It has to do with the type system more then anything else. I use a stack to handle data that the interpreted process is manipulating. I provide a specific set of words that this forth like language will use to manipulate the stack. Of course, stacks may only be of a single type 'a. So if declare a new type to be type some_type = Int of int | Float of float | Word of string Them my stack is some_type Stack.t Ok this is all fine and dandy, until a few months from now when I want to add a new type say File of Unix.file_descr. The word implementations to support the new type wouldn't actually be a problem. However, extending the type seems to be impossible. The only way I can see to do this at the moment is to modify the type and recompile the whole system. That or come up with some type of indirect identifier piece, but I would rather not do that. I played around with polymorphic variants but that doesn't seem to buy my anything here. Of course, since this is the first non-toy language I have implemented I may be mifundamentalhing fundimental. Please forgive (and hopefully correct) any ignorance I am displaying here. Thanks, Eric --- Dan Andersson wrote: > Forth languages are almost trivial to implement. > > /Dan Andersson > ------------------- > 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 __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com ------------------- 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 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 JAA04762; Tue, 17 Dec 2002 09:37:22 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA04758 for ; Tue, 17 Dec 2002 09:37:21 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from kraid.nerim.net (kraid.nerim.net [62.4.16.95]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gBH8bKH10400 for ; Tue, 17 Dec 2002 09:37:20 +0100 (MET) Received: from hector.lesours (lesours.starynkevitch.net [80.65.224.217]) by kraid.nerim.net (Postfix) with ESMTP id 2DF8B40EF2; Tue, 17 Dec 2002 09:26:01 +0100 (CET) Received: from basile by hector.lesours with local (Exim 3.36 #1 (Debian)) id 18ODE7-0003V1-00; Tue, 17 Dec 2002 09:37:19 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15870.57917.942590.759421@hector.lesours> Date: Tue, 17 Dec 2002 09:37:17 +0100 To: Eric Merritt Cc: Dan Andersson , caml-list@inria.fr Subject: Re: [Caml-list] ocaml embedded scripting language In-Reply-To: <20021217030244.64549.qmail@web40803.mail.yahoo.com> References: <3DFCA8EB.13742.2E8F165@localhost> <20021217030244.64549.qmail@web40803.mail.yahoo.com> X-Mailer: VM 7.07 under Emacs 21.2.2 From: Basile STARYNKEVITCH Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >>>>> "Eric" == Eric Merritt writes: Eric> Everyone, Well I decided to take dans advice and do a simple Eric> forth like implementation. I still suggest carefully looking at N.Ramsey's Lua implementation Eric> Overall it doesn't seem like its Eric> going to be difficult at all. I have run into a small Eric> snag. As a side note I have already decided that this is Eric> note possible, this is just a last ditch to see if there is Eric> a solution. Eric> It has to do with the type system more then anything Eric> else. I use a stack to handle data that the interpreted Eric> process is manipulating. I provide a specific set of words Eric> that this forth like language will use to manipulate the Eric> stack. Of course, stacks may only be of a single type 'a. So Eric> if declare a new type to be Eric> type some_type = Int of int | Float of float | Word of Eric> string Eric> Them my stack is some_type Stack.t Eric> Ok this is all fine and dandy, until a few months from now Eric> when I want to add a new type say File of Eric> Unix.file_descr. Did you consider using variant or classes? -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet alias: basiletunesorg 8, rue de la Faïencerie, 92340 Bourg La Reine, France ------------------- 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 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 PAA16232; Tue, 17 Dec 2002 15:26:46 +0100 (MET) 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 PAA16227 for ; Tue, 17 Dec 2002 15:26:44 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web40804.mail.yahoo.com (web40804.mail.yahoo.com [66.218.78.181]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id gBHEQhn17449 for ; Tue, 17 Dec 2002 15:26:43 +0100 (MET) Message-ID: <20021217142642.205.qmail@web40804.mail.yahoo.com> Received: from [4.18.166.227] by web40804.mail.yahoo.com via HTTP; Tue, 17 Dec 2002 06:26:42 PST Date: Tue, 17 Dec 2002 06:26:42 -0800 (PST) From: Eric Merritt Subject: Re: [Caml-list] ocaml embedded scripting language To: Basile STARYNKEVITCH Cc: caml-list@inria.fr In-Reply-To: <15870.57917.942590.759421@hector.lesours> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > I still suggest carefully looking at N.Ramsey's Lua > implementation > You are probably right. I am subject to the not invented here syndrome as much as anyone else I guess. I will look at it again. [snip] > Did you consider using variant or classes? [snip] Variants wont work becuase all possible types must be known at compile time. As for classes, I thought of that and it would probably work. I was hoping to stay in the functional core but I may go that route. > -- > > Basile STARYNKEVITCH > http://starynkevitch.net/Basile/ > email: basilestarynkevitchnet > alias: basiletunesorg > 8, rue de la Faïencerie, 92340 Bourg La Reine, > France > ------------------- > 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 __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com ------------------- 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 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 WAA27383; Tue, 17 Dec 2002 22:30:55 +0100 (MET) 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 WAA27378 for ; Tue, 17 Dec 2002 22:30:54 +0100 (MET) Received: from smtp.telenordia.se (franklin.telenor.se [213.150.135.136]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gBHLUrn27555 for ; Tue, 17 Dec 2002 22:30:53 +0100 (MET) Received: from a8l4m8 (du-10-45.ppp.telenordia.se [62.127.10.45]) by franklin.telenor.se (BMR ErlangTM/OTP 3.1) with ESMTP id 753113.160643.1040.0s1428089franklin for ; Tue, 17 Dec 2002 22:30:43 +0100 From: "Dan Andersson" To: caml-list@inria.fr Date: Tue, 17 Dec 2002 22:27:07 +0100 MIME-Version: 1.0 Subject: Re: [Caml-list] ocaml embedded scripting language Message-ID: <3DFFA4BB.726.E91115F@localhost> In-reply-to: <20021217142642.205.qmail@web40804.mail.yahoo.com> References: <15870.57917.942590.759421@hector.lesours> X-mailer: Pegasus Mail for Windows (v4.01) Content-type: text/plain; charset=US-ASCII Content-transfer-encoding: 7BIT Content-description: Mail message body Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Lua is a great embedded language. I use it myself. But Forth is always my first choice for embedded languages. Lua 2.5 is a very, very old version. It will most probably be more than satisfactory. But the spanking new 5.0 beta is much more powerful. MvH Dan Andersson ------------------- 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 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 NAA10160; Wed, 18 Dec 2002 13:41:32 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA10150 for caml-list@pauillac.inria.fr; Wed, 18 Dec 2002 13:41:31 +0100 (MET) 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 VAA26104 for ; Tue, 17 Dec 2002 21:25:33 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from frankfurt.ucdavis.edu (frankfurt.ucdavis.edu [169.237.104.161]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gBHKPWn26122 for ; Tue, 17 Dec 2002 21:25:32 +0100 (MET) Received: from boson.localdomain.fake (postfix@[128.120.141.218]) by frankfurt.ucdavis.edu (8.11.6/8.11.0/virus-scan-4.0.1) with ESMTP id gBHKPSd28333 for ; Tue, 17 Dec 2002 12:25:28 -0800 (PST) Received: by boson.localdomain.fake (Postfix, from userid 1000) id 7BB52A00C9; Tue, 17 Dec 2002 12:26:18 -0800 (PST) Date: Tue, 17 Dec 2002 12:26:18 -0800 To: OCaml Mailing List Subject: Re: [Caml-list] ocaml embedded scripting language Message-ID: <20021217202618.GA491@boson.ucdavis.edu> References: <3DFCA8EB.13742.2E8F165@localhost> <20021217030244.64549.qmail@web40803.mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20021217030244.64549.qmail@web40803.mail.yahoo.com> User-Agent: Mutt/1.3.28i From: issac@ucdavis.edu (Issac Trotts) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Eric Merritt wrote: > Everyone, > > > Well I decided to take dans advice and do a simple > forth like implementation. Overall it doesn't seem > like its going to be difficult at all. I have run into > a small snag. As a side note I have already decided > that this is note possible, this is just a last ditch > to see if there is a solution. > > It has to do with the type system more then anything > else. I use a stack to handle data that the > interpreted process is manipulating. I provide a > specific set of words that this forth like language > will use to manipulate the stack. Of course, stacks > may only be of a single type 'a. So if declare a new > type to be > > type some_type = Int of int | Float of float | Word > of string > > Them my stack is some_type Stack.t > > Ok this is all fine and dandy, until a few months > from now when I want to add a new type say File of > Unix.file_descr. The word implementations to support > the new type wouldn't actually be a problem. However, > extending the type seems to be impossible. > > The only way I can see to do this at the moment is to > modify the type and recompile the whole system. That OCaml can be used as a scripting language, so this doesn't have to be a problem. Just use the #load, #directory, and #use toplevel directives, and little or no compiling is necessary. However this seems to require restructuring the program, so maybe it won't be worth it. Another way would be to have a facility for adding new types within your extension language. If you add a start-up file (something like ~/.my_extension_lang_rc) then you can load all your favorite types whenever it runs. Issac ------------------- 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 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 VAA02185; Thu, 19 Dec 2002 21:41:35 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA02169 for caml-list@pauillac.inria.fr; Thu, 19 Dec 2002 21:41:34 +0100 (MET) 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 UAA20656 for ; Wed, 18 Dec 2002 20:55:44 +0100 (MET) Received: from mail.eecs.harvard.edu ([140.247.60.24]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gBIJtin07757 for ; Wed, 18 Dec 2002 20:55:44 +0100 (MET) Received: from labrador.eecs.harvard.edu (labrador.eecs.harvard.edu [140.247.60.247]) by mail.eecs.harvard.edu (Postfix) with ESMTP id 97CAC54C659; Wed, 18 Dec 2002 14:55:43 -0500 (EST) To: issac@ucdavis.edu (Issac Trotts) Cc: OCaml Mailing List Subject: Re: [Caml-list] ocaml embedded scripting language In-Reply-To: Message from issac@ucdavis.edu (Issac Trotts) of "Tue, 17 Dec 2002 12:26:18 PST." <20021217202618.GA491@boson.ucdavis.edu> References: <3DFCA8EB.13742.2E8F165@localhost> <20021217030244.64549.qmail@web40803.mail.yahoo.com> <20021217202618.GA491@boson.ucdavis.edu> Date: Wed, 18 Dec 2002 14:55:43 -0500 From: Norman Ramsey Message-Id: <20021218195543.97CAC54C659@mail.eecs.harvard.edu> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > It has to do with the type system more then anything > > else. I use a stack to handle data that the > > interpreted process is manipulating... > > > > Ok this is all fine and dandy, until a few months > > from now when I want to add a new type say File of > > Unix.file_descr. The word implementations to support > > the new type wouldn't actually be a problem. However, > > extending the type seems to be impossible. This is a hard problem, to my knowledge not solved in the literature. There are instances of interpreters that provide type-extensibility, but none that also support separate compilation. We have solved this problem through some heavy use of ML modules. I am still working on the paper that describes this solution. But you can get some hints from an unpublished manuscript `Toward A Calculus of Signatures' at http://www.eecs.harvard.edu/~nr/pubs/sigcalc-abstract.html The part you want is the extended example in Section 2. Norman ------------------- 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 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 VAA01957; Thu, 19 Dec 2002 21:41:17 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA01488 for caml-list@pauillac.inria.fr; Thu, 19 Dec 2002 21:41:16 +0100 (MET) 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 UAA20596 for ; Wed, 18 Dec 2002 20:51:40 +0100 (MET) Received: from mail.eecs.harvard.edu ([140.247.60.24]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gBIJpdn07680 for ; Wed, 18 Dec 2002 20:51:40 +0100 (MET) Received: from labrador.eecs.harvard.edu (labrador.eecs.harvard.edu [140.247.60.247]) by mail.eecs.harvard.edu (Postfix) with ESMTP id 4A49554C68F; Wed, 18 Dec 2002 14:51:39 -0500 (EST) To: "Dan Andersson" Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml embedded scripting language In-Reply-To: Message from "Dan Andersson" of "Tue, 17 Dec 2002 22:27:07 +0100." <3DFFA4BB.726.E91115F@localhost> References: <15870.57917.942590.759421@hector.lesours> <3DFFA4BB.726.E91115F@localhost> Date: Wed, 18 Dec 2002 14:51:39 -0500 From: Norman Ramsey Message-Id: <20021218195139.4A49554C68F@mail.eecs.harvard.edu> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Lua is a great embedded language. I use it myself. But Forth is always my first > choice for embedded languages. Lua 2.5 is a very, very old version. It will most > probably be more than satisfactory. But the spanking new 5.0 beta is much more > powerful. Indeed. But just trying to keep up with those guys is a challenge. I chose Lua 2.5 as a reasonable point at which to make apples-to-apples comparisons of implementations... Version 2.5 really is quite a nice language, and I've added the reference manual to our repository. Norman ------------------- 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