Profile cover photo
Profile photo
Andrea Griffini
119 followers
119 followers
About
Andrea's posts

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has attachment
a video addon to my SO reply http://stackoverflow.com/a/36370224/320726

Post has attachment

Post has attachment
Andrea Griffini commented on a post on Blogger.
Il "linguaggio" di metaprogrammazione template del C++ direi che e' molto piu' simile a brainfuck che ad haskell.

Per un puro incidente e' successo che le complesse regole di risoluzione overload, di match di specializzazione e la SFINAE potessero essere utilizzate per simulare ricorsione e esecuzione condizionale. Nidificare delle dichiarazioni di tipi astrusi dichiarati ad hoc per questo scopo potevano essere utilizzate per creare type list e cosi' via...

Nonostante by design il linguaggio di metaprogrammazione template del C++ fosse incredibilmente limitato appunto ad un approccio "sostituzione in template" ci si e' quindi ritrovati con (sorpresa) qualcosa di turing completo.

Questo non sarebbe stata una tragedia se la cosa si fosse fermata qui ad un puro esercizio accademico fine a se stesso.

Quello che e' successo invece e' che ipnotizzate da questo nuovo giocattolo, persone sicuramente intelligenti e assennate si siano messe a scrivere codice "vero" in questo brainfuck semplicemente perche' si poteva. E ora ci ritroviamo con delle mostruosita' che ci si sarebbe potuti risparmiare e che sono arrivate sino allo standard.

La cosa peggiore e' che inoltre si e' scelto che questo fosse per chissa' quale imperativo teologico l'unico modo di meta-programmare in C++... con il risultato che nel 2015 e' ancora impossibile fare ad esempio introspezione o leggere un file di configurazione a compile time.

Se la cosa puo' consolare pero' c'e' nello standard l'aritmetica razionale compile time...

Post has attachment
Direi che la pinzetta e' decisamente azzeccata... mi vergogno tantissimo. Sono tre giorni che corro sul posto ininterrottamente, ma non so se bastera' per espiare.
Photo

Post has attachment
While waiting for a backup to complete I found a snake...
Wait while more posts are being loaded