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 wrote:
>>> 1. What to call files? I understand (C)WEB suggests using .w, and
>>> that noweb uses .nw, what should I c
On Tue, Dec 13, 2011 at 12:36:44PM -0800, John Millikin wrote:
> On Tue, Dec 13, 2011 at 03:39, Magnus Therning 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. Y
On Tue, Dec 13, 2011 at 03:39, Magnus Therning 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 at all.
> 2. Com
On Sun, Dec 11, 2011 at 04:22, John Millikin 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://jo
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
On Sat, 12 Jun 2010 17:10:07 -0400
>>>>>> "aditya" == aditya siram 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 wi
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 Lek
rough hoops.
>NoWeb is my current 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 p
t; My biggest problem is actually literate programming in conjunction with
> leksah. Can anybody comment on this issue? Do you guys use leskah at all?
>
Unfortunately literate programming doesn't really have the tool support yet.
I use emacs for Haskell development and loading Haskell cod
I'll check out noweb.
My 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 understan
On Sat, Jun 12, 2010 at 09:21, Martin Drautzburg
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 to be
strongly relat
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
> pro
On Sat, Jun 12, 2010 at 9:21 AM, Martin Drautzburg 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 us
at, Jun 12, 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 ho
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
> "Stefan" == Stefan Monnier 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: C6E7162D
2009/1/27 Massimiliano Gubinelli :
> 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 not sure LyX allows
> 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 ne
> "G" == Gour writes:
> "Massimiliano" == Massimiliano Gubinelli 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 t
r needs though.
>
> Right. And LyX has(had) 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
>>>>> "Mads" == Mads Lindstrøm 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
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
uce graphic output in the TeXmacs buffer or have interactive
exploration of lazy structures. All this with the possibility of direct PDF
(or HTML) output.
Of course TeXmacs is not written in Haskell
best,
max
--
View this message in context:
http://www.nabble.com/WYSIWYG-literate-programm
-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
-EN
> "Massimiliano" == Massimiliano Gubinelli 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 same concern
Gour-3 wrote:
>
>>>>>> "Massimiliano" == Massimiliano Gubinelli
>>>>>> writes:
>
> Massimiliano> Hi, I would like to "advertise" TeXmacs
> Massimiliano> (http://www.texmacs.org/) to the Haskell comunity a
>>>>> "Massimiliano" == Massimiliano Gubinelli 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
Mass
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 t
On Thu, Mar 01, 2001 at 02:39:32PM +0100, Ralf Hinze wrote:
> In principle, everyone can use and/or modify the program to adjust
> it to her needs. However, since I use lhs2text almost daily, I am
> willing to maintain the program. So if you have suggestions,
> proposals etc please let me know.
Ralf Hinze [mailto:[EMAIL PROTECTED]]
Sent: Thursday, March 01, 2001 5:40 AM
To: Patrik Jansson
Cc: [EMAIL PROTECTED]
Subject: Re: Literate Programming in Haskell?
Patrik Jansson wrote:
> A tool I am using is Ralf Hinze's
>
> http://www.informatik.uni-bonn.
Patrik Jansson wrote:
> A tool I am using is Ralf Hinze's
>
> http://www.informatik.uni-bonn.de/~ralf/Literate.tar.gz
>
> http://www.informatik.uni-bonn.de/~ralf/Guide.ps.gz
>
> It transforms .lhs files (with some formatting commands in LaTeX-style
> comments) to LaTeX. Development based
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 lit
PROTECTED]>
To: <[EMAIL PROTECTED]>
Cc: <[EMAIL PROTECTED]>
Sent: Monday, February 19, 2001 6:07 AM
Subject: Re: Literate Programming in Haskell?
> On Mon, 19 Feb 2001, Bostjan Slivnik wrote:
> >
> > > I'm also very interested in this, but ideally I would want the ou
On Mon, 19 Feb 2001, Bostjan Slivnik wrote:
>
> > I'm also very interested in this, but ideally I would want the output to
> > be in some proportional font, with symbols like =>, ->, <- replaced with
> > arrows, etc. Also, it would be very nice to have the code automatically
> > column aligned (us
> > 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
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 i
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.
For example, in order to convert some .lhs code into LaTeX via the noweb
LP tools, I h
On Wed, 27 Sep 2000, Frank Atanassow wrote:
> Personally, I think literate programming is all about syntax, so I would avoid
> trying to make the tool do any sort of semantic analysis.
Mmm, my personal view of literate programming is that it is a technique
for making learning abo
as pointed out, the {- ... -} could also be used to support literate
programming. (Look at Java's /** documentation comments */.)
In my opinion, the profusion of commenting conventions in Haskell
(and, while we're at it, the choice between implicit and explicit
layout, to open another c
f
types for each class method. In this sense they are always semantically
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 tha
On Wed, 27 Sep 2000, D. Tweed wrote:
> On Wed, 27 Sep 2000, Frank Atanassow wrote:
> > I see the problem for a language like C++, which has true overloading, but not
> > for Haskell. In Haskell it makes sense to identify type class methods with the
> > same name, since they are semantically relat
= be transitive, but this is
just a contrived example anyway.) Just because type class methods _ought_
to be semantically related doesn't mean they necessarily will be.
> The problem that remains is handling scope correctly, but that must be a
> problem for C/C++ as well. Here you could ma
On 27 Sep 2000 15:10:25 +0200
Ketil Malde <[EMAIL PROTECTED]> wrote:
> [stuff deleted]
>
> Anyway, my problem with literate programming is that I
> don't really
> know what to put in there with the source code. Usage
> documentation?
> Explanations about imple
It might be wise in the next revision of Haskell to support literate
programming and xml metadata compatible with the .net xml scheme. The
metada can include all sorts of usefull stuff, like documentation tools can
read (i.e. visual studio etc.) including custom metadata that might be
haskell
all with a `read()' method plus any in
> the standard libraries and lumping them all together is less than
> optimal. I'd imagine the same problem would occur for haskell with type
> class members. Of course, solving this would require at least
> type-deduction info to be pa
have hard coded a few type signatures
from the Prelude, 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
uire at least
type-deduction info to be passed to the literate programming system, which
is why I'm a little sceptical of the language independent implementations
of literate programming. (Of course, the indexes only matter if like me
you p
On 2927T115028+0100, Jerzy Karczmarczuk wrote:
> What happened to the ancestral Web system of Donald Knuth?
> (With Tangle and Weave...)
>
> Is it dead?
It's useful only for writing Pascal, so yes, it's essentially dead.
TeX seems to be (one of?) the only thing(s) still using it.
However, i
Simon Peyton-Jones wrote:
...
> The trouble with literate programming is that there isn't a de-facto
> standard. The great merit of bird tracks is their extreme
> simplicity.
> Maybe we should try Norman Ramsey's noweb.
>
> Simon
What happened to the ancestra
| The joys of literate programming were greatly diluted in Haskell and
| its kitchen sink of commenting conventions. And the later addition
| of \begin{code}...\end{code}, for the benefit of LaTeX hackers, was
| a further mistake based on a misunderstanding of literate programming.
| In
50 matches
Mail list logo
