Ro/Haskell/versus/TEX

2. Unele reviste mai vechi si unele conferinte si simpozioane au ramas in anii in care Knuth inventa TEX-ul. In acei ani puteai sta 10 ani sa dezvolti un produs cum au fost TEX si MetaFont. Dar la nivelul anului 2011, in comunitatea Haskell, TEX-ul este depasit, si voi argumenta de ce:

2.1. Haskell este un VHLL de mare productivitate in care poti scrie, de exemplu, un alt limbaj intr-o zi sau doua. In aceste conditii a scrie lucrarea despre softul respectiv in TEX este o pierdere de timp. Ar dura mai mult scrierea lucrarii in TEX ca cercetarea. Sau ministerul ne plateste sa fim dactilografe TEX si nu cercetatori ?

2.2. In comunitatea DSL-istilor si mai recent in volume de conferinte de specialitate, Haskell-ul, limbaj functional, tinde sa inlocuiasca de facto notatia matematica, devenind lingua franca a comunitatii. Luati de exemplu: Walid Mohamed Taha (ed.) - Domain-Specific Languages , IFIP TC2 Working Conference, DSL 2009, Oxford,UK, Jully 2009 - Proceedings, de la Springer Verlag si veti vedea ca Haskell a devenit aproape peste tot limbaj inlocuitoar al matematicii la scrierea lucrarilor din domeniu. Mai sunt si alte limbaje din jargonul informaticienilor implicate. In aceste condiftii a cere Haskell-istilor lucrari in TEX e un fel de bataie de joc la adresa productivitatii limbajului. Bine ca nu li se cer lucrari scrise in binar cu dalta pe placi de piatra. :)

2.3. Haskell-istii considera ca in loc de a invata TEX isi pot folosi timpul la altceva. In cel mai rau caz recomanda un generator ca sa generezi TEX din .doc. O opinie a prof. Mihai Gontineac despre TEX gasiti aici.

2.4. Haskell ofera un format .lhs - literate haskell - care poate fi simultan si lucrare stiintifica si program de calculator comentat. Cercetarile se fac scriind programe Haskell in fisiere .lhs. Dar .lhs nu este .tex.

2.5. Carti de initiere in scrierea matematicii, cum este "How To Write Mathematics" de la AMS chiar recomanda, unde se poate, renuntarea la floricelele formulelor supraetajate in care TEX exceleaza. recomanda doar s ascrii, eficient: exp(x) in locul lui "e la x" pe doua nivele.

2.6. Chiar daca este foarte elegant pentru matematica, algoritmul TEX de plasare a randurilor in pagina dupa densitatea de alb si negru si alte reguli tipografice se bate cap in cap cu regulile de scriere a programelor in Haskell. Haskell are o sintaxa bazata pe Layout si alinieri verticale care nu respecta densitatile de alb negru dorite de TEX ceea ce insemna ca atunci cand faci copy paste la un cod Haskell in TEX sau LYX el va fi formatat incorect, stricandui-se layout-ul si transformandu-l in program eronat, care nu va rula, si va da, probabil, erori de layout. Nu are nici un sens sa producem lucrari stiintifice frumoase dar cu programe inutilizabile. Nu spun ca nu se pot face pagini TEX cu text cu format fixat, cu ceva munca in plus,dar atunci de ce sa mai folosim TEX ? Si ajungem iar la problema productivitatii !

Concluzia: a ni se cere TEX si mai ales TEX cu style propriu e o pierdere de timp pentru cercetarea in Haskell, dupa opinia mea.

Dan P.

P.S. Totusi cum asemenea dispute sunt "religioase" nu doresc sa le lungesc.