[Caml-list] Literate programming

[Caml-list] Literate programming

[Alessandro Baretta]

Is there any literate programming tool supporting Ocaml (well)?

Alex

-------------------
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

[Caml-list] Re: Literate programming

[Alessandro Baretta]

Alessandro Baretta wrote:
> Is there any literate programming tool supporting Ocaml (well)?

I found it with Google: it's Ocamlweb, by
Jean-Christophe Filliâtre and Claude Marché. Sorry for the 
annoyance.

Alex

-------------------
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

Re: [Caml-list] Literate programming

[kahl]

 > 
 > Is there any literate programming tool supporting Ocaml (well)?

FunnelWeb --- http://www.ross.net/funnelweb/ --- is language independent;
my main uses for OCaml programming,
besides literate documentation itself, are:

* Have ``val'' and ``let'' clauses together in the literate source
  by using alternating incrementally defined macros
  going into the .mli and into the .ml file.

* Write exported type declarations only once, in macros that are invoked in
  both the .mli and the .ml files.

* I find that changes affecting many modules become much easier
  through the fact that all 50 modules are in a single source file.
  (However, this setup might not easily work well for a multi-person project,
   and is not a necessity when using FunnelWeb.)

* Parameterized macros for families of (typically small) similar functions ---
  one argument goes into (at least) the function name,
  others may go into the parameter list,
  and definitely some into the implementation.

* To a much lesser extent, using parameterised macro setups for signatures
  shared between parametrically polymorphic and functorised data structures
  (e.g., for being able to switch the underlying implementation
   from Map to HashTable and back).


Wolfram

-------------------
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

Re: [Caml-list] Literate programming

[Benedikt Schmidt]

kahl@cas.mcmaster.ca <kahl@cas.mcmaster.ca> wrote:
>  > 
>  > Is there any literate programming tool supporting Ocaml (well)?
> 
> FunnelWeb --- http://www.ross.net/funnelweb/ --- is language independent;
> my main uses for OCaml programming,

Does anyone know if there is an emacs-mode which supports syntax highlighting
and indenting of the OCaml part in funnelweb files?

For me the features of caml-mode/tuareg are more important than using
literate programming most of the time. So it would be nice if I could
use both.

Regards,
  Benedikt
-------------------
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

Re: [Caml-list] Literate programming

[Jeffrey Palmer]

On Tuesday 03 December 2002 12:20 pm, Benedikt Schmidt wrote:
> Does anyone know if there is an emacs-mode which supports syntax
> highlighting and indenting of the OCaml part in funnelweb files?

I don't know about funnelweb, but if you're not tied to it, the noweb emacs 
mode intelligently switches from noweb syntax mode to the language-dependent 
mode when you move from section to section. Very nice.

You just need to add a line like this to the top of your file (from my Haskell 
source):

% -*- mode: Noweb; noweb-code-mode: literate-haskell-mode -*-

Hope this helps,

	- j

-- 
The river is moving.
The blackbird must be flying.

-------------------
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

Re: [Caml-list] Literate programming

[Fred Yankowski]

On Tue, Dec 03, 2002 at 07:20:26PM +0100, Benedikt Schmidt wrote:
> Does anyone know if there is an emacs-mode which supports syntax highlighting
> and indenting of the OCaml part in funnelweb files?

You might consider mmm-mode:

	MMM Mode is an emacs add-on package providing a minor mode
	that allows Multiple Major Modes to coexist in one buffer. It
	is particularly well-suited to editing embedded code or code
	that generates other code, such as Mason or Embperl
	server-side Perl code, or HTML output by CGI scripts.

	-- mmm-mode.sourceforge.net


-- 
Fred Yankowski      fred@ontosys.com           tel: +1.630.879.1312
OntoSys, Inc	    PGP keyID: 7B449345        fax: +1.630.879.1370
www.ontosys.com     38W242 Deerpath Rd, Batavia, IL 60510-9461, USA
-------------------
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

Re: [Caml-list] Literate programming

[Yurii A. Rashkovskii]

On Tue, 3 Dec 2002 12:42:41 -0600
Fred Yankowski <fred@ontosys.com> wrote:

> On Tue, Dec 03, 2002 at 07:20:26PM +0100, Benedikt Schmidt wrote:
> You might consider mmm-mode:
> 
> 	MMM Mode is an emacs add-on package providing a minor mode
> 	that allows Multiple Major Modes to coexist in one buffer. It
> 	is particularly well-suited to editing embedded code or code
> 	that generates other code, such as Mason or Embperl
> 	server-side Perl code, or HTML output by CGI scripts.

Does anybody know about something like this for VIM?


-- 
Regards,
Yurii.
-------------------
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

Re: [Caml-list] Literate programming

[Jérôme Marant]

Yurii A. Rashkovskii wrote:

>On Tue, 3 Dec 2002 12:42:41 -0600
>Fred Yankowski <fred@ontosys.com> wrote:
>
>  
>
>>On Tue, Dec 03, 2002 at 07:20:26PM +0100, Benedikt Schmidt wrote:
>>You might consider mmm-mode:
>>
>>	MMM Mode is an emacs add-on package providing a minor mode
>>	that allows Multiple Major Modes to coexist in one buffer. It
>>	is particularly well-suited to editing embedded code or code
>>	that generates other code, such as Mason or Embperl
>>	server-side Perl code, or HTML output by CGI scripts.
>>    
>>
>
>Does anybody know about something like this for VIM?
>  
>

You must be kidding :-)

-------------------
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

Re: [Caml-list] Literate programming

[David Brown]

On Thu, Dec 05, 2002 at 08:54:17AM +0100, J?r?me Marant wrote:

> >Does anybody know about something like this for VIM?
> 
> You must be kidding :-)

Why would this be a joke?

I have a noweb.vim package that does syntax highlighting for noweb
documents, and does full syntax highlighting on whatever is inside of
the chunks.  It is 4 lines.

I don't remember where it came from, but if it would be helpful, I could
post it.

Dave Brown
-------------------
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

Re: [Caml-list] Literate programming

[Alan Schmitt]

* David Brown (caml-list@davidb.org) wrote:
> Why would this be a joke?
> 
> I have a noweb.vim package that does syntax highlighting for noweb
> documents, and does full syntax highlighting on whatever is inside of
> the chunks.  It is 4 lines.
> 
> I don't remember where it came from, but if it would be helpful, I could
> post it.

It's on vim.sf.net, or you can google it as well.

Alan

-- 
The hacker: someone who figured things out and made something cool happen.
-------------------
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

Re: [Caml-list] Literate programming

[Jérôme Marant]

David Brown <caml-list@davidb.org> writes:

> On Thu, Dec 05, 2002 at 08:54:17AM +0100, J?r?me Marant wrote:
>
>> >Does anybody know about something like this for VIM?
>> 
>> You must be kidding :-)
>
> Why would this be a joke?

Because mmm does much more than doing this:

> I have a noweb.vim package that does syntax highlighting for noweb
> documents, and does full syntax highlighting on whatever is inside of
> the chunks.  It is 4 lines.

Cheers,

-- 
Jérôme Marant

http://marant.org
              
-------------------
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

Re: [Caml-list] Literate programming

[Norman Ramsey]

 > Is there any literate programming tool supporting Ocaml (well)?

We have written 25,000 lines of Caml + 15,000 lines of internal
documentation using noweb and we are reasonably happy.


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

[Caml-list] Web browser in caml (was Literate programming)

[Alan Schmitt]

* Jérôme Marant (jmarant@nerim.net) wrote:
> Because mmm does much more than doing this:
> 
> > I have a noweb.vim package that does syntax highlighting for noweb
> > documents, and does full syntax highlighting on whatever is inside of
> > the chunks.  It is 4 lines.

Yep, it can browse web pages ;-)

(sorry for the on topic)

Alan Schmitt

-- 
The hacker: someone who figured things out and made something cool happen.
-------------------
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