Larisa Safina, univerzity v jižním Dánsku a Innopolis - na neudržitelných stereotypech a funkčních programovacích jazycích

Larisa Safina - Vysokoškolský asistent na Innopolis University, nyní doktorát na University of South

Dánska. Působila jako softwarový tester ve společnosti Fujitsu se zaměřením především na maloobchodní projekty. Pracovala také jako testlide pro Fix na různých projektech.

Studium programovacích jazyků jako Haskell, Kotlin a další.

Haskelists, funkční programování a populární jazyky

- Co přesně jste udělal v soudnictví v software na univerzitě Innopolis?

- Byl to program zakoupený od univerzity.Carnegie Mellon. V průběhu času se dobře utvářel, zahrnuje kurzy o softwarové analýze, architektuře a metodách. Nejdůležitější a nejzajímavější část začíná druhým semestrem - studenti jsou rozděleni do týmů a pracují na reálných projektech. A konečně, naše efektivita byla hodnocena podle toho, jak jsme se s tímto projektem vypořádali.

- Jaký byl váš projekt?

- Pracovali jsme pro Rosnano a náš projekt bylDálkové ovládání osvětlení některých měst - zahrnutí osvětlení, naplánováno podle harmonogramu. Měli staré řešení, ale chtěli přejít na nový.

Na tomto projektu všichni dělali všechno, bylo to důležitévšichni vyzkoušeli nějakou roli. Někteří lidé mají samozřejmě tendenci k jednomu, jiní mají jiný. Ale v našem projektu se nám všem podařilo čurat kód, zpracovat požadavky, testování a dokonce i architekturu. To je hlavním cílem těchto projektů.

- Bylo zajímavé, s jakými jazyky pracujete.

- Během studia a práce jsem mělpráce s mnoha jazyky. V tuto chvíli například píšu v jazyce Kotlin. Nejvíce ho mám rád. Ale projekt s Rosnanem jsme psali většinou v C #. Docela často se musím zabývat prací s Javou, testerem, psaním testů v jazyce Python, Java, C #. Pro mé vlastní potěšení často studuji funkční programovací jazyky, například Haskell, a formální jazyky, například, abych dokázal věty - Coq.

Funkční programování - paradigma programování, ve kterém procesVýpočty jsou interpretovány jako výpočet hodnot funkcí v matematickém chápání těchto funkcí (na rozdíl od funkcí jako podprogramy v procedurálním programování).

Haskell - standardizovaný čistě funkční jazykuniverzální programování. Je to jeden z nejběžnějších programovacích jazyků s podporou odložené práce s počítačem. Protože jazyk je funkční, hlavní řídicí strukturou je funkce.

Coq - interaktivní softwaredůkazy věty s využitím vlastního funkčního programovacího jazyka (Gallina) se závislými typy. Umožňuje psát matematické věty a jejich důkazy, je vhodné je modifikovat, kontrolovat jejich správnost. Coq slouží k ověření programů.

Formální jazyk - v matematické logice a počítačové vědě -soubor konečných slov (řetězce, řetězce) přes konečnou abecedu. Pojem jazyka je nejčastěji používán v teorii automatů, teorii výpočtů a teorii algoritmů. Vědecká teorie, která se zabývá tímto objektem, se nazývá teorie formálních jazyků.

„Všechno to zní skvěle, ale nyní se tyto jazyky nepoužívají na reálných projektech, stejný Haskell málokdy, i když si nemohu vzpomenout na jediný projekt na něm.

- Asi s vámi nesouhlasím. Například Haskell se používá ve výrobě. Ano, ne často, ale ne proto, že je to špatný jazyk, spíše proto, že je poměrně obtížné sestavit tým Haskelistů. Znám lidi, kteří pracují s Haskellem ve výrobě. Jsem jen pro své vlastní potěšení. Neviděl jsem další funkční jazyky ve výrobě, ale není špatné chápat je pro všeobecný vývoj. Pokud jde o jazyky pro prokázání věty, pak v akademii, pokud jste v tomto konkrétním předmětu, jsou používány poměrně často.

- Ale jsou používány právě pro matematické účelySimulace a doklady věty - pro vědecké účely, jinými slovy. Pokud se podíváte na volná místa, haskelisté jsou prakticky téměř nikdy nepotřebují nikde, každý chce C +, Java, Python, Ruby, Go, nebo obecně jde na frontend, resp. JavaScript. Ale setkat se s Haskelists je opravdu super příběh.

- Řekněme, že pomáhají formalizovatněkteré věci, které lze vidět ve skutečnosti. Od jazyků pro důkaz věty k Haskellovi, v zásadě, daleko, a od Haskella k průmyslu, také, v dosahu. To není tak špatné a zbytečné.

To vše je pravděpodobně spojeno s prostředím, kde jsem. A to se mi nezdá něco mimořádně neobvyklého.

Dánsko, PhD a mikroservisy

- Proč tedy ve zbytku životního prostředí takové jazyky nejsou populární? A proč jsou pro tebe zajímavé?

- V podstatě, protože není naléhavá potřebapoužívat. Pokud můžete problém vyřešit jednodušším způsobem, pokud to není nadkritické, a pokud to není nějaký systém Boeing, a můžete se dostat s menší zbraní, pak jsou vybrány jiné jazyky. Proč se jim líbí? Nevím. Líbí se vám něco - květiny, knihy, kočky? Proč se vám líbí kočky?

- Všechny pečetě. Líbí se mi, co dostanete v Dánsku PhD. Jak jste se dostal po Innopolis?

- Když jsem studoval v soudci, kromě hlavníhokurzů jsme museli vzít elektivy. A jedna z volitelných, kterou jsem si vzala, byla spojena s tématem mikroservisů, přesněji řečeno mikrovratovým programovacím jazykem - Jolie. V současné době pracuje v Dánsku. Mým úkolem bylo provést změny - zdokonalit, implementovat jednoho z možných operátorů.

Boční panel

Když jsem se dostal na Innopolis Universitypráce, šéf zeptal, co chci dělat, moje odpověď byla získat PhD. V této době, příležitost stát se kandidátem na titul byl vytvořen profesorem z Dánska, vynálezce jazyka Jolie. Proto jsme uspořádali společný doktorát mezi univerzitou Innopolis a dánskou univerzitou, Univerzitou jižního Dánska.

- Co přesně zkoumáte v Dánsku?

- V Dánsku pracujeme na jednom projektu, onmírně spojené s mikroservisy a v zásadě s interakcí prvků v distribuovaných systémech. Moji vědečtí vůdci navrhli formalizaci - globální specifikaci pro mikroservisy. Ukázali, že můžete zobrazit specifikaci pro každou položku.

Můžeme ji použít, pokud mámenějaký systém interakčních prvků. Pokud můžeme odvodit obecnou specifikaci chování všech prvků bez orchestrátoru - bez nějakého uzlu, který ovládá všechny ostatní -, můžeme z toho odvodit specifikaci pro každý uzel a naopak. Proto se chráníme před chybami, protože kdybychom provedli specifikaci pro každý uzel zvlášť, pak bychom v budoucnu mohli čelit problémům jejich interakce.

Univerzita jižního Dánska. Foto: ricochet64 / Shutterstock

Představte si scénář: Chcete poslat peníze jedné bance, která je musí převést na jinou. A ty jsi napsal specifikaci pro jednu banku, že ji převede do druhé banky, a ve druhé jsi zapomněl říct, že by měl něco přijmout. A proto se váš převod nikdy nedostane k příjemci. Když máte globální popis tohoto systému, všechny role a akce, které by každý z účastníků měl mít, můžete odvodit specifikaci chování každého z účastníků, a tím se chránit před tímto problémem.

Moji nadřízení to formalizovali,psaní dvou teoretických jazyků pro popis globálního modelu uzlů a chování určitého uzlu. Mým úkolem je implementovat a otestovat, jak efektivní je jejich model ve srovnání s ostatními.

Proč granty pro ženy - je to škoda

- Když jsem psal, že s vámi chci mluvit o IT a ženách, řekl jste, že o tom nebude moc snadné mluvit, ale jste připraveni to vyjádřit. Proč máte takový názor?

- Myslím, že je to velmi horké téma. A zajímalo by mě, jestli to stojí za to mluvit a míchat vosí hnízdo. Protože, opravdu, je to jako projít minovým polem. Bez ohledu na to, co říkáte, někdo bude zraněn, a někteří si budou myslet, že nesete nějaký druh divoké kacířství.

- Proč si to myslíš?

- V zásadě často vidím různé reakce lidí na tyto otázky. Tato témata jsou často diskutována. A vidím různé názory.

- Když jste šel na Kazanskou univerzitu pro mužskou specialitu, nebyl již považován za mužskou specialitu?

- Ano, nechápu, odkud pochází názor, že se jedná o mužskou specialitu. Měli jsme asi 50% dívek ve VIC (na Kazanské univerzitě - „High-tech“).

- A když jste odešel, byl rozdíl v přístupu k tomu, co děláte v Dánsku a v Rusku?

- Nikdy jsem se se mnou nesetkalanějak ponížený sexem. Jestli chceš říct, jestli mi někdo v Dánsku řekl, že jsem v mužské profesi, ne. Ale rozdíl je v tom, že opravdu chtějí mít více žen v IT a akademii. A nechtějí jen, přijímají některá opatření a někdy z mého pohledu dělají ještě víc, než je nezbytné a stojí za to.

- A jaká opatření jsou přijata?

- No, z toho, co je například, jsouprogramování pouze pro ženy. Jeden kolega řekl, že se jedná o kacířství, a to jen vytváří segregaci mezi mužskými a ženskými programátory. S tímto přístupem jsem souhlasil, ale organizátor kurzu byl poněkud překvapen. A po chvíli jsem se zeptal, jak tyto kurzy šly. A ukázalo se, že tam bylo mnoho dívek, pro mnoho dívek byl rozdíl - jít jen v ženské společnosti nebo ve smíšené. Mnozí chtěli jít čistě do ženy, rozdíl byl vizuálně hmatatelný - nebyla to nehoda. Uvědomil jsem si, že když jsem neviděl tento problém, byl jsem ve věži ze slonoviny, nevšiml jsem si, že by dívky mohly být v rozpacích nebo ještě z nějakého důvodu nechtějí pracovat s mladými lidmi, to neznamená, že není problém.

Boční panel

A pokud jde o jiné věci, které se lišíEvropa a Rusko, pokud jde o přitahování žen, pak existuje něco jako kvóta. Místa mohou být vyhrazena, například granty, konkrétně pro ženy. A to, z mého pohledu, nevytváří příliš dobrý trend, protože ženy, které si tato místa často nevědí, je dostávají, protože jsou chladné, dělají něco super, nebo je mají. protože někdo rozhodl, že v tomto směru není dost žen. To je druhá strana mince. Tam je také pozitivní účinek - jste obdrželi grant, a negativní - důvod, proč jste jej obdrželi.

- Ty bys nechtěl nikdy získat grant, protože jsi žena?

- Obecně si myslím, že je to docela nepříjemné. (Směje se)

- Je to škoda dostat grant, protože žena, a ne proto, že jste skvělý specialista?

- Ano, protože to říká, že to nebyla moje práce, ale mé pohlaví.

- Myslíte si, že vaše práce byla někdy hodnocena, ať už v Rusku nebo v Dánsku, přesně proto, že jste žena, nebo se vaše hodnocení ostatních lidí změnilo, protože jste žena?

- Víte, jak jsem si vzpomněl, nemusel jsem se tím zabývat. Možná jsem naivní a prostě nevím, že se to stalo, ale nikdo mi neřekl: "To je dobré pro dívku."

Pozitivní diskriminace, vyhláška pro muže a nepříznivé stereotypy

- A jak vaši rodiče reagovali na vaše rozhodnutí o kariéře - pozitivně? Nebo měli nějaký jiný pohled na to, co jste měli dělat?

- Obecně, když jsem byl ve škole, poMaturita chtěla studovat jazyky a moji rodiče navrhli zvolit matematiku a programování, protože sami považovali jazyky za nástroj, který lze naučit později, a matematiku a programování - jako něco zásadnějšího. Je to legrační, že mnoho vědců odkazuje na matematiku jako na nástroj.

A abych byl upřímný, vždy jsem byl překvapen pročV technických specialitách je takový nezdravý halo složitosti. Myslím, že to není fér a děvčata děsí. Nikdy jsem například neslyšela, že dívky, které chtějí praktikovat lingvistiku, říkají: „Ach, je tu historická gramatika, je to tak těžké!“ Nebo děvčata, která chtěla jít do architekta, řekla: "Ach, tam taky bude muset udělat spoustu sopromat". Teď můžu splést spíše holky-inženýry, dobře, nebo jako anatomie pro lékaře. Ale z nějakého důvodu to mají technické vědy.

- Já jsem z Petrohradu a často jsem slyšel: pro koho jsem studovala, pro koho jsem pracovala nebo o co jsem měla zájem, není žena. A moji přátelé řekli totéž, kdyby se náhle zajímali o matematiku, programování nebo vědu.

- Zdá se mi, že naopak v našem regionuvíce patriarchální než vaše, takže jsem určitě překvapen. Zdá se mi, že to nějak souvisí s konkrétním prostředím. Možná, že v mém mládí ... ne, nemůžu říct, že jsem byl nějak šťastný, na univerzitě jsem byl považován za slušného. Ale například řízení. Nikdy jsem nedostal tolik trestných činů na základě pohlaví jako řízení. Vzhledem k tomu, že je to naprosto neopodstatněné. Proto vím, že existují neskutečné stereotypy a mnoho žen čelí jim. Proč jsem se s nimi nestýkal z hlediska práce? Pravděpodobně proto, že byla obklopena lidmi z různých prostředí, pro které by to bylo normální.

- Jaké jsou názory vašich dánských kolegů? Ukazuje se, že pokud se zapojí do iniciativy - například kurzů pro ženy, vidí tento problém.

- Ano, samozřejmě. Někdy taková témata diskutujeme jako u kurzů. Nebo například shledávám, že není zcela upřímné, že žena často ztrácí určitou dobu na dovolené pro dítě. Zhruba řečeno, ztrácí rok zkušeností. V Dánsku existuje rozhodnutí, že člověk může získat stejné půlroční nařízení, které může žena získat, pokud chce. Pokud je nebere, žena je nemůže vzít. A prostě vyhoří.

- Existuje pouze jeden rok mateřské dovolené, z tohočlověk musí strávit půl roku a žena stráví půl roku? A pokud je člověk nechce utratit, pak žena sedí na mateřské dovolené půl roku a pak chodí do práce, rozuměla jsem správně?

- Pokud si vzpomínám, ano. Jde o to, že člověk není nucen jít na dovolenou pro dítě, ale tentokrát nemůže být používán ženou. To znamená, že zabraňuje situacím, že na mateřské dovolené bude pouze žena. Tady buď strávíš tytéž půl roku, nebo ne. Myslím, že je to velmi dobrý nápad.

Boční panel

„A ti lidé, kteří měli nápady vytvořit kurzy pro ženy,“ hovořili jste s nimi o pozitivní diskriminaci. Rozumím správně, že se jedná o muže?

- Můj kolega, organizátor těchto kurzůženy tam neučily, protože by neměly existovat mužští učitelé, kteří by vytvořili příjemné prostředí pro tyto kurzy. Samozřejmě ano, to jsou samozřejmě muži.

- Pokud jsou v Rusku lidé, kteří jsou znepokojeni diskriminací vůči ženám, ženy, pak jsou na příkladu univerzity v Dánsku znepokojeni nejen ženy, ale i muži.

- No, ne dříve, ale včetně. A zdá se mi, že je to zcela normální.

- Pro Rusko je to naprosto neobvyklé, protože jsme v tomto ohledu vyvinuli nějaký podivný postoj.

- Víte, problémem pohlaví je tojsme si vědomi některých zvláštních případů a nemáme obecný obraz. Mám pocit, že všechno v Rusku není v tomto ohledu tak geniální. I když kolega - organizátor kurzů pro ženy věří, že v Rusku a v zemích bývalého SSSR je to mnohem lepší. Protože většina žen programátorů, se kterými je obeznámen, pochází z bývalého Sovětského svazu. Protože to považujeme za normální, podle jeho názoru, jít do studia jako programátor, a tady se musí snažit přilákat dívky.

- Možná je problémem, že ženy ze zemí SNS uprchly ze zemí SNS?

- No, přesto jsou. A nejen ženy utíkají. Co se týče konce tohoto mladého muže, jak jsem zapomněl dokončit. Řekl jsem, že to považuji za nespravedlivé, že žena ztrácí rok zkušeností a pak by měla vykonávat práci na stejné úrovni, protože musí v této profesi pokračovat. Zároveň jsem si vybral PhD pro sebe, a ne rodinu. K čemu můj kolega odpověděl: "Vy alespoň máte na výběr." To znamená, že si můžete vybrat práci, pokud chcete, ale můžete si vybrat rodinu, pokud chcete. Často však tato volba není. Předpokládá se, že hlavním cílem ženy je nastartovat rodinu, mít děti, krmit je a tak dále.

- Nemáš pocit, že takové kurzy jsou „pera pro ženy“?

- Dokonce i teď, abych byl upřímný, myslím, že je to tak trochu. Přesněji řečeno, pokud to funguje pro někoho, je to vynikající a dobré. Ale já sám bych nebyl moc pohodlný. Nemyslím si, že je to super skvělý nápad, stejně, nějaká izolace.

- správně rozumím: vzhledem k tomu, že jste zpočátku byli ve vědecké komunitě, je to právě mezi vědci, kteří si nevšimnou problémů ve vztazích? Protože samotné intelektuálně-kulturní prostředí předpokládá, že hlavní věcí není, kdo je, ale to, co udělal.

- Možná, že toto prostředí by mělo jazyk zachovatpro zuby a neříkejte špatné věci ostatním lidem, možná je opravdu inteligentní. Těžko říct. Ale ano, když říkám, že jsem ve své vlastní věži ze slonoviny, myslím, že jsem poněkud rozvedený od každodenní reality.

"Plivnout na každého a jít dobýt"

- V budoucnu chcete pokračovat ve studiu a zapojit se do výzkumu?

"Je to jako plán A." To znamená, že to není fakt, že budu vždy schopen získat pozici, která mě zajímá v akademii, ale jako plán „B“ je to návrat do průmyslu.

- Zaznamenáváte rozdíl v kvalitě vzdělávání mezi univerzitou Innopolis a dánskou univerzitou? Nejde o to, který z nich je zastaralý, ale o rozdíl v přístupu ke vzdělávání.

- V Dánsku nejsem tak dobře obeznámen se systémemvýuky. Kurz, který jsem vyučoval v Dánsku, byl pro ruské univerzity zcela neobvyklý, jak se mi zdá, ale říci, že by měl být všude, nebo naopak, že by neměl být nikde, nemohu.

Boční panel

Pokud se o tomto kurzu krátce mluvíte, onnazvaný „Projekt prvního ročníku studia“, v němž mentor dává zajímavé úkoly. Studenti ve skupinách si mohou vybrat, na čem chtějí pracovat. Mentor pomáhá najít správný směr při řešení problému. Cílem předmětu je naučit studenty prvního ročníku studovat, řešit problémy, spolupracovat v týmu a prezentovat se. Na Innopolis University je něco podobného druhému ročníku, ale neučil jsem to. U KSU existovala klasičtější škola, ale bylo možné vybrat si veselého mladíka.

- Co můžete říci dívkám, které se nacházejí v jiné situaci, o nichž je řečeno, že matematika a programování není žena, ale chtějí jít do vědy?

- když mluvíme o děvčatech, které chtějíjít na programování a technické speciality, pak jsme s největší pravděpodobností mluví o teenagerech. Je to velmi mladý muž, který může být ovlivněn. To samozřejmě není příliš dobré, že dívky musí poslouchat takové nesmysly se stereotypy. Pokud má člověk schopnosti, radím, abych neposlouchal ostatní, ale abych šel do matematiky a programování.

Ale někdy je situace, kdynemusí být ve skutečnosti vaše, a to platí nejen pro technické vědy. Například, člověk chce zapsat uměleckou školu, ale nebere moc. Bude pro něj těžké studovat, i když možná dohoní. Někdy je ale upřímnější říci, že tohle není vaše, a možná je lepší netrpět a dělat něco jiného. Tak či onak, stojí za to adekvátně vyhodnotit tyto fráze, často zneužívají „halo tajemství“ technických věd. Tak pliv na všechny a jdi dobýt.