Giovanni Piredda

lorenzo.pantieri” post=120650

La prospettiva di poter mettere mano sia sul sorgente (con il documento finito che cambia di conseguenza) sia sul documento finito (con il sorgente che cambia di conseguenza: ma come?) .

Questo lo so 🙂

In BaKoMa c’è un set di costrutti che possono essere inseriti attraverso menu o scorciatoie da tastiera. Tutti gli altri costrutti devono essere inseriti a partire dal codice sorgente; la facilità d’uso non è però data dall’inserimento della macro, ma dall’inserimento degli argomenti, i quali possono essere inseriti nell’interfaccia WYSIWYG. Lo ho già scritto in un messaggio precedente ma espando un poco l’esempio con l’ambiente di mdframed; nel mio test ho modificato leggermente un esempio della guida di mdframed, adesso lo propongo qui così com’è nella guida perché non ho il mio file sottomano.

Supponiamo di avere nel preambolo

`

\newmdtheoremenv [%
outerlinewidth = 2 ,%
roundcorner = 10pt ,%
leftmargin = 40 ,%
rightmargin = 40 ,%
backgroundcolor = yellow!40 ,%
outerlinecolor = blue!70!black ,%
innertopmargin = \topskip ,%
splittopskip = \topskip ,%
ntheorem = true ,%
] {theorem}{Theorem} [section]

`

e nel file

`

\begin {theorem} [Pythagorean theorem]
. . .
\end{theorem}

`

Nella parte WYSIWYG compare la cornice nella sua forma tipografica nella quale si può inserire il testo (argomento dell’ambiente). Ho fatto solo due prove (questo ambiente e una mia macro con alcuni argomenti), immagino che l’inserimento WYSIWYG sia possibile quando c’è una corrispondenza semplice fra la posizione del cursore nella rappresentazione visiva e la posizione del cursore nel codice.

Per quanto riguarda le formule (cosa essenziale, perché il codice che genera le formule è più difficile da leggere delle formule stesse), c’è un insieme di scorciatoie da tastiera per inserire le parti di formula (frazioni, radici, apici, pedici … non ho il programma sott’occhio e non mi ricordo quanto è completa). Quest’ultima parte la fa anche LyX. La differenza importante è che BaKoMa, al contrario di LyX, non ha bisogno di una traduzione manuale di ogni nuovo costrutto per fare l’editing WYSIWYG dei suoi argomenti (come detto sopra, mi aspetto che l’editing visuale degli argomenti sia sottoposto ad una condizione sul movimento del cursore).

Apro un file LaTeX, tanto per vedere che cosa succede; Tutti i comandi che il file contiene sono riprodotti in rosso (senza il backslash), intercalati al testo. Ci sono anche i commenti in grigio; il testo è formattato né più né meno come con LyX, non viene aperta la finestra della trasformazione, ma suppongo che sia necessario cliccare qualcosa; esplorerò la cosa con calma.

L’esportazione verso LaTeX funziona molto meglio dell’importazione (i comandi in rosso sono quelli che non è riuscito ad importare). Il modo efficace di usare TeXmacs come editor LaTeX è scrivere in TeXmacs e poi esportare. Questo in linea di massima è vero anche per LyX, ma non ho fatto un confronto delle capacità di importazione dei due programmi; da un lungo discorso fatto su una delle mailing list di TeXmacs ho tratto (senza capirlo a fondo) il concetto che la grammatica di LaTeX è tale che non può esistere un filtro di importazione completo, ma non ho un concetto intuitivo di quali siano le limitazioni rispetto all’insieme di pacchetti LaTeX “comunemente usati” (insieme definibile in maniera approssimativa).
L’esportazione verso LaTeX è estremamente ragionevole, ma esistono dei costrutti TeXmacs non esportabili, che quindi vanno evitati quando si scrive con l’idea di esportare verso LaTeX. La collaborazione con altre persone che usano LaTeX scrivendo il codice è limitata dalle capacità di importazione (interessante https://www.texmacs.org/joris/latexconv/latexconv.pdf, ma non ne conosco lo status attuale).

Detto ciò, i software a me noti che permettono l’editing “in parallelo” sia del codice sia del testo compilato per TeX sono

– BaKoMa TeX, di cui come ho scritto non si conosce pubblicamente lo status (vedere http://www.bakoma-tex.com/menu/talks.php)
– Compositor: https://compositorapp.com/ , mai testato e del quale non conosco eventuali limiti (l’editing del sorgente secondo la pagina web è fatto con una sorta di pop-up, vedere sezione “Source Editing When You Need It”). Ma funziona per il Mac, quindi forse tu lo puoi testare.

TeXmacs è un software originale, che funziona per conto proprio, e che fra le sue funzioni ha anche quella di esportare verso LaTeX. Con LaTeX ci sono differenze sintattiche di fondo (credo sia il tipo di automa che può interpretare la grammatica, ma per questo non sono in grado di dare informazioni sufficienti), le macro sono impostate in maniera completamente diversa (con un linguaggio funzionale, che credo sia proprio diverso rispetto alle macro del TeX) e anche la filosofia è diversa (l’accesso al sorgente viene considerato come un supporto al WYSIWYG); per la filosofia vedere questo articolo di M. Gubinelli su maddmaths: http://maddmaths.simai.eu/divulgazione/focus/texmacs/ (è in forte polemica, ma argomentata, con TeX). Da quello che ho capito nelle discussioni con gli autori, la grammatica diversa rende il testo completamente strutturato (LaTeX per costruzione non può esserlo).

Come ultima osservazione sulla grammatica, non so se le diverse grammatiche influenzino la capacità di organizzare il testo in regioni arbitrarie di una pagina (per TeX, vedere Hoenig, A. (1987). TeX does windows-conclusion. TUGboat, 8(2), 211–215. …io ho solo letto l’introduzione e guardato le figure, non mi sogno di interpretare il codice … e “Comment on “TeX does windows” a pagina 216 dello stesso numero di TUGboat)

\def \n2om {n_{2\omega}}

non funziona perché è violata una normal di basse di TeX e LaTeX: le macro da definre con \def e con gli alri comandi di definizione nativi di TeX e definiti con LaTeX, devono essere formata con una stringa di sole lettere;

Non avevo pensato a questo e, se lo ho mai saputo, lo avevo anche dimenticato. Detto ciò, non me ne sono accorto perché … TeX compila il codice. Ci ho messo un po’ a capire cosa succede e ci sono arrivato solo grazie ad una ricerca su Google che mi ha portato sulla pagina https://texfaq.org/FAQ-linmacnames (punto 4): la sorta di “pattern matching” che TeX impiega quando esegue una macro si applica anche quando non ci sono argomenti.

Comunque hai ragione in generale, uso TeX per “prove ed errori”, con un quadro d’insieme parziale su come funziona il software; per esempio ho in mente in maniera parziale la famosa distinzione fra occhi bocca e stomaco, so dell’esistenza dei modi orizzontale e verticale e la loro definizione di massima ma non so identificare quando vengono attivati.

Detto questo, non mi sono spiegato bene, e insisto con le mie argomentazioni.
Con “non sono mai riuscito a farlo funzionare fino in fondo” intendo “Non sono mai riuscito a fare funzionare fino in fondo per me l’editing di un documento scritto con markup in formato solo testo”.

In particolare, non riesco a leggere con la scioltezza che vorrei la matematica, appena le formule superano una modesta complessità. Riprendendo l’esempio

`
\begin{aligned}
F_{1\l} &= F_{2\r} + F_{2\l} \exp (i\,k_2 L) + F_{\Br} + F_{\Bl} \exp(i\,k_\B L) \\
%
F_{1\r} &= -\nIIom \, F_{2\r} + \nIIom\, F_{2\l} \exp (i\,k_2 L) – \nIIom\, F_{\Br} +
\nIIom\, F_{\Bl} \exp(i\,k_\B L)\\
%
F_{3\r} &= F_{2\r} \exp (i\,k_2 L) + F_{2\l} + F_{\Br} \exp(i\,k_\B L) + F_{\Bl} \\
%
-F_{3\l} &= \nIIom \, F_{2\r} \exp (i\,k_2 L) + \nIIom\, F_{2\l} –
\nIIom\, F_{\Br} \exp(i\,k_\B L) + \nIIom\, F_{\Bl}
\end{aligned}
`

devo compilarlo per leggerlo con scioltezza. In “formato codice”, sono costretto a leggere ogni sottoespressione, quindi non ho la visione di insieme.

La tesi del mio post è che l’editing sotto i due formati “codice” e “compilato” è superiore all’editing sotto uno solo dei due formati e che l’assenza di un software che lo faccia per TeX non è dovuta a limitazioni tecniche ma a “limitazioni sociali”. Credo di avere delle argomentazioni passabili a sostegno della tesi.

Per l’assenza di limitazioni tecniche.

Un’argomentazione è che un software esiste, è BaKoMa TeX, e non è mai stato molto diffuso perché a pagamento secondo me. L’autore purtroppo è deceduto e adesso non si sa cosa succederà al software, è possibile che si perda. Lo ho provato qualche anno fa e ricordo che funzionava, ma lo ho testato poco (c’era la versione di prova per tempo limitato, e poi non lo ho comprato) .

A parte il software commerciale (che dimostra la parte “tecnica” della tesi), software disponibili pubblicamente che realizzano questo parzialmente per TeX sono stati scritti alla fine degli anni ’80. Vedere VORTEX: https://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/5485.html , tesi di dottorato di Pehong Chen, c’è un link da cui è scaricabile. Ho letto solo parti del documento e mi pare che l’editabilità del testo nella finestra “compilato” non sia completa in questo sistema, è possibile che si possa solo fare copia-incolla e qualche cambio di formattazione. Ho trovato anche il codice: https://github.com/tex-other/vortex (credo ci siano le parti interessanti di compilazione incrementale per esempio).

Per l’esistenza di limitazioni sociali, credo ci siano due fattori in gioco. Uno è la scarsità di incentivi: scrivere questo codice richiede un paio di anni di lavoro concentrato, e non si viene né pagati, né si può usare facilmente come credenziale accademica (magari mi faccio venire la voglia e controllo se nei concorsi per l’università italiana viene dato peso all’aver scritto codice scientifico). L’altra è che l’esistenza di tale software non viene vista come “cosa desiderabile”: e invece dovrebbe secondo me, per questo scrivo.

Poi esistono anche software diversi da TeX che lo fanno, ma in questo caso cambia la sintassi del documento (la discussione “sintassi” la so affrontare in maniera solo parziale, mi interessa comunque ma è eventualmente per un altro post).