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 21:08
| Tags:
c#,
spec#,
microsoft research
Ninguém avaliou. Dê sua nota!
- Currently 0/5 Stars.
- 1
- 2
- 3
- 4
- 5