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.