Re: [Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-18 Thread Magnus Therning
On Tue, Dec 13, 2011 at 12:36:44PM -0800, John Millikin wrote: On Tue, Dec 13, 2011 at 03:39, Magnus Therning mag...@therning.org wrote: 1. What to call files?  I understand (C)WEB suggests using .w, and that noweb uses .nw, what should I call anansi files? I usually use .anansi, but it

Re: [Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-18 Thread Magnus Therning
On Sun, Dec 18, 2011 at 01:05:06PM +0100, Magnus Therning wrote: On Tue, Dec 13, 2011 at 12:36:44PM -0800, John Millikin wrote: On Tue, Dec 13, 2011 at 03:39, Magnus Therning mag...@therning.org wrote: 1. What to call files?  I understand (C)WEB suggests using .w, and that noweb uses .nw, what

Re: [Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-13 Thread Magnus Therning
On Sun, Dec 11, 2011 at 04:22, John Millikin jmilli...@gmail.com wrote: Anansi is a preprocessor for literate programs, in the model of NoWeb or nuweb. Literate programming allows both computer code and documentation to be generated from a single unified source. Home page: https://john

Re: [Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-13 Thread John Millikin
On Tue, Dec 13, 2011 at 03:39, Magnus Therning mag...@therning.org wrote: 1. What to call files?  I understand (C)WEB suggests using .w, and that noweb uses .nw, what should I call anansi files? I usually use .anansi, but it doesn't matter. You can use whatever extensions you like, or even none

[Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-10 Thread John Millikin
Anansi is a preprocessor for literate programs, in the model of NoWeb or nuweb. Literate programming allows both computer code and documentation to be generated from a single unified source. Home page: https://john-millikin.com/software/anansi/ Hackage: http://hackage.haskell.org/package/anansi

[Haskell-cafe] Re: Literate programming

2010-06-13 Thread Gour
On Sat, 12 Jun 2010 17:10:07 -0400 aditya == aditya siram aditya.si...@gmail.com wrote: aditya Unfortunately literate programming doesn't really have the tool aditya support yet. I use emacs for Haskell development and loading aditya Haskell code in to the REPL will be an issue if you're editing

[Haskell-cafe] Literate programming

2010-06-12 Thread Martin Drautzburg
Hello all, Is literate programming something you guys actually do (I only know that Paul Hudak does), or is it basically a nice idea from days gone by? In case you do, then how do you do it? Do you use lhs2TeX or what? Do you use bird style of full-blown LaTeX? Does any of you use leksah? I

Re: [Haskell-cafe] Literate programming

2010-06-12 Thread aditya siram
, 2010 at 12:21 PM, Martin Drautzburg martin.drautzb...@web.de wrote: Hello all, Is literate programming something you guys actually do (I only know that Paul Hudak does), or is it basically a nice idea from days gone by? In case you do, then how do you do it? Do you use lhs2TeX or what? Do you

Re: [Haskell-cafe] Literate programming

2010-06-12 Thread Jason Dagit
On Sat, Jun 12, 2010 at 9:21 AM, Martin Drautzburg martin.drautzb...@web.de wrote: Hello all, Is literate programming something you guys actually do (I only know that Paul Hudak does), or is it basically a nice idea from days gone by? In case you do, then how do you do it? Do you use

Re: [Haskell-cafe] Literate programming

2010-06-12 Thread Darrin Chandler
On Sat, Jun 12, 2010 at 12:34:37PM -0400, aditya siram wrote: It's weird I was just thinking about LP in Haskell this morning. Check out John Milliken's dbus-core [1] written entirely in noweb. It is a pleasure to read and I am seriously considering adopting the technique for my Haskell

Re: [Haskell-cafe] Literate programming

2010-06-12 Thread John Millikin
On Sat, Jun 12, 2010 at 09:21, Martin Drautzburg martin.drautzb...@web.de wrote: Is literate programming something you guys actually do (I only know that Paul Hudak does), or is it basically a nice idea from days gone by? I use it occasionally for large projects -- its usefulness seems

Re: [Haskell-cafe] Literate programming

2010-06-12 Thread Martin Drautzburg
personal opionion as a haskell newbie is that I love literate programming. I can write down my train of thoughts along with the source code, then I read the generated document an I can find flaws in it much more easily than when reading the bare source. I understand that this becomes less of an issue

Fwd: [Haskell-cafe] Literate programming

2010-06-12 Thread aditya siram
and not achievable with Literate Haskell. I don't have any problems with LaTeX, but a less verbose solution would do just fine. You don't really need to know a lot of LaTex to use noweb. I'm no LaTex expert and I found the source easy to read. My biggest problem is actually literate programming

[Haskell-cafe] Literate programming

2010-06-12 Thread Phyx
preference for literate programming with Haskell. This is not true. You can't have for instance a HTML documentation mixed with your source with just plain comments, style code blocks etc and only have to maintain one source. I'm writing my own preprocessor, designed for Haskell, though it's more

Re: [Haskell-cafe] Literate programming

2010-06-12 Thread Hamish Mackenzie
On 13 Jun 2010, at 08:33, John Millikin wrote: Does any of you use leksah? I failed to see any support for literate programming in leksah. It candies the backslashes in e.g. \documentclass{article} to λdocumentclass{article}. I've tried using Leksah, but it doesn't display tabs, which

[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-30 Thread Gour
Stefan == Stefan Monnier monn...@iro.umontreal.ca writes: Stefan In any case I've added a note to mention that all you need to do Stefan is (setq haskell-font-lock-symbols t). Thanks - nice refactoring for my emacs-haskell.el :-D Sincerely, Gour -- Gour | Zagreb, Croatia | GPG key:

Re: [Haskell-cafe] WYSIWYG literate programming

2009-01-29 Thread Ilmari Vacklin
2009/1/27 Massimiliano Gubinelli m.gubine...@gmail.com: Thanks, I know LyX. Of course this is mostly personal taste but I think TeXmacs as a technically superior piece of software (even if it does not seems so at first look) and moreover the idea is also to have interactive sessions and I'm

Re: [Haskell-cafe] Re: WYSIWYG literate programming

2009-01-28 Thread Alex Ott
G == Gour writes: Massimiliano == Massimiliano Gubinelli m.gubine...@gmail.com writes: Massimiliano As far as Haskell is concerned, a good interface, would Massimiliano allow to bypass programs like lhs2tex or in general allow Massimiliano for beautyful editing Of course not everyone

[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-28 Thread Stefan Monnier
http://haskell.org/haskellwiki/Emacs#Unicodifying_symbols_.28Pretty_Lambda_for_Haskell-mode.29 I'm pretty sure this text wasn't there last time I looked, yet last time I looked was already long after Haskell-mode integrated such a feature. In any case I've added a note to mention that all you

[Haskell-cafe] WYSIWYG literate programming

2009-01-27 Thread Massimiliano Gubinelli
Hi, I would like to advertise TeXmacs (http://www.texmacs.org/) to the Haskell comunity as a possible front-end for literate programming in Haskell (and GHCI interaction). TeXmacs is a system which allows the production of documents featuring high quality typesetting (comparable to TeX) and high

[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-27 Thread Gour
Massimiliano == Massimiliano Gubinelli m.gubine...@gmail.com writes: Massimiliano Hi, I would like to advertise TeXmacs Massimiliano (http://www.texmacs.org/) to the Haskell comunity as a Massimiliano possible front-end for literate programming in Haskell Massimiliano (and GHCI interaction

Re: [Haskell-cafe] WYSIWYG literate programming

2009-01-27 Thread Massimiliano Gubinelli
Gour-3 wrote: Massimiliano == Massimiliano Gubinelli m.gubine...@gmail.com writes: Massimiliano Hi, I would like to advertise TeXmacs Massimiliano (http://www.texmacs.org/) to the Haskell comunity as a Massimiliano possible front-end for literate programming in Haskell Massimiliano

[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-27 Thread Gour
Massimiliano == Massimiliano Gubinelli m.gubine...@gmail.com writes: Massimiliano As far as Haskell is concerned, a good interface, would Massimiliano allow to bypass programs like lhs2tex or in general allow Massimiliano for beautyful editing Of course not everyone has Massimiliano the

Re: [Haskell-cafe] Re: WYSIWYG literate programming

2009-01-27 Thread Gwern Branwen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 2009/1/27 Gour : Massimiliano == Massimiliano Gubinelli writes: -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEAREKAAYFAkl/GoMACgkQvpDo5Pfl1oJc5ACeMb5om8j5Jn9Y5k7I0enXYcMY 1dUAn1D8TzKQ5URYVjvVl9XxdReGQ9QB =umdo -END PGP

Re: Re: [Haskell-cafe] WYSIWYG literate programming

2009-01-27 Thread Massimiliano Gubinelli
, max -- View this message in context: http://www.nabble.com/WYSIWYG-literate-programming-tp21682184p21688863.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] WYSIWYG literate programming

2009-01-27 Thread Mads Lindstrøm
Gubinelli wrote: Hi, I would like to advertise TeXmacs (http://www.texmacs.org/) to the Haskell comunity as a possible front-end for literate programming in Haskell (and GHCI interaction). TeXmacs is a system which allows the production of documents featuring high quality typesetting

[Haskell-cafe] Re: WYSIWYG literate programming

2009-01-27 Thread Gour
Mads == Mads Lindstrøm mads_lindstr...@yahoo.dk writes: Mads I have never tried TexMacs, but newer versions of LyX do seem to Mads have a more modern interface than TexMacs. I do not know have easy Mads LyX is to modify to your needs though. Right. And LyX has(had) support for literate

Re: [Haskell-cafe] WYSIWYG literate programming

2009-01-27 Thread Massimiliano Gubinelli
) support for literate programming. Sincerely, Gour Thanks, I know LyX. Of course this is mostly personal taste but I think TeXmacs as a technically superior piece of software (even if it does not seems so at first look) and moreover the idea is also to have interactive sessions and I'm

Re: Literate Programming in Haskell?

2001-02-27 Thread Bill Halchin
Hello Haskell Community, Probably somebody else has already brought this issue up already. Why can't we have some kind of integrated literate programming model where I can I can have hyperlinks in comments to documents represented in XML?? In other words, a kind of seamless literate

Re: Literate Programming in Haskell?

2001-02-19 Thread Bostjan Slivnik
In the Haskell community is there a generally accepted best way to approach Literate Programming? The language has support for literate comments, but it seems that many common LP tools don't respect it. I'm also very interested in this, but ideally I would want the output

Re: Literate Programming in Haskell?

2001-02-18 Thread Andreas Gruenbacher
On Sun, 18 Feb 2001, Tom Moertel wrote: In the Haskell community is there a generally accepted best way to approach Literate Programming? The language has support for literate comments, but it seems that many common LP tools don't respect it. I'm also very interested in this, but ideally I

Re: Literate Programming

2000-09-27 Thread Ketil Malde
and while probably useful, it'd be much more neat if it could work out what functions actually were referenced. (And not try to deduce types in comments!) Anyway, my problem with literate programming is that I don't really know what to put in there with the source code. Usage documentation? Ex

Re: Literate Programming

2000-09-27 Thread Frank Atanassow
related. Second, I guess you could try to do a conservative type analysis to pick up method uses whose instance is statically determined (as is often the case with arithmetic operators) but I don't think that is something that should be treated in a literate programming tool. For one thing, it means