Larisa Safina— professor sênior da Innopolis University, atualmente recebendo doutorado na University of South
Estuda linguagens de programação como Haskell, Kotlin e outras.
Haskelists, programação funcional e linguagens populares
- O que exatamente você fez na magistratura em software na Universidade Innopolis?
- Foi um programa comprado de uma universidade.Carnegie Mellon. Tem sido bem formado ao longo do tempo, inclui cursos de análise de software, arquitetura e métodos. A parte mais importante e interessante começa no segundo semestre - os alunos são divididos em equipes e trabalham em projetos reais. Finalmente, nossa eficácia foi avaliada pela forma como lidamos com esse projeto.
— Qual foi o seu projeto?
— Trabalhamos para Rusnano e nosso projeto foicontrole remoto da iluminação em algumas cidades - acendimento da iluminação de acordo com um cronograma. Eles tinham uma solução antiga, mas queriam mudar para uma nova.
Neste projeto, todo mundo fez de tudo, foi importante quetodos tentaram algum papel. Claro, algumas pessoas têm tendência a uma, outras têm outra. Mas em nosso projeto, todos nós conseguimos fazer xixi no código, elaborar os requisitos, testar e até mesmo arquiteturar. Esse é o objetivo principal de tais projetos.
- Tornou-se interessante que idiomas você trabalha.
— Durante meus estudos e trabalho, tive quetrabalhar com vários idiomas. No momento, por exemplo, estou escrevendo em Kotlin. Eu gosto mais dele. Mas escrevemos o projeto com Rusnano principalmente em C#. Muitas vezes tenho que lidar com Java, sendo testador, escrevi testes em Python, Java, C#. Para meu próprio prazer, costumo estudar linguagens de programação funcionais, por exemplo, Haskell, e linguagens formais, por exemplo, para provar teoremas - Coq.
Programação funcionalé um paradigma de programação em que o processoos cálculos são interpretados como cálculos de valores de funções no sentido matemático destas últimas (em oposição a funções como sub-rotinas na programação processual).
Haskell- linguagem funcional pura padronizadaprogramação de uso geral. É uma das linguagens de programação mais comuns com suporte para computação lenta. Como a linguagem é funcional, a estrutura de controle principal é uma função.
Coq- ferramenta de software interativaProvas de teoremas usando nossa própria linguagem de programação funcional (Gallina) com tipos dependentes. Permite que você escreva teoremas matemáticos e suas provas, modifique-os convenientemente e verifique sua correção. Coq é usado para verificação do programa.
Linguagem formal- em lógica matemática e ciência da computação -um conjunto de palavras finitas (strings, cadeias) em um alfabeto finito. O conceito de linguagem é mais frequentemente usado na teoria dos autômatos, na teoria da computabilidade e na teoria dos algoritmos. A teoria científica que trata desse objeto é chamada de teoria das linguagens formais.
— Tudo isso parece ótimo, mas essas linguagens não são usadas atualmente em projetos reais; Haskell, por exemplo, raramente é usado, embora eu não consiga me lembrar de um único projeto que o tenha usado.
- Provavelmente não concordo com você.Por exemplo, Haskell é usado na produção. Sim, não com frequência, mas não porque seja uma linguagem imprópria, mas porque é muito difícil montar uma equipe de Haskellists. Porém, conheço pessoas que trabalham com Haskell na produção. Só estou fazendo isso para meu próprio prazer. Não vi outras linguagens funcionais em produção, mas é bom entendê-las para desenvolvimento geral. Quanto às linguagens para provar teoremas, na academia, se você estiver neste tópico específico, elas são usadas com bastante frequência.
- Mas eles são usados especificamente para matemáticamodelar e provar teoremas - em outras palavras, para fins científicos. Se você olhar as vagas, os Haskellists praticamente não são necessários em lugar nenhum, todo mundo quer C+, Java, Python, Ruby, Go, ou até vai para o front-end, respectivamente - JavaScript. Mas conhecer os Haskellists é uma história verdadeiramente incrível.
— Digamos apenas que eles ajudam a formalizaralgumas coisas que podem ser vistas na realidade. De linguagens de prova de teoremas a Haskell, em princípio, não está longe, e de Haskell à indústria também está a poucos passos. Ou seja, nem tudo é tão ruim e inútil.
Provavelmente tudo isso tem a ver com o ambiente onde estou. E isso não me parece muito incomum.
Dinamarca, PhD e microservices
— Por que então essas línguas não são populares no resto do mundo? E por que eles são interessantes para você?
- Basicamente, porque não há necessidade urgenteusa-os. Se for possível resolver um problema de forma mais simples, se não for supercrítico, e se não for algum tipo de sistema Boeing, e você puder conviver com armas menores, então outras linguagens são escolhidas. Por que eu gosto deles? Não sei. Você gosta de alguma coisa - flores, livros, gatos? Por que você gosta de gatos?
- Sela tudo como. Eu gosto do que você tem na Dinamarca PhD. Como você chegou depois de Innopolis?
- Quando estudei em uma magistratura, exceto o principalcursos que tivemos de tomar elektivy. E uma das disciplinas eletivas que fiz foi relacionada ao tema dos microservices, ou mais precisamente com a linguagem de programação microservice - Jolie. Seu autor está atualmente trabalhando na Dinamarca. Minha tarefa era fazer mudanças nele - refinar, implementar um dos operadores possíveis.
Barra lateral
Quando consegui um emprego na Innopolis University eu já estavatrabalho, o chefe perguntou o que eu queria fazer, minha resposta foi fazer doutorado. Nessa altura surgiu a oportunidade de me candidatar a um diploma académico daquele professor dinamarquês, inventor da língua Jolie. Assim, organizamos um doutoramento conjunto entre a Innopolis University e uma universidade dinamarquesa, a University of Southern Denmark.
- O que exatamente você está pesquisando na Dinamarca?
- Na Dinamarca, estamos trabalhando em um projeto, eleligeiramente associada a microservices e, em princípio, com a interação de elementos dentro de sistemas distribuídos. Meus líderes científicos propuseram a formalização - uma especificação global para microsserviços. Eles mostraram que você pode exibir uma especificação para cada item.
Podemos usá-lo se tivermosalgum tipo de sistema de elementos interativos. Se pudermos derivar uma especificação geral do comportamento de todos os elementos sem um orquestrador - sem algum nó que controle todos os outros - então poderemos derivar dele uma especificação para cada nó e vice-versa. Desta forma, nos protegemos de erros, pois se fizermos uma especificação para cada nó separadamente, poderemos posteriormente encontrar problemas com sua interação.
Universidade do Sul da Dinamarca. Foto: ricochet64/Shutterstock
Imagine o cenário:você deseja enviar dinheiro para um banco, que deve transferi-lo para outro. E você escreveu uma especificação para um banco que ele transfere para o segundo banco, e no segundo você esqueceu de dizer que deveria receber alguma coisa. E, portanto, a sua transferência nunca chegará ao destinatário. Depois de ter uma descrição global deste sistema, especificando todos os papéis e ações que cada um dos participantes deve realizar, você poderá derivar uma especificação do comportamento de cada um dos participantes e, assim, proteger-se de tal problema.
Meus supervisores formalizaram isso,escrevendo duas linguagens teóricas para descrever o modelo global de nós e o comportamento de um nó específico. Minha tarefa é implementar e testar, para mostrar quão eficaz é o modelo proposto em comparação com outros.
Por que bolsas para mulheres - é uma vergonha
— Quando escrevi que queria falar com você sobre TI e mulheres, você disse que não seria muito fácil falar sobre isso, mas estava pronto para expressar isso. Por que você tem essa opinião?
— Acho que este é um tema bastante delicado.E me perguntei se valia a pena falar sobre isso e agitar o vespeiro. Porque, na verdade, é como andar num campo minado. Não importa o que você diga, alguém ficará ofendido e alguns pensarão que você está falando sobre algum tipo de heresia selvagem.
- Porque você acha isso?
— Em princípio, muitas vezes vejo reações diferentes das pessoas a essas questões. Esses tópicos são frequentemente discutidos. E vejo uma diversidade de opiniões.
— Quando você foi para a Universidade de Kazan para estudar a especialidade masculina, ela não era mais considerada uma especialidade masculina?
- Sim, eu não entendo de onde veio a opinião, que esta é uma especialidade masculina. Nós tivemos cerca de 50% das meninas no VIC (na Universidade de Kazan - “High-tech”).
- E quando você saiu, houve uma diferença de atitude em relação ao que você está fazendo na Dinamarca e na Rússia?
- Eu nunca experimentei serde alguma forma menosprezado com base no gênero. Se você quer dizer, alguém aqui na Dinamarca me disse que sou um especialista do sexo masculino, então não. Mas a diferença é que aqui eles realmente querem que haja mais mulheres tanto na área de TI quanto na academia. E eles não querem apenas, tomam algumas medidas, e às vezes, no meu ponto de vista, fazem até mais do que é necessário e vale a pena.
- E quais medidas são tomadas?
- Bem, do que é, por exemplo, estas sãoprogramação apenas para mulheres. Um colega disse que isso é uma heresia e isso apenas cria segregação entre programadores masculinos e femininos. Eu concordei com essa abordagem, mas o organizador do curso ficou um pouco surpreso. E depois de um tempo eu perguntei como foram esses cursos. E aconteceu que muitas garotas vieram para lá, para muitas garotas houve uma diferença - ir apenas em uma companhia feminina ou mista. Muitos queriam ir puramente na mulher, a diferença era visualmente palpável - não foi um acidente. E percebi que, se não vi esse problema, estando em minha torre de marfim, não percebi que as meninas podem ficar constrangidas ou, por alguma razão, não querem se envolver com os jovens, isso não significa que não haja problema.
Barra lateral
E quanto a outras coisas que são diferentes emNa Europa e na Rússia, em termos de atração diligente de mulheres, existe uma cota. As vagas, por exemplo bolsas, podem ser reservadas especificamente para mulheres. E isso, no meu ponto de vista, cria uma tendência não muito boa, porque muitas vezes as mulheres que conseguem esses lugares nem sempre sabem se conseguiram porque elas mesmas são legais, fizeram algo muito legal, ou conseguiram, porque alguém decidiu que não havia mulheres suficientes nesta área. Este é o outro lado da moeda. Há um efeito positivo - você recebeu uma doação, e um efeito negativo - o motivo pelo qual você a recebeu.
— Você gostaria de receber uma bolsa algum dia por ser mulher?
“Em geral, acho que é bastante ofensivo.” (risos)
— É uma pena receber bolsa porque você é mulher e não porque é uma especialista bacana?
- Sim, porque isso sugere que não foi o meu trabalho que foi avaliado, mas sim o meu género.
— Acha que o seu trabalho alguma vez, na Rússia ou na Dinamarca, foi avaliado precisamente porque é mulher, ou a avaliação do seu trabalho pelas pessoas à sua volta mudou porque é mulher?
- Você sabe, eu de alguma forma, se bem me lembro, não tive que lidar com isso. Talvez eu seja ingênuo e só não saiba que isso estava acontecendo, mas ninguém me disse: "Isso é bom para uma garota".
Discriminação positiva, decreto para homens e estereótipos que não matam
— Como seus pais reagiram à sua escolha de carreira – positiva? Ou eles tinham uma visão diferente do que você deveria fazer?
— Na verdade, quando eu estava na escola, depoisDepois de me formar, eu queria estudar línguas, mas meus pais sugeriram que eu escolhesse matemática e programação, porque eles próprios viam as línguas como uma ferramenta que pode ser aprendida mais tarde, e a matemática e a programação como algo mais fundamental. É engraçado como muitos cientistas tratam a matemática como uma ferramenta.
E para ser honesto, sempre me perguntei por queExiste uma espécie de aura pouco saudável de complexidade nas especialidades técnicas. Acho que isso é desonesto e apenas assusta as meninas. Por exemplo, nunca ouvi dizer a meninas que querem estudar linguística: “Ah, tem gramática histórica, é tão difícil!” Ou diziam às meninas que queriam ser arquitetas: “Ah, aí vocês também terão que fazer muito trabalho de resistência dos materiais”. Agora posso confundir, em vez disso, meninas engenheiras, ou como anatomia para médicos. Mas, por alguma razão, são precisamente as ciências técnicas que possuem isso.
- Eu sou de São Petersburgo, e muitas vezes ouvi: quem eu estudei, quem eu trabalhei ou o que eu estava interessado não é para uma mulher. E meus amigos disseram o mesmo se de repente estavam interessados em matemática, programação ou ciência.
— Parece-me que, pelo contrário, na nossa regiãomais patriarcal que o seu, então é claro que estou surpreso. Acho que tem algo a ver com o ambiente específico. Talvez na minha juventude... não, não posso dizer que tive sorte, na universidade fui tratado como deveria ser. Mas, por exemplo, dirigir. Nunca recebi tantos insultos de gênero como enquanto dirigia. Apesar do fato de que isso não tem absolutamente nenhuma base. Portanto, sei que existem estereótipos impossíveis de matar e que muitas mulheres os enfrentam. Por que não os encontrei em termos de trabalho? Provavelmente porque estava rodeado de pessoas que não eram do meio ambiente para quem isso seria normal.
— Quais são as opiniões dos seus colegas dinamarqueses? Acontece que se eles estão envolvidos em iniciativas – por exemplo, cursos para mulheres, então eles veem esse problema.
- Sim definitivamente.Às vezes discutimos esses tópicos, como em cursos. Ou, por exemplo, penso que não é inteiramente justo que uma mulher muitas vezes perca um certo tempo durante a licença para cuidar de um filho. Grosso modo, ela perde um ano de experiência. Na Dinamarca existe uma solução segundo a qual um homem pode obter os mesmos seis meses de licença de maternidade que uma mulher pode obter, se assim o desejar. Se ele não os levar, a mulher não poderá levá-los. E eles simplesmente queimam.
— Há apenas um ano de licença maternidade, dos quaisÉ responsabilidade do homem passar seis meses e da mulher seis meses? E se o homem não quiser gastá-los, então, portanto, a mulher fica seis meses em licença maternidade e depois volta a trabalhar, entendi bem?
- Tanto quanto me lembro, sim. A questão é que um homem não é forçado a sair de uma criança, mas desta vez não pode ser usado por uma mulher. Isto é, evita situações em que apenas uma mulher estará em licença de maternidade. Aqui, ou você passa esse mesmo meio ano ou não. Eu acho que é uma ótima ideia.
Barra lateral
— E aquelas pessoas que tiveram a ideia de criar cursos para mulheres, vocês discutiram com elas a discriminação positiva. Eu entendi corretamente que estes são homens?
— Meu colega, o organizador destes cursos paramulheres, não lecionavam lá, porque para criar um ambiente confortável nestes cursos não deveria haver professores do sexo masculino. Em geral, sim, são homens, claro.
— Se na Rússia as pessoas que estão preocupadas com a discriminação contra as mulheres são mulheres, então, especificamente no seu exemplo na universidade na Dinamarca, não só as mulheres, mas até os homens estão preocupados.
- Bem, não antes, mas também. E eu acho que isso é bastante normal.
- Para a Rússia, isso é absolutamente anormal, porque desenvolvemos uma atitude estranha a esse respeito.
— Você sabe, o problema com o tópico de gênero é queConhecemos alguns casos especiais e não temos um quadro geral. Tenho a sensação de que na Rússia nem tudo é tão brilhante nesse aspecto. Embora um colega que organiza cursos para mulheres acredite que na Rússia e nos países da ex-URSS isso é muito melhor. Porque a maioria das programadoras que ele conhece vem da antiga União Soviética. Porque aqui é considerado normal, na opinião dele, ir estudar para ser programador, mas aqui eles precisam se esforçar para atrair meninas.
— Talvez o problema seja que as mulheres programadoras dos países da CEI estão fugindo dos países da CEI?
- Bem, no entanto, eles existem.E não são apenas as mulheres que fogem. Quanto ao extremo deste jovem, esqueci de mencionar isso. Eu disse que achava injusto uma mulher perder um ano de experiência e depois ter que fazer o mesmo nível de trabalho porque precisava continuar a competir na profissão. Ao mesmo tempo, escolhi um doutorado para mim, não para uma família. Ao que meu colega respondeu: “Pelo menos você tem escolha”. Ou seja, você pode escolher um emprego, se quiser, ou pode escolher uma família, se quiser. Mas muitas vezes esta escolha não está disponível. Supõe-se que o principal objetivo da mulher é constituir família, dar à luz filhos, alimentá-la, etc.
- Você não tem a sensação de que esses cursos são “canetas para mulheres”?
“Para ser sincero, ainda penso um pouco assim.”Mais precisamente, se funcionar para alguém, então isso é ótimo e bom. Mas eu mesmo não me sentiria muito confortável. Não acho que seja uma ideia muito legal, ainda é uma espécie de isolamento.
- entendi corretamente:Porque você estava originalmente em um ambiente científico, você não percebe problemas de atitude entre os cientistas? Porque o próprio ambiente intelectual e cultural pressupõe que o principal não é quem a pessoa é, mas o que ela fez.
— Talvez este ambiente exija que você segure a línguamantenha a boca fechada e não diga coisas desagradáveis para outras pessoas. Talvez ela seja realmente inteligente. Difícil dizer. Mas sim, quando digo que estou na minha torre de marfim, o que quero dizer é que estou um tanto desconectado da realidade cotidiana.
"Cuspa em todos e vá conquistar"
— Você quer continuar estudando e pesquisando no futuro?
“É como o plano A.” Ou seja, não é fato que sempre poderei conseguir uma posição que me interesse na academia, mas como plano “B” é retornar à indústria.
- Você percebe uma diferença na qualidade da educação entre a University Innopolis e a University of Denmark? Não é sobre qual está desatualizado, mas na diferença de abordagens à educação.
- Na Dinamarca, não estou tão familiarizado com o sistemaensino. O curso que ensinei na Dinamarca era bastante incomum para as universidades russas, como me parece, mas para dizer que deveria estar em toda parte, ou, ao contrário, que não deveria estar em lugar nenhum, não posso.
Barra lateral
Se você falar brevemente sobre esse curso, elechamado de "Projeto do primeiro ano de estudo" em que os mentores dão tarefas interessantes. Os alunos em grupos podem escolher em qual deles querem trabalhar. O Mentor ajuda a encontrar a direção certa para resolver o problema. O objetivo do curso é ensinar aos alunos do primeiro ano a estudar, resolver problemas, trabalhar juntos em equipe e fazer uma boa apresentação. Na Universidade de Innopolis, há algo semelhante ao segundo ano, mas eu não ensinei. Na KSU, havia uma escola mais clássica, mas era possível escolher jovens alegres eleitos.
— O que você pode dizer às meninas que estão em uma situação diferente, que ouvem que matemática e programação não são assunto de mulheres, mas que querem entrar na ciência?
— Quando falamos de meninas que queremvamos para programação e especialidades técnicas, então provavelmente estamos falando de adolescentes. Esta ainda é uma pessoa muito jovem que pode ser influenciada. É claro que não é muito saudável que as meninas tenham que ouvir essas bobagens com estereótipos. Se uma pessoa tiver habilidade, aconselho não ouvir os outros, mas sim estudar matemática e programação.
Mas às vezes há uma situação em querealmente pode não ser o seu, e isso não se aplica apenas às ciências técnicas. Por exemplo, uma pessoa quer ir para uma escola de artes, mas não desenha muito bem. Será difícil para ele estudar, embora talvez consiga alcançá-lo. Mas às vezes é mais honesto dizer que não é a sua praia, e talvez seja melhor não sofrer e fazer outra coisa. De uma forma ou de outra, vale a pena avaliar adequadamente estas frases, pois muitas vezes abusam da “aura de mistério” das ciências técnicas. Portanto, cuspa em todos e vá conquistar.