Codice sorgente creato da un programma?
max
leggete questo "sproloquio" di questo programmatore in vena di
confidenze su punto informatico.
sembra che abbiano inventato un programma che dandogli in pasto un
sorgente semplificato,
ne genera un altro completo, automaticamente... privo di bug!!
esiste qualche cosa del genere per lo meno come idea per linux?
ciao
MaX
______________________________________________
Renovamos el Correo Yahoo!
Nuevos servicios, más seguridad
http://correo.yahoo.es
--
To UNSUBSCRIBE, email to debian-ital...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listm...@lists.debian.org
Francesco Romani
> http://punto-informatico.it/forum/pol.asp?mid=1115497&tid=1114982&r=PI&p=1
> leggete questo "sproloquio"
Probabilmente e` proprio il termine giusto... :P
> sembra che abbiano inventato un programma che dandogli in pasto un
> sorgente semplificato,
> ne genera un altro completo, automaticamente... privo di bug!!
In se come concetto non e` eccezionale. Voglio dire: la generazione
automatica del codice non e` certo una novita`, e, a patto che il
"generatore" stesso sia bug-free (cosa che puo` non essere banale da
verificare), il codice generato sara` esso stesso bug-free.
In effetti l'articolo del tizio mi ha fatto venire piu` in mente
(come concetto) un interprete o un compilatore piu` che un generatore di
codice... Ma va anche ricordato che siamo su PI (anzi, sui forum di PI),
un posto ai confini della realta`, anzi spesso oltre quei confini.
> esiste qualche cosa del genere per lo meno come idea per linux?
Si. Il "vantaggio" di quel software indicato nell'articolo, ammesso
che tale sia, e anzi ammesso che tale software esista, starebbe
nella generalita` d'uso...
Per linux come generatori di codice abbiamo, tra le prime cose che mi
vengono in mente:
- Samba, versione 4 almeno, dovrebbe includere un generatore di codice
(pIDL)
- glade poteva generare codice per la gestione della GUI (feature
deprecata)
--
Francesco Romani -- Ikitt
'In fact, users don't read /anything/' -- Joel Spolsky
void *a, *b; a != b; --violates patent #437822 [http://snipurl.com/ar6e]
Mario Latronico
> sembra che abbiano inventato un programma che dandogli in pasto un
> sorgente semplificato,
> ne genera un altro completo, automaticamente... privo di bug!!
se ho capito bene e se ricordo bene e' il problema della fermata, oppure
una sua variante.
Come spiegato qui http://en.wikipedia.org/wiki/Halting_problem , il
problema non e' decidibile.
Questo in teoria, in pratica credo si possano fare delle ragionevoli
approsimazioni.
Raistlin
>
>
> leggete questo "sproloquio" di questo programmatore in vena di
> confidenze su punto informatico.
Ma non e` un gran che... Io saprei fare di meglio.
Avrei scritto almeno che nella mia cantina ho inventato un modo per
teletrasportarmi sulla luna... Cosi` potremo controllare se c'e` davvero
la bandiera USA sul Mare della Tranquillita`, o se, come dice qualcuno,
ci hanno preso per i fondelli!! ;)
> sembra che abbiano inventato un programma che dandogli in pasto un
> sorgente semplificato,
> ne genera un altro completo, automaticamente... privo di bug!!
A me sembra che abbiano inventato un po' troppe cose, e tutte solo loro.
Per carita, non che quello che dice non possa essere vero! Hanno
definito la sintassi di un linguaggio moolto ad alto livello e poi,
invece di scrivere un compilatore, hanno realizzato uno strumento che
produce, da un listato in questo linguaggio, un listato in C++.
E` carino, ma non credo sia ne` molto originale, ne` la rivoluzione
dell'informatica... Almeno IMHO :O
Sul privo di bug hanno gia` commentato egragiamente Francesco e Mario
Ah, il tutto per 'streamare', 'mixare', 'poppare', o $AZIONE_ASSURDA con
le classi perche` non sapevano usare i puntatori con l'ereditarieta`...
Bravi!! ;)
Personalmente ritengo che PI sia una grande, comoda, utile, _essenziale_
risorsa, ma a volte, sia sul forum che sugli articoli, ci ho letto anche
delle grosse c@##ata! :)
Ovviamente e` solo la mia personale ed umilerrima opinione :)
Ciao,
Dario
--
<<This happens because I choose it to happen!>>
(Raistlin Majere, DragonLance Chronicles -Dragons of Spring Drawning-)
----------------------------------------------------------------------
Dario Faggioli
GNU/Linux Registered User: #340657
Zanco Federico
>
> Sul privo di bug hanno gia` commentato egragiamente Francesco e Mario
piu' che di Halting problem parlerei di proprieta' non banali, che, come il
teorema di Rice ci dice, non sono ricorsive.
Che poi questi abbiano implementato delle ottime euristiche per alcuni casi
questo e' credibile.
> Personalmente ritengo che PI sia una grande, comoda, utile, _essenziale_
> risorsa, ma a volte, sia sul forum che sugli articoli, ci ho letto anche
> delle grosse c@##ata! :)
>
> Ovviamente e` solo la mia personale ed umilerrima opinione :)
>
spero di non andare troppo OT chiedendo alla lista quali possono essere,
cercando di rispondere per esperienza acquisita, quali sono le migliori fonti
di informazioni sia digitali che cartacei (mi interessano molto le critiche
dei giornali dell'ambiente) sul pinguino.
Se la domanda e' OT, visto anche il mancato cambio di topic mi fermo qui e mi
scuso.
> Ciao,
> Dario
altrettanto
fede