Larisa Safina, Universités du Danemark méridional et Innopolis - sur les stéréotypes invincibles et les langages de programmation fonctionnels

Larisa Safina - Maître de conférences à l’Université d’Innopolis, titulaire d’un doctorat à l’Université du Sud

Du Danemark. Elle a travaillé comme testeur de logiciels chez Fujitsu, se concentrant principalement sur des projets de vente au détail. Elle a également travaillé comme testlide pour Fix sur divers projets.

Étudie des langages de programmation tels que Haskell, Kotlin et autres.

Haskelists, programmation fonctionnelle et langages populaires

- Qu'avez-vous fait exactement dans la magistrature en logiciels de l'université Innopolis?

- C’était un programme acheté d’une université.Carnegie Mellon. Il a été bien formé au fil du temps et comprend des cours sur l’analyse, l’architecture et les méthodes de logiciels. La partie la plus importante et la plus intéressante commence avec le deuxième semestre - les étudiants sont divisés en équipes et travaillent sur de vrais projets. Enfin, notre efficacité a été évaluée en fonction de la manière dont nous avons géré ce projet.

- Quel était ton projet?

- Nous avons travaillé pour Rosnano et notre projet étaitContrôle à distance de l'éclairage de certaines villes - l'inclusion de l'éclairage, prévue dans les délais Ils avaient une ancienne solution, mais ils voulaient passer à une nouvelle.

Sur ce projet, tout le monde a tout fait, il était important quetout le monde a essayé un rôle. Bien sûr, certaines personnes ont tendance à en avoir un, d'autres en ont un autre. Mais dans notre projet, nous avons tous réussi à faire pipi au code, à travailler avec les exigences, les tests et même l’architecture. C’est l’objectif principal de tels projets.

- Les langues avec lesquelles vous travaillez sont devenues intéressantes.

- Pendant mes études et mon travail j'avaistravailler avec plusieurs langues. En ce moment, par exemple, j'écris en kotlin. Je l'aime le plus. Mais le projet avec Rosnano nous avons principalement écrit en C #. Très souvent, je dois travailler avec Java, en tant que testeur, écrire des tests en Python, Java, C #. Pour mon propre plaisir, j'étudie souvent les langages de programmation fonctionnels, par exemple Haskell, et les langages formels, par exemple, pour prouver des théorèmes - Coq.

Programmation fonctionnelle - paradigme de programmation dans lequel le processusLes calculs sont interprétés comme calculant les valeurs des fonctions dans la compréhension mathématique de ces dernières (par opposition aux fonctions en tant que sous-routines dans la programmation procédurale).

Haskell - langage fonctionnel pur normaliséprogrammation à usage général. C’est l’un des langages de programmation les plus courants prenant en charge l’informatique différée. Puisque le langage est fonctionnel, la structure de contrôle principale est une fonction.

Coq - logiciel interactifpreuves de théorèmes utilisant leur propre langage de programmation fonctionnel (Gallina) avec des types dépendants. Vous permet d'écrire des théorèmes mathématiques et leurs preuves, il est pratique de les modifier, de les vérifier pour qu'ils soient corrects. Coq est utilisé pour vérifier les programmes.

Langage formel - en logique mathématique et informatique -un ensemble de mots finis (chaînes, chaînes) sur un alphabet fini. Le concept de langage est le plus souvent utilisé dans la théorie des automates, la théorie de la calculabilité et la théorie des algorithmes. La théorie scientifique qui traite de cet objet s'appelle la théorie des langages formels.

«Tout cela a l'air génial, mais à présent, ces langues ne sont plus utilisées dans de vrais projets, le même Haskell, même si je ne me souviens pas d'un seul projet.

- Je ne suis probablement pas d'accord avec vous. Par exemple, Haskell est utilisé en production. Oui, pas souvent, mais pas parce que c'est un mauvais langage, mais parce qu'il est plutôt difficile de constituer une équipe de Haskelists. Cependant, je connais des gens qui travaillent avec Haskell en production. Je suis juste pour mon propre plaisir. Je n'ai pas vu d'autres langages fonctionnels en production, mais il n'est pas mauvais de les comprendre pour un développement général. En ce qui concerne les langages permettant de prouver des théorèmes, dans l’académie, si vous êtes dans ce sujet, ils sont utilisés assez souvent.

- Mais ils sont utilisés précisément pour les mathématiquesSimulations et preuves de théorèmes - à des fins scientifiques, autrement dit. Si vous regardez les postes vacants, les haskelers ne sont pratiquement jamais utilisés nulle part, tout le monde veut C +, Java, Python, Ruby, Go ou même aller au début, respectivement - JavaScript Mais rencontrer Haskelists est une histoire vraiment géniale.

- Disons simplement qu'ils aident à formalisercertaines choses que l'on peut voir dans la réalité. Des langues pour les preuves de théorèmes à Haskell, en principe non loin, et de Haskell à l'industrie également à portée de main. Ce n'est pas si mal et inutile.

Tout cela est probablement lié à l'environnement où je suis. Et cela ne me semble pas extrêmement inhabituel.

Danemark, doctorat et microservices

- Pourquoi alors dans le reste de l'environnement de telles langues ne sont pas populaires? Et pourquoi sont-ils intéressants pour vous?

- Fondamentalement, car il n'y a pas de besoin urgentutilisez-les. Si vous pouvez résoudre le problème plus simplement, s'il n'est pas supercritique et s'il ne s'agit pas d'un système Boeing et si vous pouvez vous en tirer avec une arme plus petite, d'autres langues sont choisies. Pourquoi est-ce que je les aime? Je ne sais pas Aimez-vous quelque chose - des fleurs, des livres, des chats? Pourquoi aimes-tu les chats?

- Les phoques aiment tous. J'aime ce que vous obtenez au Danemark PhD. Comment avez-vous eu après Innopolis?

- Quand j'ai étudié dans une magistrature, sauf la principalecours nous avons dû prendre elektivy. Et l'un des cours que j'ai choisis portait sur le thème des microservices, ou plus précisément avec le langage de programmation microservice - Jolie. Son auteur travaille actuellement au Danemark. Ma tâche consistait à apporter des modifications - à affiner, à mettre en œuvre l'un des opérateurs possibles.

Barre latérale

Quand je suis arrivé à Innopolis University déjàtravail, le patron m'a demandé ce que je voulais faire, ma réponse a été d'obtenir un doctorat. A cette époque, la possibilité de devenir candidat à un diplôme a été créée par le professeur danois, inventeur de la langue Jolie. Ainsi, nous avons organisé un doctorat conjoint entre l'Université Innopolis et l'Université danoise, l'Université du Danemark du Sud.

- Que recherches-tu exactement au Danemark?

- Au Danemark, nous travaillons sur un projet, at-illégèrement associé aux microservices et, en principe, à l’interaction des éléments au sein de systèmes distribués Mes responsables scientifiques ont proposé la formalisation - une spécification globale pour les microservices. Ils ont montré que vous pouvez afficher une spécification pour chaque élément.

Nous pouvons l'utiliser si nous avonsune sorte de système d'éléments en interaction. Si nous pouvons obtenir une spécification générale du comportement de tous les éléments sans orchestrateur - sans un nœud contrôlant tous les autres -, nous pouvons en déduire une spécification pour chaque nœud, et inversement. Ainsi, nous nous protégeons contre les erreurs, car si nous spécifions chaque nœud séparément, nous pourrions faire face à l'avenir à des problèmes d'interaction.

Université du sud du Danemark. Photo: ricochet64 / Shutterstock

Imaginez le scénario: Vous voulez envoyer de l'argent à une banque, qui doit les transférer à une autre. Et vous avez écrit un cahier des charges pour une banque, qui les transfère à la deuxième banque et, dans la seconde, vous avez oublié de dire qu’il devrait recevoir quelque chose. Et par conséquent, votre transfert ne parviendra jamais au destinataire. Lorsque vous disposez d'une description globale de ce système, de tous les rôles et actions que chacun des participants doit prendre, vous pouvez en déduire une spécification du comportement de chacun des participants et vous protéger ainsi de ce problème.

Mes superviseurs ont officialisé cela,écrire deux langages théoriques pour décrire le modèle global de nœuds et le comportement d'un nœud particulier. Ma tâche est de mettre en œuvre et de tester, de montrer à quel point leur modèle est efficace par rapport aux autres.

Pourquoi les subventions pour les femmes sont une honte

- Quand j'ai écrit que je voulais vous parler de l'informatique et des femmes, vous avez dit qu'il ne serait pas très facile d'en parler, mais vous êtes prêt à l'exprimer. Pourquoi avez-vous une telle opinion?

- Je pense que c'est un sujet brûlant. Et je me suis demandé s'il valait la peine d'en parler et de remuer le nid de guêpes. Parce que, vraiment, c'est comme traverser un champ de mines. Peu importe ce que vous dites, quelqu'un va être blessé et certains penseront que vous portez une sorte d'hérésie sauvage.

- Pourquoi penses-tu cela?

- En principe, je vois souvent des réactions différentes des gens face à ces questions. De tels sujets sont souvent discutés. Et je vois une variété d'opinions.

- Quand vous êtes allé à l'université de Kazan pour une spécialité masculine, cela n'était plus considéré comme une spécialité masculine?

- Oui, je ne comprends pas d'où vient l'opinion, que c'est une spécialité masculine. Nous avions environ 50% de filles au CIV (à l'Université de Kazan - «High-tech»).

- Et quand vous êtes parti, y avait-il une différence d'attitude vis-à-vis de ce que vous faites au Danemark et en Russie?

- Je n'ai jamais vu, donc moien quelque sorte humilié par le sexe. Si vous voulez dire, si quelqu'un ici, au Danemark, m'a dit que j'exerçais une profession masculine, non. Mais la différence est qu’ils veulent vraiment avoir plus de femmes dans les domaines de l’informatique et de l’académie. Et ils ne veulent pas simplement, ils prennent des mesures et, parfois, de mon point de vue, ils font même plus que ce qui est nécessaire et utile.

- Et quelles mesures sont prises?

- Eh bien, de ce qui est, par exemple, ce sontprogrammation réservée aux femmes. Un collègue a dit qu'il s'agissait d'une hérésie et que cela ne faisait que créer une ségrégation entre les programmeurs masculins et féminins. J'ai accepté cette approche, mais l'organisateur du cours a été un peu surpris. Et après un moment, j'ai demandé comment se passaient ces cours. Et il s’est avéré que beaucoup de filles sont venues là-bas. Pour beaucoup de filles, il y avait une différence - aller uniquement dans une entreprise féminine ou mixte. Beaucoup voulaient aller uniquement chez la femme, la différence était visiblement palpable - ce n'était pas un accident. Et j’ai réalisé que si je ne voyais pas ce problème, étant dans ma tour d’ivoire, je ne remarquais pas que les filles pourraient être embarrassées ou, pour une raison quelconque, ne pas vouloir s’engager avec les jeunes, cela ne signifiait pas qu’il n’y avait pas de problème.

Barre latérale

Et comme pour d'autres choses qui diffèrent dansL'Europe et la Russie, en termes d'attirer les femmes avec diligence, alors il existe une chose comme un quota. Des places peuvent être réservées, par exemple des bourses, spécialement pour les femmes. Et cela, de mon point de vue, ne crée pas une très bonne tendance, parce que souvent les femmes qui accèdent à ces endroits ne savent pas toujours, elles les ont, parce qu’elles étaient cool elles-mêmes, ont fait quelque chose de très cool parce que quelqu'un a décidé qu'il n'y avait pas assez de femmes dans cette direction. C'est le revers de la médaille. Il y a aussi un effet positif - vous avez reçu une subvention et un négatif - la raison pour laquelle vous l'avez reçue.

- Vous-même, vous ne voudriez jamais obtenir de subvention, car vous êtes une femme?

- En général, je pense que c'est assez énervant. (Rires)

- C'est dommage d'obtenir une subvention, parce que la femme, et non pas parce que vous êtes un spécialiste cool?

- Oui, parce qu'il est écrit que ce n'est pas mon travail qui a été évalué, mais mon sexe.

- Pensez-vous que votre travail a déjà été évalué, que ce soit en Russie ou au Danemark, précisément parce que vous êtes une femme, ou que l'évaluation de votre travail par d'autres personnes a changé parce que vous êtes une femme?

- Vous savez, d'une manière ou d'une autre, si je me souviens bien, je n'ai pas eu à gérer cela. Peut-être que je suis naïf et que je ne sais pas si cela se passait, mais personne ne m'a dit: "C'est bon pour une fille."

Discrimination positive, décret pour hommes et stéréotypes non-meurtriers

- Et comment tes parents ont-ils réagi à tes choix de carrière - positivement? Ou avaient-ils un autre point de vue sur ce que vous étiez censé faire?

- Généralement, quand j'étais à l'école, aprèsLes diplômés voulaient étudier les langues et mes parents ont suggéré de choisir les mathématiques et la programmation, car ils considéraient eux-mêmes les langues comme un outil pouvant être appris plus tard, et les mathématiques et la programmation - quelque chose de plus fondamental. Il est amusant de constater que de nombreux scientifiques considèrent les mathématiques comme un instrument.

Et pour être honnête, j'ai toujours été surpris pourquoiIl y a un tel halo malsain de complexité dans les spécialités techniques. Je pense que ce n'est pas juste et fait peur aux filles. Par exemple, je n’ai jamais entendu dire que les filles qui souhaitent pratiquer la linguistique disent: "Oh, la grammaire est historique, c’est tellement difficile!" Ou les filles qui voulaient aller voir l’architecte, ont déclaré: "Oh, là aussi, il faudra faire beaucoup de sopromat". Je peux maintenant confondre, plutôt, les filles-ingénieurs, ou bien comme anatomie pour les médecins. Mais pour une raison quelconque, les sciences techniques ont cela.

- Je viens de Saint-Pétersbourg et j'ai souvent entendu pour qui j'ai étudié, pour qui j'ai travaillé ou ce qui m'intéressait, ce n'est pas pour une femme. Et mes amis ont dit la même chose s’ils s’étaient soudainement intéressés aux mathématiques, à la programmation ou aux sciences.

- Il me semble qu'au contraire dans notre régionplus patriarcal que le vôtre, je suis donc surpris. Il me semble que cela est en quelque sorte lié à un environnement spécifique. Peut-être que dans ma jeunesse ... non, je ne peux pas dire que j'ai eu de la chance, à l'université, j'ai été traité comme il convient. Mais, par exemple, conduire. Je n'ai jamais reçu autant d'infractions liées au genre que de conduite. Étant donné que cela est absolument sans fondement. Par conséquent, je sais qu'il existe des stéréotypes irrécupérables et que de nombreuses femmes y font face. Pourquoi je ne les ai pas rencontrés en termes de travail? Probablement parce qu'elle était entourée de personnes de différents environnements pour qui ce serait normal.

- Quelles sont les opinions de vos collègues danois? Il s'avère que si elles sont engagées dans une initiative - par exemple, des cours pour femmes, elles voient ce problème.

- Oui bien sur. Nous discutons parfois de sujets tels que les cours. Ou, par exemple, je ne trouve pas tout à fait honnête qu'une femme perde souvent un certain temps en vacances pour un enfant. Grosso modo, elle perd une année d'expérience. Au Danemark, il est décidé qu'un homme peut obtenir le même décret semestriel qu'une femme peut obtenir s'il le souhaite. S'il ne les prend pas, alors une femme ne peut pas les prendre. Et ils s'épuisent.

- Il n'y a qu'un an de congé de maternité, dontun homme doit passer six mois et une femme six mois? Et si un homme ne veut pas les dépenser, alors, la femme reste six mois en congé de maternité, puis elle se rend au travail, si j'ai bien compris?

- Pour autant que je m'en souvienne, oui. Le fait est qu'un homme n'est pas obligé de partir en congé pour un enfant, mais cette fois-ci ne peut pas être utilisé par une femme. Autrement dit, cela évite que seule une femme soit en congé de maternité. Ici, soit vous passez ces mêmes mois ou demi, ou pas. Je pense que c'est une très bonne idée.

Barre latérale

«Et ceux qui ont eu l’idée de créer des cours pour femmes», vous avez discuté de discrimination positive avec elles. Ai-je bien compris qu'il s'agit d'hommes?

- Mon collègue organisateur de ces cours pourles femmes n'y enseignaient pas car il n'aurait pas dû y avoir d'enseignants masculins pour créer un environnement confortable pour ces cours. En général, oui, ce sont des hommes, bien sûr.

- Si en Russie les femmes qui s’inquiètent de la discrimination à l’égard des femmes sont non seulement des femmes, mais même des hommes, particulièrement préoccupés par votre exemple à l’université danoise.

- Pas plus tôt, mais y compris. Et il me semble que c'est tout à fait normal.

- Pour la Russie, cela est absolument anormal, car nous avons développé une attitude étrange à cet égard.

- Tu sais, le problème de genre c'est quenous sommes au courant de certains cas particuliers et nous n’avons pas une image générale. J'ai le sentiment qu'en Russie, à cet égard, les choses ne sont pas si brillantes. Bien qu'un collègue - l'organisateur de cours pour femmes - estime que cela est beaucoup mieux en Russie et dans les pays de l'ex-URSS. Parce que la plupart des programmeuses avec lesquelles il est familier viennent de l'ex-Union soviétique. Parce que nous pensons qu’il est normal, à son avis, d’étudier en tant que programmeur et qu’ils doivent faire des efforts pour attirer les filles.

- Peut-être que le problème est que les programmeuses des pays de la CEI fuient des pays de la CEI?

- Bien, néanmoins, ils le sont. Et pas seulement les femmes s'enfuient. Quant à l'extrémité de ce jeune homme, j'ai oublié de finir. J'ai dit que je trouvais injuste qu'une femme perde une année d'expérience et doive ensuite faire le travail au même niveau, car elle doit continuer à être concurrentielle dans la profession. En même temps, j'ai choisi un doctorat pour moi-même et non pour une famille. A quoi mon collègue a répondu: "Vous avez au moins le choix." Autrement dit, vous pouvez choisir un emploi si vous le souhaitez, mais vous pouvez choisir une famille si vous le souhaitez. Mais souvent ce choix ne l’est pas. On suppose que le principal objectif d'une femme est de fonder une famille, d'avoir des enfants, de les nourrir, etc.

- Vous n’avez pas l’impression que de tels cours sont des «stylos pour femmes»?

- Même maintenant, pour être honnête, je pense un peu comme ça. Plus précisément, si cela fonctionne pour quelqu'un, il est excellent et bon. Mais je ne serais pas très à l'aise moi-même. Je ne pense pas que ce soit une idée géniale, de toute façon, une sorte d’isolement.

- Je comprends bien: étant donné qu'au départ vous étiez dans la communauté scientifique, c'est précisément chez les scientifiques que vous ne remarquez pas de problème de relation? Parce que l'environnement intellectuel et culturel lui-même présuppose que l'essentiel n'est pas de savoir qui est cette personne, mais ce qu'il a fait.

- Peut-être que cet environnement est supposé garder la languepour avoir des dents et ne pas dire de mauvaises choses à d’autres personnes. Difficile à dire. Mais oui, quand je dis que je suis chez moi dans une tour d'ivoire, je veux dire que je suis un peu séparé de la réalité quotidienne.

"Crache sur tout le monde et va conquérir"

- A l'avenir, vous souhaitez continuer à étudier et à mener des recherches?

"C'est comme Plan A." En d’autres termes, ce n’est pas un fait que je pourrai toujours obtenir un poste qui m’intéresse dans l’académie, mais en tant que plan «B», c’est revenir à l’industrie.

- Avez-vous remarqué une différence dans la qualité de l'enseignement entre l'Université Innopolis et l'Université du Danemark? Il ne s'agit pas de savoir qui est dépassé, mais de la différence d'approche en matière d'éducation.

- Au Danemark, je ne connais pas trop le systèmel'enseignement. Le cours que j’ai enseigné au Danemark était assez inhabituel pour les universités russes, me semble-t-il, mais dire que cela devrait être partout ou au contraire que cela ne devrait pas être nulle part, je ne le peux pas.

Barre latérale

Si vous parlez brièvement de ce cours, ilappelé «Projet de première année d’études» dans lequel les mentors confient des tâches intéressantes. Les étudiants en groupes peuvent choisir les projets sur lesquels ils souhaitent travailler. Le mentor aide à trouver la bonne direction pour résoudre le problème. L'objectif du cours est d'apprendre aux étudiants de première année à étudier, résoudre des problèmes, travailler en équipe et faire une bonne présentation. À l'Université Innopolis, il y a quelque chose de similaire à la deuxième année, mais je ne l'ai pas enseigné. À la KSU, il existait une école plus classique, mais il était possible de choisir des jeunes élus gais.

- Que pouvez-vous dire aux filles qui se trouvent dans une situation différente, à qui on leur dit que les mathématiques et la programmation ne sont pas une affaire de femmes, mais qu’elles veulent faire de la science?

- quand on parle de filles qui veulentpassons à la programmation et aux spécialités techniques, alors nous parlerons probablement d’adolescents. C'est un très jeune homme qui peut être influencé. Bien entendu, ce n’est pas très bien que les filles doivent écouter de telles absurdités avec des stéréotypes. Si une personne a des capacités, alors je conseillerais de ne pas écouter les autres, mais d'aller aux mathématiques et à la programmation.

Mais parfois, il y a une situation oùpeut ne pas être vraiment à vous, et cela vaut non seulement pour les sciences techniques. Par exemple, une personne veut s'inscrire dans une école d'art, mais ne dessine pas beaucoup. Il aura du mal à étudier, mais peut-être qu’il rattrapera son retard. Mais parfois, il est plus honnête de dire que cela ne vous appartient pas et qu'il vaut peut-être mieux ne pas souffrir et faire autre chose. D'une manière ou d'une autre, il est utile d'évaluer correctement ces expressions, elles abusent souvent du «halo de mystère» des sciences techniques. Alors crache sur tout le monde et va conquérir.