Larisa Safina— docent na Innopolis University, v současné době získává doktorát na University of South
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 Rusnano a náš projekt byldálkové ovládání osvětlení v některých městech - zapínání osvětlení 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 muselpracovat s více jazyky. Momentálně třeba píšu v Kotlinu. Mám ho nejraději. Ale projekt s Rusnano jsme psali hlavně v C#. Dost často se musím potýkat s Javou, jelikož jsem tester, psal jsem testy v Pythonu, Javě, C#. Pro vlastní potěšení často studuji funkcionální programovací jazyky, například Haskell, a formální jazyky například pro dokazování vět - Coq.
Funkční programováníje programovací paradigma, ve kterém procesvýpočty jsou interpretovány jako výpočet hodnot funkcí v matematickém smyslu posledně jmenovaných (na rozdíl od funkcí jako podprogramů v procedurálním programování).
Haskell- standardizovaný čistý funkční jazykvšeobecné programování. Je to jeden z nejběžnějších programovacích jazyků s podporou líných výpočtů. Protože je jazyk funkční, hlavní řídicí strukturou je funkce.
Coq- interaktivní softwarový nástrojDůkazy vět pomocí vlastního funkcionálního programovacího jazyka (Gallina) se závislými typy. Umožňuje zapisovat matematické věty a jejich důkazy, pohodlně je upravovat a kontrolovat jejich správnost. Coq se používá pro ověření programu.
Formální jazyk— v matematické logice a informatice —množina konečných slov (řetězců, řetězců) nad konečnou abecedou. Pojem jazyk se nejčastěji používá v teorii automatů, teorii vyčíslitelnosti a teorii algoritmů. Vědecká teorie, která se tímto objektem zabývá, se nazývá teorie formálních jazyků.
— To vše zní skvěle, ale tyto jazyky se v současnosti nepoužívají ve skutečných projektech; Haskell se například používá zřídka, i když si nepamatuji, že by jej používal jediný projekt.
- asi s tebou nesouhlasím.Ve výrobě se používá například Haskell. Ano, ne často, ale ne proto, že by to byl špatný jazyk, spíše proto, že je docela obtížné sestavit tým haskelistů. Znám však lidi, kteří s Haskellem ve výrobě spolupracují. Dělám to jen pro své potěšení. Jiné funkční jazyky jsem ve výrobě neviděl, ale je dobré jim porozumět pro obecný vývoj. Pokud jde o jazyky pro dokazování teorémů, na akademické půdě, pokud jste v tomto konkrétním tématu, se používají poměrně často.
- Ale používají se speciálně pro matematikumodelování a dokazování teorémů – jinými slovy pro vědecké účely. Pokud se podíváte na volná místa, haskellisty nejsou prakticky nikde vyžadovány, každý chce C+, Java, Python, Ruby, Go, nebo dokonce jde do frontendu, respektive JavaScriptu. Ale setkání s haskellisty je opravdu úžasný příběh.
— Řekněme, že pomáhají formalizovatněkteré věci, které lze vidět ve skutečnosti. Od jazyků dokazujících teorémy k Haskellu v zásadě není daleko a od Haskellu k průmyslu je to také co by kamenem dohodil. To znamená, že není všechno tak špatné a zbytečné.
To vše asi souvisí s prostředím, kde jsem. A to se mi nezdá moc neobvyklé.
Dánsko, PhD a mikroservisy
— Proč tedy takové jazyky nejsou populární ve zbytku světa? A proč jsou pro vás zajímavé?
- V podstatě proto, že neexistuje žádná naléhavá potřebapoužij je. Pokud je možné vyřešit problém jednodušším způsobem, pokud není superkritický a pokud to není nějaký druh systému Boeing a vystačíte si s menšími zbraněmi, volí se jiné jazyky. Proč je mám rád? nevím. Líbí se ti něco - květiny, knihy, kočky? Proč máš rád 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 dostal práci na Innopolis University, už jsem bylpráce, šéf se zeptal, co chci dělat, moje odpověď byla získat PhD. V této době se naskytla příležitost stát se kandidátem na akademický titul u onoho profesora z Dánska, vynálezce jazyka Jolie. Proto jsme zorganizovali společný doktorát mezi Innopolis University a dánskou univerzitou, University of Southern Denmark.
- 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 ji mámejakýsi systém vzájemně se ovlivňujících prvků. Pokud dokážeme odvodit obecnou specifikaci chování všech prvků bez orchestrátoru – bez nějakého uzlu, který řídí všechny ostatní –, pak z toho můžeme odvodit specifikaci pro každý uzel a naopak. Chráníme se tak před chybami, protože pokud bychom udělali specifikaci pro každý uzel zvlášť, mohli bychom později narazit na problémy s jejich interakcí.
Univerzita jižního Dánska. Foto: ricochet64/Shutterstock
Představte si scénář:chcete poslat peníze do jedné banky, která je musí převést do jiné. A u jedné banky jsi napsal specifikaci, že je převádí do druhé banky a ve druhé jsi zapomněl říct, že by měla něco dostat. A proto se váš převod nikdy nedostane k příjemci. Jakmile budete mít globální popis tohoto systému, specifikující všechny role a akce, které musí každý z účastníků zastávat, můžete odvodit specifikaci chování každého z účastníků, a chránit se tak před takovým problémem.
Moji nadřízení to formalizovali,napsáním dvou teoretických jazyků pro popis globálního modelu uzlů a chování konkrétního uzlu. Mým úkolem je implementovat a testovat, ukázat, jak efektivní je jejich navrhovaný model ve srovnání s ostatními.
Proč granty pro ženy - je to škoda
— Když jsem napsal, že s vámi chci mluvit o IT a ženách, řekl jste, že nebude snadné o tom mluvit, ale byl jste připraven to vyjádřit. Proč máte tento názor?
— Myslím, že je to poměrně citlivé téma.A přemýšlel jsem, jestli má cenu o tom mluvit a rozvířit sršní hnízdo. Protože ve skutečnosti je to jako procházet minovým polem. Bez ohledu na to, co řeknete, někdo se urazí a někteří si budou myslet, že mluvíte o nějakém divokém kacířství.
- Proč si to myslíš?
— V zásadě často vidím různé reakce lidí na tyto otázky. O takových tématech se často diskutuje. A vidím různorodost názorů.
— Když jste šel na kazaňskou univerzitu studovat mužskou specializaci, nepovažoval jste to již 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 nezažil bytínějak bagatelizován na základě pohlaví. Jestli myslíš, řekl mi někdo tady v Dánsku, že jsem mužský specialista, tak ne. Rozdíl je ale v tom, že tady opravdu chtějí, aby bylo více žen jak v IT, tak v akademické sféře. A nejen že chtějí, udělají nějaká opatření a někdy z mého pohledu udělají i víc, než je nutné 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 další věci, které se lišíV Evropě a Rusku, pokud jde o pilné přitahování žen, existuje něco jako kvóta. Místa, například granty, mohou být vyhrazena speciálně pro ženy. A to z mého pohledu vytváří nepříliš dobrý trend, protože ženy, které se na tato místa dostanou, často nevědí, zda je získaly proto, že jsou samy skvělé, udělaly něco velmi skvělého, nebo je získaly, protože někdo rozhodl, že v této oblasti není dostatek žen. To je druhá strana mince. Existuje pozitivní efekt – dostali jste grant a negativní efekt – důvod, proč jste jej dostali.
— Chtěla byste někdy získat grant, protože jste žena?
"Obecně si myslím, že je to dost urážlivé." (Smích)
— Je ostuda dostat grant proto, že jste žena, a ne proto, že jste skvělá specialistka?
- Ano, protože to naznačuje, že nebyla hodnocena moje práce, ale moje pohlaví.
— Myslíte si, že vaše práce byla někdy v Rusku nebo Dánsku hodnocena právě proto, že jste žena, nebo se hodnocení vaší práce okolím 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
— Jak vaši rodiče reagovali na vaši volbu povolání – pozitivně? Nebo měli nějaký jiný pohled na to, co byste měli dělat?
— Vlastně, když jsem byl ve škole, potomPo maturitě jsem chtěl studovat jazyky, ale rodiče mi navrhli, abych si vybral matematiku a programování, protože oni sami jazyky považovali za nástroj, který se dá naučit později, a na matematiku a programování jako na něco zásadnějšího. Je legrační, kolik vědců považuje matematiku za nástroj.
A abych byl upřímný, vždycky mě zajímalo pročV technických specialitách je jakási nezdravá aura složitosti. Myslím, že je to nečestné a jen to děvčata vyděsí. Například jsem nikdy neslyšel dívkám, které chtějí studovat lingvistiku, říkat: "Ach, existuje historická gramatika, je to tak těžké!" Nebo dívkám, které se chtěly stát architektkou, bylo řečeno: „Ach, tam také budete muset udělat spoustu práce s pevností materiálů.“ Teď můžu spíš zmást dívky inženýrky nebo mít rád anatomii pro doktory. Ale z nějakého důvodu to mají právě 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 krajipatriarchálnější než váš, takže mě to samozřejmě překvapuje. Myslím, že to má něco společného s konkrétním prostředím. Možná v mládí... ne, nemůžu říct, že bych měl nějaké štěstí, na univerzitě se mnou zacházeli, jak se patří. Ale například řízení. Nikdy jsem nedostal tolik nadávek na základě pohlaví jako při řízení. Nehledě na to, že to nemá absolutně žádný základ. Proto vím, že existují nezničitelné stereotypy a mnoho žen jim čelí. Proč jsem se s nimi pracovně nesetkal? Asi proto, že jsem byl obklopen lidmi, kteří nepocházeli z prostředí, pro které by to bylo normální.
— Jaké jsou názory vašich dánských kolegů? Ukazuje se, že pokud se zapojují do iniciativ – například kurzů pro ženy, pak tento problém vidí.
- Ano, určitě.Někdy o takových tématech diskutujeme, jako u kurzů. Nebo si například myslím, že není úplně fér, že žena na dovolené často ztratí určitý čas na péči o dítě. Zhruba řečeno, ztrácí rok zkušeností. V Dánsku existuje řešení, že muž může dostat stejných šest měsíců mateřské dovolené jako žena, pokud chce. Pokud si je nevezme, žena si je vzít nemůže. A prostě vyhoří.
— Je pouze rok mateřské dovolené, z tohoJe povinností muže strávit šest měsíců a ženy šest měsíců? A pokud je muž nechce utratit, pak žena sedí na mateřské dovolené šest měsíců a pak se vrátí do práce, pochopil 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 s těmi lidmi, kteří měli nápad vytvořit kurzy pro ženy, jste s nimi diskutovali o pozitivní diskriminaci. Chápu to správně, že jsou to muži?
— Můj kolega, organizátor těchto kurzů proženy tam neučily, protože pro vytvoření příjemného prostředí v těchto kurzech neměli být učitelé muži. Obecně ano, jsou to samozřejmě muži.
— Pokud jsou v Rusku lidé, kteří se obávají diskriminace žen, ženy, pak konkrétně ve vašem příkladu na univerzitě v Dánsku se to týká nejen žen, ale dokonce i mužů.
- No, ne dřív, ale taky. A to je myslím docela normální.
- Pro Rusko je to naprosto neobvyklé, protože jsme v tomto ohledu vyvinuli nějaký podivný postoj.
— Víte, problém s genderovým tématem je v tomZnáme některé zvláštní případy a nemáme obecný obrázek. Mám pocit, že v Rusku není v tomto ohledu všechno tak oslnivé. I když kolegyně, která kurzy pro ženy pořádá, se domnívá, že v Rusku a v zemích bývalého SSSR je to mnohem lepší. Protože většina programátorek, které zná, pochází z bývalého Sovětského svazu. Protože tady se podle jeho názoru považuje za normální jít studovat, aby se stal programátorem, ale tady se musí snažit přilákat dívky.
— Možná je problém v tom, že programátorky ze zemí SNS utíkají ze zemí SNS?
- No, přesto existují.A neutíkají jen ženy. Pokud jde o extrémnost tohoto mladého muže, to jsem zapomněl zmínit. Řekl jsem, že si myslím, že je nespravedlivé, aby žena ztratila rok zkušeností a pak musela dělat stejnou úroveň práce, protože potřebovala pokračovat v soutěži v této profesi. Doktorát jsem si přitom vybral pro sebe, ne pro rodinu. Na to můj kolega odpověděl: "Aspoň máš na výběr." To znamená, že si můžete vybrat práci, pokud chcete, nebo si můžete vybrat rodinu, pokud chcete. Tato volba však často není k dispozici. Předpokládá se, že hlavním cílem ženy je založit rodinu, porodit děti, nakrmit ji atd.
- Nemáš pocit, že takové kurzy jsou „pera pro ženy“?
"Abych byl upřímný, pořád si to trochu myslím."Přesněji, pokud to někomu funguje, pak je to skvělé a dobré. Ale já sám bych se necítil moc pohodlně. Nemyslím si, že je to super nápad, je to stále nějaký druh izolace.
- Rozumím správně:Protože jste byl původně ve vědeckém prostředí, nevnímáte mezi vědci problémy s postoji? Protože samotné intelektuální a kulturní prostředí předpokládá, že hlavní není, kdo ten člověk je, ale co udělal.
— Možná toto prostředí vyžaduje, abyste drželi jazyk za zubydržte jazyk za zuby a neříkejte ošklivé věci jiným lidem Možná je opravdu inteligentní. Těžko říct. Ale ano, když říkám, že jsem ve své věži ze slonoviny, myslím tím, že jsem poněkud odpojen od každodenní reality.
"Plivnout na každého a jít dobýt"
— Chcete v budoucnu pokračovat ve studiu a 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é jsou v jiné situaci, kterým je řečeno, že matematika a programování nejsou záležitostí pro ženy, ale chtějí jít do vědy?
— Když mluvíme o dívkách, které chtějíjít do programování a technických specialit, pak s největší pravděpodobností mluvíme o teenagerech. To je ještě velmi mladý člověk, kterého lze ovlivnit. Není samozřejmě moc zdravé, aby dívky musely poslouchat takové nesmysly se stereotypy. Pokud má člověk schopnosti, tak bych radil neposlouchat ostatní, ale jít na matematiku a programování.
Někdy ale nastane situace, kdy toopravdu nemusí být vaše, a to platí nejen pro technické vědy. Například člověk chce jít na uměleckou školu, ale nekreslí moc dobře. Bude se mu těžko učit, i když to snad dožene. Ale někdy je upřímnější říct, že to není vaše věc, a možná je lepší netrpět a dělat něco jiného. Tak či onak stojí za to tyto fráze adekvátně zhodnotit, často zneužívají „auru tajemna“ technických věd. Proto se na všechny vykašlete a jděte dobývat.