Philip Wadler, renomado cientista de programação, na FATEC-RL
O americano proferiu palestra no CITEG
por , em 01/12/2019
A Fatec-RL foi prestigiada com a visita de Philip Wadler no mês passado, dentro da programação oficial do II Congresso Internacional de Tecnologia e Gestão (CITEG), edição 2019.
Wadler, cientista da computação americano conhecido por suas contribuições ao design de linguagens de programação e à teoria dos tipos, foi convidado a vir a Santos proferir palestra na unidade pelo Prof. Me. Alexandre Garcia Oliveira, doutorando no Instituto de Matemática e Estatística da USP e conhecedor dos trabalhos do cientista.
O professor da Universidade de Edimburgo lotou o auditório no dia 25 de Novembro, às 19h, surpreendendo o público com sua fantasia de Super Lambda, com direito a capa e traje colorido de super-herói.
A palestra em língua inglesa teve por título um trocadilho: (Programming Languages) in Agda == Programming (Languages in Agda), em referência à regra de associatividade da matemática. Wadler fez uma introdução sobre programação funcional tipada e contou como ele e outros usam a linguagem Agda para especificar sistemas e ter garantias da corretude dos programas. Concluiu com um case de sua empresa, que faz criptomoedas e contratos inteligentes. Ao final, respondeu solicitamente às perguntas dos alunos presentes, mesmo daqueles que possuíam pouca fluência no inglês.
Também enfatizou a importância de se usar linguagens de programação funcionais como o Haskell, ensinado na Fatec-RL pelo prof. Garcia.
A iniciativa do professor e outros responsáveis para que esse encontro acontecesse é louvável, deixando toda a comunidade acadêmica orgulhosa e desejosa de outras vivências assim, tão enriquecedoras.