Re: Editor

[Nick Name <nick.name@inwind.it>]

Il 05:47, giovedì 2 maggio 2002, NN_il_Confusionario ha scritto:
> vim "turing complete"

Ecco a beneficio di chi si stesse ancora chiedendo dove andubbe (non mi 
fregate più con i congiuntivi :) a parare tutto questo, il risultato 
della ricerca:

http://www.liacs.nl/~jvhemert/vim/

nella sezione "Toys & Entertainment" (chissà perché poi tutto ciò che 
fanni i "semantici" é considerato gioco e divertimento :)

 tm.vim

 The ultimate macro, this gives you the power to do it all.


Giacché siamo in argomento, un colossale OT che spiega cosa c'entri 
tutto ciò ad un eventuale "profano". Un formalismo é completo se é 
turing-equivalente, o anche se può esprimere un altro formalismo 
completo, quindi direi che il linguaggio di macro di vim é un 
formalismo completo; dopo aver dato un'occhiata al codice di tm.vim 
darei il premio "obfuscate programming" al suo autore ;). La 
definizione di formalismo completo dovrebbe essere "un formalismo é 
completo se può esprimere tutte le funzioni calcolabili".

Saluti, e grazie per le risposte

Vince


--
To UNSUBSCRIBE, email to debian-italian-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org