Estava lendo o blog do Greg Young, e me deparei com um post sobre SPEC#, que é uma nova linguagem, que, segundo o paper de Overview, é um superconjunto do C#.
Achei interessantíssimo, até porque traz idéias que já vi em outras linguagens ao .Net. Uma das mais interessantes seria o fato de um método poder informar quais exceções ele lança, algo assim:
char Read()
throws SocketClosedException;
Outra possibilidade interessante seria poder dizer qual o escopo de mudança de variáveis possível. Então o método informaria as variáveis que vai alterar:
class C {
int x , y;
void M() modifies x ; { . . . }
A linguagem se chama Spec# porque o código especifica o que vai fazer. Muito interessante mesmo.
Como a idéia toda é muito legal, me junto ao Greg para solicitar a linguagem e todo o sistema, que ainda está em pesquisa no Microsoft Research:
Eu também quero Spec# !
Postado na(s) categoria(s)
Tecnologia em pesquisa
pelo
Giovanni Bassi em 11 de maio de 2008 às 22:08
| Tags:
c#,
spec#,
microsoft research
e2cfb25b-a617-43d4-b0e9-0e4ccc0e1ee1|0|.0