[ALL] Curiosita' sui flusso di controllo di un programma

[wingman87]

Originariamente inviato da PGI-Bis

Spero che insegnino informatica e non stregoneria.

Parlando di cose serie e visto che siamo in tema, tempo fa lessi di una società o neozelandese o australiana o che altro (è stato tempo fa e io ho quel tanto di alzheimer...) che aveva sviluppato un software accompagnato dalla prova matematica dell'assenza di bug. Naturalmente essendo una cosa interessante ho perso il link e non trovo la combinazione di parole per ripescarla con un motore di ricerca. Qualcuno l'ha per caso letta e può mettere il link qui?

Esistono metodi di sviluppo formali (e relativi strumenti, ad esempio il linguaggio Z) che permettono di farlo (visto sempre nel corso di "stregoneria" )

[PGI-Bis]

stregoneria è riferito a extreme-agile-testdriven developement e/o programming.

[wingman87]

Originariamente inviato da PGI-Bis

stregoneria è riferito a extreme-agile-testdriven developement e/o programming.

Ah, ok, non avevo capito, sorry. Comunque due giorni fa mi è arrivato un libro di java sui metodi agili, "Agile Java" di Jeff Langr, e non sembra male.

[fero86]

Originariamente inviato da PGI-Bis

Spero che insegnino informatica e non stregoneria.

PGI, non dirlo troppo in giro ma... ti amo

[cionci]

Originariamente inviato da fero86

senti, lascia proprio perdere che in questo forum ci sono un po' di persone che hanno visto in maniera molto diretta i risultati

Il Test Driven Develpment permette di avere ottimi risultati. I problemi di Diamonds sono stati altri.

Originariamente inviato da fero86

da me si, a Ingegneria del Software, ma siccome ho scoperto che quel corso mi fa schifo l'ho tolto dal piano di studi

Peccato perché è stato uno dei corsi più importanti del mio piano di studi.

[cionci]

Originariamente inviato da PGI-Bis

Parlando di cose serie e visto che siamo in tema, tempo fa lessi di una società o neozelandese o australiana o che altro (è stato tempo fa e io ho quel tanto di alzheimer...) che aveva sviluppato un software accompagnato dalla prova matematica dell'assenza di bug. Naturalmente essendo una cosa interessante ho perso il link e non trovo la combinazione di parole per ripescarla con un motore di ricerca. Qualcuno l'ha per caso letta e può mettere il link qui?

Non è una cosa così rara.
Se vai a vedere software e sistemi operativi per sonde e veicoli spaziali, centrali nucleari e roba di questo tipo, il coverage della verifica formale deve raggiungere spesso il 95% del codice. Esistono linguaggi appositi per la verifica formale. Cose che fero86 non conosce perché ha tolto ingegneria del software dal suo piano di studi

[PGI-Bis]

E' che c'era qualcosa di originale in quello che avevano raggiunto. Purtroppo vado a ricordi vaghi ma dichiaravano una cosa tipo "questo è il primo software che". Che poi lo facessero a ragion veduta o no non lo so perchè non ho più seguito la faccenda.

[marco.r]

Originariamente inviato da mcaisco

Sinceramente a me fa abbastanza schifo scrivere codice del tipo:

if(A)
   if(B)
      if(C)
         if(D) ...
         else errore D
      else errore C
   else errore B
else errore A

Dico, hai chiesto come scrivere in modo un po' piu' elegante 10 linee di codice e per risposta hai avuto paginate di codice poco chiaro e un sacco di seghe mentali... mah .
Come hai visto in queste tre pagine, le alternative sono altrettanto schifose , soprattutto se devi gestire l'errore in loco, perche' il codice per la gestione in un modo o nell'altro ce lo devi mettere.
Se invece l'errore devi solo ritornarlo allora ti conviene utilizzare uno qualsiasi dei metodi di short-circuit che ti sono stati proposti.
Se usi un linguaggio c-like la cosa piu' semplice secondo me e' una catena di && come forse ha gia' proposto qualcun altro.

return A() && B() && C() && D();

Rispetto ad altre soluzioni "ad oggetti", e mancando un sistema di macro serie in questi gruppi di linguaggi, e' l'unico metodo che ti permette anche di utilizzare funzioni con argomenti senza artifici strani.
Se il linguaggio inoltre permette l'allocazione sullo stack (e.g. C++) allora lo puoi sfruttare per la liberazione automatica delle risorse se necessario.

Una alternativa puo' essere quella di mettere le operazioni in una lista , ed eseguirla in ordine.

ops = [ A,B,C,D ]
for op in ops:
  err = op()
  if err:
    return op

Pero' questo vale la pena solo se le operazioni sono parecchie e in ogni caso diventa scomodo passare argomenti diversi alle funzioni (dovresti creare funzioni che ritornano funzioni... e a quel punto tanto vale un po' di boilerplate in piu').

La gestione piu' carina probabilmente riesci a farla in haskell, dove utilizzando la struttura dati opportuna puoi semplicemente scrivere qualcosa tipo

foo :: String -> Either Error Result
foo filename
= do params <- getParameters filename
       db <- connectToDb params
       data <- selectFrom db
       return $ Right extractInfoFrom data

e "automaticamente" l'esecuzione si ferma al primo errore.

In realta' con qualunque altro linguaggio funzionale serio puoi semplicemente creare una lista di funzioni valutate parzialmente e farla eseguire da una tua funzione custom 'sequence' che prenda un argomento iniziale e la sequenza di operazioni

foo filename = 
  let ops = [ getParameters,
               connectToDb params,
               selectFrom db,
               extractInfoFrom data ]
  in
    sequence filename ops

[PGI-Bis]

Fuori i palteau ragazzi, è arrivato Armani.

[marco.r]

Originariamente inviato da PGI-Bis

Fuori i palteau ragazzi, è arrivato Armani.

Se per armani intendi Semplicita' ed concretezza ti ringrazio del complimento

[PGI-Bis]

Era per "l'eleganza"

...hai chiesto come scrivere in modo un po' piu' elegante...

Ma se me la fai spiegare non è più divertente!

[gugoXX]

Originariamente inviato da fero86

leak-prone

leak per linguaggi vecchi che permettono i leak

senti, lascia proprio perdere che in questo forum ci sono un po' di persone che hanno visto in maniera molto diretta i risultati

Direi che non e' stato applicato fino in fondo.
Soprattutto occorrono persone che lo conoscono, e non che colgono l'occasione per impararlo.

da me si, a Ingegneria del Software, ma siccome ho scoperto che quel corso mi fa schifo l'ho tolto dal piano di studi

Non ho capito. In una ingegneria infomatica permettono di togliere dal piano di studi ingegneria del software?

[fero86]

Originariamente inviato da gugoXX

leak per linguaggi vecchi che permettono i leak

zitto tu e controlla che quella classe non implementi IDisposable

Direi che non e' stato applicato fino in fondo.

peccato non poter piu controllare visto che a 'na certa il forum é stato spazzato via comunque, finché ho potuto lurkare, questo fek mi é sembrato piuttosto pignolo.

Soprattutto occorrono persone che lo conoscono, e non che colgono l'occasione per impararlo.

e che so' scemi che ci mettono 4 anni ad impararlo?

Non ho capito. In una ingegneria infomatica permettono di togliere dal piano di studi ingegneria del software?

in realtá, per fortuna, non si tratta di Ingegneria ma proprio di Informatica. da noi (la Sapienza) Ingegneria del Software non é uno di quei pochi corsi ritenuti indispensabili per il conseguimento della laurea specialistica, come lo sono invece Calcolabilitá e Complessitá, Architettura di Internet* e qualcun altro.
naturalmente non é che uno piglia e toglie le cose dal piano di studi: sempre un tot di crediti deve raggiungere, 120 nel caso del biennio della specialistica, quindi io ho sostituito le due Ingegnerie del Software (brrr) con altri due corsi che mi interessavano molto di piu e che ho scoperto dopo, per un totale di 12 crediti rimpiazzati. ma stai tranquillo che non ho preso assolutamente strade facili: ogni tanto mi chiedo se non sono stato troppo idiota a farmi un piano di studi cosi difficile (mi sono fatto guidare piu dall'interesse che dalla furbizia, cosa che non fa nessuno).

* nome bislacco per un corso che spiega lo stack TCP/IP piu altre cose accessorie.

[PGI-Bis]

Per quanto poco mi importi del tdd direi che diamonds abbia avuto dei problemi non correlati alla metodologia di sviluppo. A un certo punto son mancate le dita. Il che è piuttosto comune nei progetti non coatti. E' un peccato perchè a me piaceva vederlo andare avanti.

[fero86]

Originariamente inviato da PGI-Bis

Per quanto poco mi importi del tdd direi che diamonds abbia avuto dei problemi non correlati alla metodologia di sviluppo. A un certo punto son mancate le dita. Il che è piuttosto comune nei progetti non coatti. E' un peccato perchè a me piaceva vederlo andare avanti.

e il motivo per cui sono mancate le dita qual é? ricordo di aver letto dei post piuttosto eloquenti in merito!

[gugoXX]

Originariamente inviato da fero86

zitto tu e controlla che quella classe non implementi IDisposable

E quindi? Pensi basti questo per un memory leak?
La maggior parte delle classi non implementa IDisposable

finché ho potuto lurkare, questo fek mi é sembrato piuttosto pignolo

Non lo metto in dubbio, infatti non penso proprio il problema fosse suo.
Sara' mancata costanza o voglia.

[marco.r]

Originariamente inviato da PGI-Bis

Era per "l'eleganza"



Ma se me la fai spiegare non è più divertente!

Lol, comunque ho una idea abbastanza pragmatica di eleganza quando parlo di codice

[jappilas]

Originariamente inviato da fero86

peccato non poter piu controllare visto che a 'na certa il forum é stato spazzato via

peraltro con estremo dispiacere del sottoscritto (privato sia della sottosezione specifica del progetto, a lui affidata, sia di quanto poteva attestare uno dei punti più salienti del suo curriculum - e di quello di alcuni altri)

e che so' scemi che ci mettono 4 anni ad impararlo?

non confondere quello che adesso è su xp-dev.com con la sua sporadica (se non nulla) attività a tempo perso, con il progetto di HWUpgrade che nel 2006 impegnava una dozzina di persone a ritmo regolare per poi morire nel 2007 - quando la maggior parte dei membri del team iniziale ha cominciato a disertare
(compreso proprio il coach - fek passò in cruch time per B&W2 in quel periodo se non ricordo male)

[jappilas]

Originariamente inviato da fero86

e il motivo per cui sono mancate le dita qual é? ricordo di aver letto dei post piuttosto eloquenti in merito!

a quel che ricordo, sporadiche build rotte e violazioni del checkstyle in primis impegni lavorativi in secundis...

[cionci]

Originariamente inviato da jappilas

peraltro con estremo dispiacere del sottoscritto (privato sia della sottosezione specifica del progetto, a lui affidata, sia di quanto poteva attestare uno dei punti più salienti del suo curriculum - e di quello di alcuni altri)

Le discussioni sono state tutte copiate nella sezione Programmazione.