PDI^2

Ovvero, l’idea di usare l’analisi statica di un programma scritto in un linguaggio dinamico per verificare che non ci siano errori nelle parti che sono controllabili staticamente.
Insomma, non proviamo che il programma è corretto, ma almeno diamo un’occhiata che non sia clamororsamente sbagliato.

A me pare la cosa più ragionevole per un linguaggio: se si vuole si aggiunge qualche indizio per il type checker qui e li e le cose continuano a funzionare allegramente per le parti di programma che non sono controllabili staticamente. Il che permette anche ad un programmatorei di utilizzare un approccio controllabile staticamente per parti di codice più delicate.

Link su Lambda the Ultimate, come al solito. Geniale il commento “In other news, the Holy Grail has been found”

Sono stato invitato a provare Vox, il “nuovo” servizio di SixApart, un’altra comunità socializzante basata sul blogging.
Da un certo punto di vista sembra un LiveJournal 2.0, con tagging, gradienti qua e la, font size=5.

La ui comunque è molto carina, pulita e non distrae, i post si possono scrivere con un rich text editor molto ben fatto e ad hoc (nel senso che ad esempio si può inserire con un click il collegamento ad un altro utente) e l’uso di javascript/ajax pare intelligente.
Non mi è chiaro perché non ci sia il supporto OpenID per il login, ma forse ho visto male.
Oltre al servizio minimo di scrittura di post c’è una certa multimedialità cablata nel sito, tramite la possibilità di inserire al volo file audio/video, aggiungere libri, album, liste di oggetti create in precedenza, tutto molto integrato.
Forse l’unica cosa che manca è l’integrazione con un calendario, potevano spendere due lire e comprarsi Kiko, imo

Se volete un invito per dare un’occhiata fate un fischio, dovrei averne infiniti.