Barbara Liskov: A primeira arquiteta da abstração de dados

Em 1968, Barbara Liskov tornou-se uma das primeiras mulheres nos Estados Unidos a obter um doutorado em um departamento de ciência da computação. Quatro décadas depois, o reitor do MIT disse ao mundo que cada vez que alguém conferia um saldo bancário online ou fazia uma busca, estava "aproveitando o impulso de sua pesquisa". Entre esses dois momentos, ela construiu o andaime conceitual — abstração de dados, tipos de dados abstratos, uma regra formal para quando um tipo pode substituir outro com segurança — que silenciosamente roda sob quase todas as linguagens de programação escritas desde então.

Um início improvável na computação

Barbara Jane Huberman nasceu em 7 de novembro de 1939, em Los Angeles, a mais velha de quatro filhos. Ela se formou em matemática com especialização em física na UC Berkeley, graduando-se em 1961 como uma das duas únicas mulheres em sua turma estudando matemática. Em vez de seguir um caminho fácil para uma carreira técnica em um momento em que quase não existiam para mulheres, ela aceitou um emprego como programadora na Mitre Corporation antes que Stanford a aceitasse em um programa de ciência da computação nascente. Sua tese de doutorado de 1968 abordou a programação de finais de xadrez e produziu a "heurística assassina", uma técnica de poda de busca ainda discutida em inteligência artificial. Seu orientador de doutorado foi John McCarthy, um dos fundadores da IA como campo. Ela é reconhecida como a primeira mulher nos Estados Unidos a receber um doutorado de um departamento de ciência da computação.

CLU e a ideia de abstração de dados

Liskov ingressou no MIT em 1972 para liderar o que se tornou o Programming Methodology Group, e foi lá, em meados da década de 1970, que ela projetou a CLU. Na época, a maioria dos programadores organizava o software proceduralmente, escrevendo sequências de instruções que manipulavam estruturas de dados diretamente e deixavam as duas coisas emaranhadas em toda parte. A CLU introduziu "clusters" — módulos independentes que agrupavam um tipo de dados junto com as únicas operações permitidas para tocá-lo, escondendo a representação interna inteiramente do resto de um programa. Isso era abstração de dados, e é difícil exagerar o quanto isso remodelou a engenharia de software: as estruturas de classe no coração de Java, C++, C# e Ada traçam sua linhagem até os clusters da CLU. Liskov construiu a linguagem essencialmente como um argumento, feito em código funcional, de que grandes sistemas de software só poderiam ser construídos de forma confiável se fossem divididos em pequenas peças verificáveis independentemente com interfaces limpas.

Argus, tolerância a falhas bizantinas e sistemas distribuídos

Liskov não parou em programas de máquina única. Na década de 1980, ela liderou o desenvolvimento do Argus, a primeira linguagem de programação de alto nível criada especificamente para suportar a computação distribuída — programas que rodam corretamente mesmo quando divididos em várias máquinas comunicando-se através de uma rede, uma ideia agora fundamental para todos os serviços em nuvem e aplicações web. Ela posteriormente se voltou para um problema ainda mais difícil: como um sistema distribuído continua funcionando corretamente mesmo quando algumas de suas máquinas componentes falham arbitrariamente ou se comportam maliciosamente, um cenário que os cientistas da computação chamam de "falha bizantina". As técnicas práticas que ela e seus alunos desenvolveram para a tolerância a falhas bizantinas agora estão incorporadas na infraestrutura que mantém serviços de internet de larga escala confiáveis e, mais tarde, sustentam alguns protocolos de consenso de blockchain.

O princípio que leva seu nome

Em uma palestra principal em 1987, Liskov articulou o que se tornaria conhecido como princípio da substituição de Liskov, formalizado mais tarde com Jeannette Wing: se um programa é escrito para usar objetos de um tipo dado, ele deveria ser capaz de usar objetos de qualquer subtipo desse tipo sem que a correção do programa seja quebrada. Soa quase autoevidente dito claramente, o que é exatamente por que importa — transforma uma intuição vaga de que "subclasses deveriam se comportar como sua classe pai" em um critério rigoroso e verificável para um design orientado a objetos correto. O princípio tornou-se um dos cinco pilares "SOLID" ensinados a quase todo estudante de engenharia de software, um caso raro de um nome de pesquisador individual entrando no vocabulário de trabalho de toda uma indústria.

Prêmio Turing e reconhecimento

Em 2008, a Association for Computing Machinery concedeu a Liskov o Prêmio A.M. Turing, a maior honraria da computação, "por contribuições aos fundamentos práticos e teóricos da linguagem de programação e design de sistemas, especialmente relacionados à abstração de dados, tolerância a falhas e computação distribuída". Ela foi apenas a segunda mulher a ganhá-lo. A presidente do MIT na época, Susan Hockfield, chamou suas contribuições de "um ideal do MIT: pesquisa inovadora com benefícios profundos", enquanto o tributo do reitor L. Rafael Reif foi mais concreto: "Toda vez que você troca e-mails, confere seu extrato bancário online ou faz uma pesquisa no Google, você está aproveitando o impulso de sua pesquisa." Ela já havia recebido a Medalha IEEE John von Neumann em 2004; o National Inventors Hall of Fame a induziu em 2012, e ela recebeu mais tarde a Medalha Benjamin Franklin em 2023. Ela permanece como Professora do Instituto MIT, a mais alta distinção docente da universidade, concedida em 2008.

Por que Barbara é chamada de gênio

O caso de gênio de Liskov é um caso sobre a própria abstração — a habilidade intelectual específica de encontrar o limite certo a traçar dentro de um sistema complicado para que cada peça possa ser entendida, e confiada, por conta própria. Os clusters da CLU e o princípio de substituição que leva seu nome não são invenções chamativas; são respostas precisas para um problema que a maioria dos programadores na década de 1970 ainda não tinha aprendido a declarar claramente, o que é parte do porquê seu nome se anexou permanentemente à solução em um campo que raramente credita indivíduos dessa maneira. A linguagem do comitê do Prêmio Turing — "fundamentos práticos e teóricos" — sinaliza exatamente isso: não um artefato único, mas uma maneira de pensar sobre a correção que se generalizou através de linguagens e décadas. O contra-argumento honesto é que Liskov trabalhou dentro de uma tradição de pesquisa já se movendo em direção à modularidade e tipos abstratos — Tony Hoare, Niklaus Wirth e outros estavam perseguindo ideias relacionadas simultaneamente — e a CLU em si nunca se tornou uma linguagem de produção amplamente usada; sua influência chegou em segunda mão, através das linguagens posteriores que adotaram seus conceitos. Seu gênio, pela evidência, foi menos invenção pura do que clareza incomum: conseguir a abstração exatamente certa antes de qualquer outra pessoa.

Legado

As ideias de Liskov agora sentam-se invisivelmente sob o software que roda telefones, bancos e motores de busca, e seu nome sobrevive como abreviação — "isso viola a substituição de Liskov?" — dentro de revisões de código conduzidas por engenheiros que talvez nunca tenham lido seus artigos. Poucos pesquisadores alcançam essa forma particular e pouco glamorosa de imortalidade: ser dobrado tão completamente no senso comum de um campo que as pessoas param de lembrar que houve um dia um nome ligado.