RSS Meetups are monthly gatherings of LASIGE members with interests in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, Formal methods and other topics.

Title: Safe(Rest)Script

Presenter: Nuno Burnay

O consumo de serviços REST é uma forma muito popular de invocar código fornecido por terceiros. Porque é particularmente predominante em aplicações web, muitos clientes destes serviços são escritos em Javascript e, recentemente, também em TypeScript.

Ao escolher o TypeScript, os programadores passam a usufruir de uma análise estática de tipos que consegue verificar a correcção das chamadas às funções locais ou fornecidas por bibliotecas. No entanto, erros no consumo dos serviços REST são encontrados apenas e tempo de execução. Este artigo apresenta o SafeRestScript, uma linguagem desenvolvida com o objectivo de mostrar que é possível estender o apoio da análise estática ao consumo de serviços web. O SafeRestScript oferece uma coleção rica de tipos com objectos, arrays e tipos refinados que é partilhada com o HeadREST, a linguagem para descrever as APIs dos serviços REST consumidos.

[Joint work with Antónia Lopes and Vasco Vasconcelos]