From mboxrd@z Thu Jan 1 00:00:00 1970 From: Hubert Chathi Subject: Re: Leslie Lamport has a foot in the 21st century Date: Tue, 11 Oct 2016 10:56:36 -0400 Message-ID: <87vawzhr2z.fsf@desiato.home.uhoreg.ca> References: <57F8B0F4.9090407@free.fr> <878ttxk39i.fsf@desiato.home.uhoreg.ca> <87pon9wki0.fsf@mbork.pl> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:57953) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1btyUU-000347-TO for emacs-orgmode@gnu.org; Tue, 11 Oct 2016 10:57:16 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1btyUQ-0004B2-Uv for emacs-orgmode@gnu.org; Tue, 11 Oct 2016 10:57:14 -0400 Received: from [195.159.176.226] (port=46767 helo=blaine.gmane.org) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1btyUQ-000491-P3 for emacs-orgmode@gnu.org; Tue, 11 Oct 2016 10:57:10 -0400 Received: from list by blaine.gmane.org with local (Exim 4.84_2) (envelope-from ) id 1btyTz-0006hF-TQ for emacs-orgmode@gnu.org; Tue, 11 Oct 2016 16:56:43 +0200 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: "Emacs-orgmode" To: emacs-orgmode@gnu.org On Sun, 09 Oct 2016 18:32:55 +0200, Marcin Borkowski said: > On 2016-10-09, at 16:26, Hubert Chathi wrote: >> It's not a matter of compiling to the right file format, but rather >> whether LaTeX is the right tool for the type of document structure >> that Lamport is proposing. His system requires people to be able to >> expand and collapse things, which TeX is unable to handle. You might >> be able to fake it in TeX by using hyperlinks, but that might drive >> the PDF/dead tree readers crazy once they get a couple of levels deep >> in your proof, having to keep track of all the links that they had to >> follow. Not to mention, it would probably require a lot of TeX black >> magic to implement. It would require adding some new environments >> and/or commands to LaTeX, which the current LaTeX-to-HTML converters >> wouldn't be able to handle -- you'd need to implement those bits. So >> given that you'd need to create a bunch of new infrastructure, and >> TeX would basically just be dead weight, the question is: is it worth >> still using LaTeX, or is it better to start with something else >> entirely that's better suited to handle hierarchical proofs? > Please be careful to make the distinction between TeX and LaTeX here. Yes, I was careful to distinguish between TeX and LaTeX, and I said "TeX" when I meant "TeX". I'm sure that LaTeX is perfectly capable of representing Lamport's proposed proof structure. But the question is, why use LaTeX when half the reason for using LaTeX is that it can generate beautiful printed output through TeX, and Lamport's hierarchical proof would translate pretty badly to print. (As I mentioned, it would be possible to translated it to a printed version, but reading a printed version would likely be rather painful.) I don't know much about LaTeX3, but it looks like it's still targeting print, and so it would have the same problems. Not only that, but the existing LaTeX-to-HTML tools might not work with LaTeX3, so if you're getting rid of half of your toolset, why switch to LaTeX3 instead of some other format that targets HTML more directly? I'm sure that there may be good reasons for sticking with LaTeX (e.g. being able to easily copy-and-paste into for-print articles, familiarity with the language, etc.), but there are also disadvantages, and it will be interesting to see what factors determine what type of system, whether it be LaTeX or something closer to HTML, ends up being used to write hierarchical proofs. I suspect that it will be a long time before hierarchical proofs gain much popularity though, given that Lamport has been talking about them since at least the 90's, and I haven't seen one "in the wild" yet. So I don't know how much of a factor it will be "killing" LaTeX, if LaTeX ever does get killed. -- Hubert Chathi - Email: hubert@uhoreg.ca - https://www.uhoreg.ca/ Jabber: hubert@uhoreg.ca - Matrix: @uhoreg:matrix.org PGP/GnuPG key: 4096R/113A1368 (Key available at pool.sks-keyservers.net) Fingerprint: F24C F749 6C73 DDB8 DCB8 72DE B2DE 88D3 113A 1368