WYSIWYG literate programming

Massimiliano Gubinelli

27 Jan 2009 27 Jan '09

4:31 a.m.

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 level of customizability (a la Emacs). It does not rely on TeX for the typesetting (but can export to Latex, HTML, etc..). It is written in C++ (unfortunately not Haskell) and use Scheme as extension language (specifically Guile). It has been in use for at least 10 years and has plugins for many external applications like Pari, Axiom, Maxima, Octave, R, Yacas, etc...

...

From the webpage: "GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content (text, graphics, mathematics, interactive content, etc.). The rendering engine uses high-quality typesetting algorithms so as to produce professionally looking documents, which can either be printed out or presented from a laptop."

It would be nice to develop a pluging for GHC/GHCI to allow "direct" literate programming style with high-quality rendering. (If someone want to try before I find the time to do it myself.... ) Massimiliano -- View this message in context: http://www.nabble.com/WYSIWYG-literate-programming-tp21682184p21682184.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

Show replies by date

Gour

27 Jan 27 Jan

5:48 a.m.

...

...
...
...
...
"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 Massimiliano> (and GHCI interaction). Have you tried Leo (http://webpages.charter.net/edreamleo/front.html)? Sincerely, Gour -- Gour | Zagreb, Croatia | GPG key: C6E7162D ----------------------------------------------------------------

Massimiliano Gubinelli

7:33 a.m.

Gour-3 wrote:

...

...
...
...
...
...
"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 Massimiliano> (and GHCI interaction).

Have you tried Leo (http://webpages.charter.net/edreamleo/front.html)?

I think the interesting thing in TeXmacs is the quality of rendering. It is not specially tailored for program editing but it is used as a front-end to mathematical software and can render sophisticate equations and mathematical symbols. As far as Haskell is concerned, a good interface, would allow to bypass programs like lhs2tex or in general allow for "beautyful editing...". Of course not everyone has the same concerns... in any case thanks for the suggestion. massimiliano -- View this message in context: http://www.nabble.com/WYSIWYG-literate-programming-tp21682184p21683690.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

Gour

9:18 a.m.

...

...
...
...
...
"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 concerns... Have you tried Emacs with Pretty Lambda for Haskell-mode? http://haskell.org/haskellwiki/Emacs#Unicodifying_symbols_.28Pretty_Lambda_f... Sincerely, Gour -- Gour | Zagreb, Croatia | GPG key: C6E7162D ----------------------------------------------------------------

Gwern Branwen

9:30 a.m.

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

...

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

Have you tried Emacs with Pretty Lambda for Haskell-mode?

http://haskell.org/haskellwiki/Emacs#Unicodifying_symbols_.28Pretty_Lambda_f...

Sincerely, Gour

Or darcs Yi, which has a very similar feature. -- gwern

Massimiliano Gubinelli

11:30 a.m.

Gwern Branwen wrote:

...

2009/1/27 Gour :

...
...
...
...
...
> "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 concerns...

Have you tried Emacs with Pretty Lambda for Haskell-mode?

http://haskell.org/haskellwiki/Emacs#Unicodifying_symbols_.28Pretty_Lambda_f...

Sincerely, Gour

Or darcs Yi, which has a very similar feature.

-- gwern

I think you are missing the point of fine typography (have a look at TeXmacs screenshots) neither Emacs nor Yi (both of which are egregious products) can provide comparable aestatically pleasant screen output. The links you provide are in any case interesting for someone who want to try to implement a plugin. I think it will not be impossible to have a pluging in which a GHCI session can produce 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-programming-tp21682184p21688863.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

Alex Ott

28 Jan 28 Jan

8:44 a.m.

...

...
...
...
...
"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 the Massimiliano> same concerns...

G> Have you tried Emacs with Pretty Lambda for Haskell-mode? G> http://haskell.org/haskellwiki/Emacs#Unicodifying_symbols_.28Pretty_Lambda_f... At http://xtalk.msk.su/~ott/common/emacs/rc/emacs-rc-pretty-lambda.el.html you can find slightly modified version of version of pretty lambda code from haskell wiki - i added several symbols, and fix regex to work properly with symbols like ===, etc. -- With best wishes, Alex Ott, MBA http://alexott.blogspot.com/ http://xtalk.msk.su/~ott/ http://alexott-ru.blogspot.com/

Stefan Monnier

10:40 a.m.

...

http://haskell.org/haskellwiki/Emacs#Unicodifying_symbols_.28Pretty_Lambda_f...

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 need to do is (setq haskell-font-lock-symbols t). Stefan

Gour

30 Jan 30 Jan

4:13 a.m.

...

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

Mads Lindstrøm

27 Jan 27 Jan

1:16 p.m.

Hi, Have you considered using LyX ( http://www.lyx.org/Home ) in stead of TexMacs? I have never tried TexMacs, but newer versions of LyX do seem to have a more modern interface than TexMacs. I do not know have easy LyX is to modify to your needs though. Greetings Mads Lindstrøm Massimiliano 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 (comparable to TeX) and high level of customizability (a la Emacs). It does not rely on TeX for the typesetting (but can export to Latex, HTML, etc..). It is written in C++ (unfortunately not Haskell) and use Scheme as extension language (specifically Guile). It has been in use for at least 10 years and has plugins for many external applications like Pari, Axiom, Maxima, Octave, R, Yacas, etc...

...
From the webpage: "GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content (text, graphics, mathematics, interactive content, etc.). The rendering engine uses high-quality typesetting algorithms so as to produce professionally looking documents, which can either be printed out or presented from a laptop."

It would be nice to develop a pluging for GHC/GHCI to allow "direct" literate programming style with high-quality rendering. (If someone want to try before I find the time to do it myself.... )

Massimiliano

Gour

2:56 p.m.

...

...
...
...
...
"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) support for literate programming. Sincerely, Gour -- Gour | Zagreb, Croatia | GPG key: C6E7162D ----------------------------------------------------------------

Massimiliano Gubinelli

4:19 p.m.

Hi, Gour-3 wrote:

...

...
...
...
...
...
"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) 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 not sure LyX allows this. In any case I do not want to start some quarreling about "the best editor" or whatever, just take a nice software to the attention of the list. sorry for the noise. best, max -- View this message in context: http://www.nabble.com/WYSIWYG-literate-programming-tp21682184p21694659.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

Ilmari Vacklin

29 Jan 29 Jan

9:34 a.m.

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 this. In any case I do not want to start some quarreling about "the best editor" or whatever, just take a nice software to the attention of the list.

I second this. TeXmacs is a very pleasant editor for mathematical texts--I prefer it over LaTeX, even with LyX or Emacs, unless I need specific LaTeX packages. I've wanted to write a Haskell plugin for TeXmacs, but I'm not very good at Scheme, so it might be too much for me at this time. Anyway, I recommend taking a look at TeXmacs for all your maths writing needs. Cheers, -- Ilmari Vacklin

5955

Age (days ago)

5958

Last active (days ago)

List overview

Download

12 comments

7 participants

participants (7)

Alex Ott
Gour
Gwern Branwen
Ilmari Vacklin
Mads Lindstrøm
Massimiliano Gubinelli
Stefan Monnier