Larisa Safina— universitetslektor ved Innopolis University, mottar for tiden en doktorgrad ved University of South
Studier programmerer språk som Haskell, Kotlin og andre.
Haskelist, funksjonell programmering og populære språk
- Hva har du gjort i magisteriet i programvare ved University of Innopolis?
- Det var et program kjøpt fra et universitetCarnegie Mellon. Det har vært godt dannet over tid, det inkluderer kurs på programvareanalyse, arkitektur og metoder. Den viktigste og interessante delen begynner med andre semester - studentene er delt inn i lag og de jobber med virkelige prosjekter. Endelig ble vår effektivitet vurdert ved hvordan vi klarte dette prosjektet.
– Hva var prosjektet ditt?
— Vi jobbet for Rusnano, og prosjektet vårt varfjernkontroll av belysning i enkelte byer - slå på belysningen i henhold til en tidsplan. De hadde en gammel løsning, men ville bytte til en ny.
På dette prosjektet gjorde alle alt, det var viktig atalle prøvde en rolle. Selvfølgelig har noen mennesker en tendens til en, andre har en annen. Men i vårt prosjekt klarte vi alle å tisse koden, utarbeide kravene, testing og til og med arkitektur. Dette er hovedmålet med slike prosjekter.
- Det ble interessant hvilke språk du jobber med.
— Under studiene og jobben måtte jeg detjobbe med flere språk. For øyeblikket skriver jeg for eksempel i Kotlin. Jeg liker ham best. Men vi skrev prosjektet med Rusnano hovedsakelig i C#. Ganske ofte må jeg forholde meg til Java, som tester skrev jeg tester i Python, Java, C#. For min egen glede studerer jeg ofte funksjonelle programmeringsspråk, for eksempel Haskell, og formelle språk, for eksempel for å bevise teoremer - Coq.
Funksjonell programmeringer et programmeringsparadigme der prosessenberegninger tolkes som å beregne verdiene til funksjoner i den matematiske betydningen av sistnevnte (i motsetning til funksjoner som subrutiner i prosedyreprogrammering).
Haskell- standardisert rent funksjonsspråkgenerell programmering. Det er et av de vanligste programmeringsspråkene med støtte for lat databehandling. Siden språket er funksjonelt, er hovedkontrollstrukturen en funksjon.
coq- interaktivt programvareverktøyTeorembevis ved bruk av vårt eget funksjonelle programmeringsspråk (Gallina) med avhengige typer. Lar deg skrive ned matematiske teoremer og bevisene deres, enkelt modifisere dem og kontrollere at de er korrekte. Coq brukes til programverifisering.
Formelt språk- i matematisk logikk og informatikk -et sett med endelige ord (strenger, kjeder) over et begrenset alfabet. Språkbegrepet brukes oftest i automatteori, beregningsevneteori og algoritmeteori. Den vitenskapelige teorien som omhandler dette objektet kalles teorien om formelle språk.
— Alt dette høres bra ut, men disse språkene brukes foreløpig ikke i virkelige prosjekter; Haskell, for eksempel, brukes sjelden, selv om jeg ikke kan huske et eneste prosjekt som bruker det.
– Jeg er nok ikke enig med deg.For eksempel brukes Haskell i produksjonen. Ja, ikke ofte, men ikke fordi det er et dårlig språk, snarere fordi det er ganske vanskelig å sette sammen et team med Haskellister. Jeg kjenner imidlertid folk som jobber med Haskell i produksjonen. Jeg gjør det bare for min egen glede. Jeg har ikke sett andre funksjonelle språk i produksjon, men det er godt å forstå dem for generell utvikling. Når det gjelder språk for å bevise teoremer, i akademia, hvis du er i dette spesielle emnet, brukes de ganske ofte.
– Men de brukes spesifikt til matematiskmodellering og beviste teoremer – for vitenskapelige formål, med andre ord. Hvis du ser på ledige stillinger, er Haskellister praktisk talt ikke nødvendig hvor som helst; alle vil ha henholdsvis C+, Java, Python, Ruby, Go eller går til frontend - JavaScript. Men å møte Haskellistene er en virkelig fantastisk historie.
— La oss bare si at de bidrar til å formaliserenoen ting som kan sees i virkeligheten. Fra teorembevisende språk til Haskell er det i prinsippet ikke langt, og fra Haskell til industri er det også et steinkast. Det vil si at ikke alt er så ille og ubrukelig.
Dette har nok alt å gjøre med miljøet der jeg er. Og dette virker ikke veldig uvanlig for meg.
Danmark, PhD og microservices
– Hvorfor er ikke slike språk populære i resten av verden? Og hvorfor er de interessante for deg?
– I utgangspunktet, fordi det ikke er noe akutt behovbruk dem. Hvis det er mulig å løse et problem på en enklere måte, hvis det ikke er superkritisk, og hvis det ikke er et slags Boeing-system, og du kan klare deg med mindre våpen, så velges andre språk. Hvorfor liker jeg dem? Vet ikke. Liker du noe - blomster, bøker, katter? Hvorfor liker du katter?
- Tetninger alle som. Jeg liker hva du får i Danmark PhD. Hvordan kom du etter Innopolis?
- Da jeg studerte i et magistracy, bortsett fra de viktigstekurs vi måtte ta elektivy. Og et av valgene jeg tok, var relatert til emnet microservices, eller mer presist med microservice programmeringsspråket - Jolie. Forfatteren jobber for tiden i Danmark. Min oppgave var å gjøre endringer i det - raffinement, for å implementere en av de mulige operatørene.
incut
Da jeg fikk jobb ved Innopolis University var jeg alleredejobb, spurte sjefen hva jeg ville gjøre, svaret mitt var å ta doktorgrad. På dette tidspunktet oppsto muligheten for å bli kandidat for en akademisk grad fra den professoren fra Danmark, oppfinneren av Jolie-språket. Dermed organiserte vi en felles PhD mellom Innopolis University og et dansk universitet, Syddansk Universitet.
- Hva undersøker du for eksempel i Danmark?
- I Danmark jobber vi med ett prosjekt, hannoe knyttet til mikroservices og i prinsippet med samspillet mellom elementer i distribuerte systemer. Mine vitenskapelige ledere foreslo formalisering - en global spesifikasjon for mikroservices. De viste at du kan vise en spesifikasjon for hvert element.
Vi kan bruke det hvis vi har detet slags system av samvirkende elementer. Hvis vi kan utlede en generell spesifikasjon av oppførselen til alle elementer uten en orkestrator - uten noen node som kontrollerer alle de andre - så kan vi utlede en spesifikasjon for hver node fra den, og omvendt. På denne måten beskytter vi oss mot feil, for hvis vi laget en spesifikasjon for hver node separat, kan vi senere støte på problemer med deres samhandling.
Syddansk Universitet. Foto: ricochet64/Shutterstock
Se for deg scenariet:du ønsker å sende penger til en bank, som må overføre dem til en annen. Og du skrev en spesifikasjon for den ene banken om at den overfører dem til den andre banken, og i den andre glemte du å si at den skulle motta noe. Og derfor vil overføringen din aldri nå mottakeren. Når du har en global beskrivelse av dette systemet, som spesifiserer alle rollene og handlingene som hver av deltakerne må ta, kan du utlede en spesifikasjon av oppførselen til hver av deltakerne, og dermed beskytte deg mot et slikt problem.
Mine veiledere formaliserte dette,ved å skrive to teoretiske språk for å beskrive den globale modellen av noder og oppførselen til en spesifikk node. Min oppgave er å implementere og teste, for å vise hvor effektiv deres foreslåtte modell er sammenlignet med andre.
Hvorfor tilskudd til kvinner - det er synd
— Da jeg skrev at jeg ville snakke med deg om IT og kvinner, sa du at det ikke ville være så lett å snakke om det, men du var klar til å si det. Hvorfor har du denne oppfatningen?
— Jeg synes dette er et ganske følsomt tema.Og jeg lurte på om det var verdt å snakke om dette og hisse opp hornnets reir. For det er egentlig som å gå gjennom et minefelt. Uansett hva du sier, vil noen bli fornærmet, og noen vil tro at du snakker om en slags vill kjetteri.
- Hvorfor tror du det?
— I prinsippet ser jeg ofte ulike reaksjoner fra folk på disse spørsmålene. Slike temaer diskuteres ofte. Og jeg ser et mangfold av meninger.
— Da du dro til Kazan-universitetet for å studere menns spesialitet, ble det ikke lenger ansett som en menns spesialitet?
- Ja, jeg forstår ikke hvor meningen kom fra, at dette er en mannlig spesialitet. Vi hadde ca 50% av jentene på VIC (ved Kazan University - "High-tech").
- Og da du dro, var det en forskjell i holdning til hva du gjør i Danmark og i Russland?
– Jeg har aldri opplevd å værepå en eller annen måte forringet basert på kjønn. Hvis du mener, har noen her i Danmark fortalt meg at jeg er en mannlig spesialist, så nei. Men forskjellen er at her ønsker de virkelig at det skal være flere kvinner både innen IT og akademia. Og de vil ikke bare, de tar noen tiltak, og noen ganger, fra mitt synspunkt, gjør de enda mer enn nødvendig og verdt det.
- Og hvilke tiltak er tatt?
- Vel, for eksempel er det disseprogrammering for kvinner bare. En kollega sa at dette er en kjetteri, og dette skaper bare segregering mellom mannlige og kvinnelige programmerere. Jeg var enig med denne tilnærmingen, men kursarrangøren var litt overrasket. Og etter en stund spurte jeg hvordan disse kursene gikk. Og det viste seg at mange jenter kom dit, for mange jenter var det en forskjell - å gå bare i et kvinnelig selskap eller i en blandet. Mange ønsket å gå rent i kvinnene, forskjellen var visuelt håndgripelig - det var ikke en ulykke. Og jeg skjønte at hvis jeg ikke så dette problemet, var i min elfenbenstårn, så jeg ikke merke til at jenter kan bli flau eller av en eller annen grunn ikke ønsker å engasjere seg med unge mennesker, betyr dette ikke at det ikke er noe problem.
incut
Og som for andre ting som er annerledes iI Europa og Russland, når det gjelder flittig å tiltrekke kvinner, er det noe slikt som en kvote. Plasser, for eksempel tilskudd, kan reserveres spesielt for kvinner. Og dette, fra mitt synspunkt, skaper en ikke særlig god trend, fordi ofte kvinner som får disse stedene ikke alltid vet om de fikk dem fordi de selv er kule, gjorde noe veldig kult, eller de fikk dem, fordi noen bestemte at det ikke var nok kvinner i dette området. Dette er den andre siden av mynten. Det er en positiv effekt - du fikk tilskudd, og en negativ effekt - grunnen til at du fikk det.
— Kunne du tenke deg å motta stipend en dag fordi du er kvinne?
"Generelt synes jeg det er ganske støtende." (ler)
— Er det synd å få stipend fordi du er kvinne, og ikke fordi du er en kul spesialist?
– Ja, for dette tyder på at det ikke var arbeidet mitt som ble evaluert, men kjønnet mitt.
— Tror du arbeidet ditt noen gang, i Russland eller Danmark, har blitt evaluert nettopp fordi du er kvinne, eller har vurderingen av arbeidet ditt av mennesker rundt deg endret seg fordi du er kvinne?
- Du vet at jeg på en eller annen måte, som jeg husker, ikke måtte håndtere dette. Kanskje jeg er naiv og bare ikke vet at dette skjedde, men ingen fortalte meg: "Dette er bra for en jente."
Positiv diskriminering, dekret for menn og ikke-drapende stereotyper
— Hvordan reagerte foreldrene dine på ditt valg av karriere – positivt? Eller hadde de et annet syn på hva du burde gjøre?
— Faktisk, da jeg var på skolen, etterEtter endt utdanning ønsket jeg å studere språk, men foreldrene mine foreslo at jeg skulle velge matematikk og programmering, fordi de selv så på språk som et verktøy som kan læres senere, og matematikk og programmering som noe mer grunnleggende. Det er morsomt hvor mange forskere behandler matematikk som et verktøy.
Og for å være ærlig har jeg alltid lurt på hvorforDet er en slags usunn aura av kompleksitet i tekniske spesialiteter. Jeg synes dette er uærlig og bare skremmer bort jentene. For eksempel har jeg aldri hørt jenter som ønsker å studere lingvistikk bli fortalt: "Å, det er historisk grammatikk, det er så vanskelig!" Eller jentene som ønsket å bli arkitekt ble fortalt: «Å, der må du også gjøre mye materialstyrkearbeid.» Nå kan jeg forvirre, snarere, jenter ingeniører, eller liker anatomi for leger. Men av en eller annen grunn er det nettopp de tekniske vitenskapene som har dette.
- Jeg er fra St. Petersburg, og ganske ofte hørt: hvem jeg studerte for, hvem jeg jobbet for eller hva jeg var interessert i, er ikke for en kvinne. Og mine venner sa det samme hvis de plutselig var interessert i matematikk, programmering eller vitenskap.
— Det virker på meg som tvert imot i vår regionmer patriarkalsk enn din, så selvfølgelig er jeg overrasket. Jeg tror det har noe med det spesifikke miljøet å gjøre. Kanskje i min ungdom... nei, jeg kan ikke si at jeg på en eller annen måte var heldig på universitetet jeg ble behandlet som det skulle. Men for eksempel kjøring. Jeg har aldri fått så mange kjønnsbaserte fornærmelser som jeg gjorde mens jeg kjørte bil. Til tross for at dette absolutt ikke har noe grunnlag. Derfor vet jeg at det finnes udødelige stereotypier, og mange kvinner møter dem. Hvorfor møtte jeg dem ikke når det gjelder jobb? Sannsynligvis fordi jeg var omgitt av folk som ikke var fra miljøet, som dette ville være normalt for.
— Hva er meningene til dine danske kolleger? Det viser seg at dersom de er med på tiltak – for eksempel kurs for kvinner, så ser de dette problemet.
- Ja, definitivt.Noen ganger diskuterer vi slike temaer, som med kurs. Eller, for eksempel, jeg synes det ikke er helt rettferdig at en kvinne ofte mister en viss tid mens hun har permisjon for å passe et barn. Grovt sett mister hun ett års erfaring. I Danmark er det en løsning på at en mann kan få samme seks måneders svangerskapspermisjon som en kvinne kan få hvis han vil. Hvis han ikke tar dem, kan ikke kvinnen ta dem. Og de brenner bare ut.
— Det er bare ett år med fødselspermisjon, hvoravEr det mannens ansvar å bruke seks måneder, og kvinnens seks måneder? Og hvis en mann ikke vil bruke dem, så sitter kvinnen i svangerskapspermisjon i seks måneder, og så går hun tilbake på jobb, forsto jeg det riktig?
- Så vidt jeg husker, ja. Poenget er at en mann ikke er tvunget til å gå på permisjon for et barn, men denne gangen kan ikke brukes av en kvinne. Dermed forhindrer det slike situasjoner at bare en kvinne skal være på barselsorlov. Her bruker du heller de samme et halvt år, eller ikke. Jeg tror dette er en veldig god idé.
incut
— Og de som hadde ideen om å lage kvinnekurs, du diskuterte positiv forskjellsbehandling med dem. Forstår jeg riktig at dette er menn?
— Min kollega, arrangøren av disse kursene forkvinner, underviste ikke der, for for å skape et behagelig miljø på disse kursene burde det ikke ha vært mannlige lærere. Generelt, ja, dette er menn, selvfølgelig.
— Hvis det i Russland er kvinner som er bekymret for diskriminering av kvinner, så er det i ditt eksempel ved universitetet i Danmark, ikke bare kvinner, men også menn bekymret.
– Vel, ikke før, men også. Og det tror jeg er ganske normalt.
- For Russland er dette helt unormalt, fordi vi har utviklet en merkelig holdning i denne forbindelse.
— Du vet, problemet med kjønnstemaet er detVi kjenner noen spesielle tilfeller, og vi har ikke et generelt bilde. Jeg har en følelse av at i Russland er ikke alt så strålende i denne forbindelse. Selv om en kollega som organiserer kurs for kvinner mener at i Russland og i landene i det tidligere Sovjetunionen er dette mye bedre. Fordi de fleste av de kvinnelige programmererne han kjenner kommer fra det tidligere Sovjetunionen. For her anses det som normalt, etter hans mening, å gå på studier for å bli programmerer, men her må de anstrenge seg for å tiltrekke seg jenter.
— Kanskje problemet er at kvinnelige programmerere fra CIS-landene stikker av fra CIS-landene?
– Vel, de eksisterer likevel.Og det er ikke bare kvinner som stikker av. Når det gjelder ekstremiteten til denne unge mannen, glemte jeg å nevne det. Jeg sa at jeg syntes det var urettferdig for en kvinne å miste et års erfaring og deretter måtte jobbe på samme nivå fordi hun trengte å fortsette å konkurrere i yrket. Samtidig valgte jeg en doktorgrad for meg selv, ikke en familie. Som min kollega svarte: "Du har i det minste et valg." Det vil si at du kan velge jobb om du vil, eller du kan velge familie om du vil. Men ofte er ikke dette valget tilgjengelig. Det antas at en kvinnes hovedmål er å starte en familie, føde barn, mate henne, etc.
- Du har ikke følelsen av at slike kurs er "penner til kvinner"?
"For å være ærlig tenker jeg fortsatt litt på det."Mer presist, hvis det fungerer for noen, så er det flott og bra. Men jeg ville ikke føle meg veldig komfortabel. Jeg synes ikke dette er en superkul idé, det er fortsatt en slags isolasjon.
– Jeg forstår det riktig:Fordi du opprinnelig var i et vitenskapelig miljø, merker du ikke holdningsproblemer blant forskere? Fordi det intellektuelle og kulturelle miljøet selv antar at hovedsaken ikke er hvem personen er, men hva han gjorde.
— Kanskje dette miljøet krever at du holder tungenhold kjeft og ikke si stygge ting til andre mennesker. Kanskje hun virkelig er intelligent. Vanskelig å si. Men ja, når jeg sier at jeg er i elfenbenstårnet mitt, mener jeg at jeg er noe frakoblet den daglige virkeligheten.
"Spyt på alle og gå overvinne"
— Vil du fortsette å studere og forske i fremtiden?
"Det er som Plan A." Det er ikke et faktum at jeg alltid vil kunne få en stilling som interesserer meg i akademiet, men som en plan "B" er det å gå tilbake til bransjen.
- Merker du en forskjell i utdanningskvaliteten mellom Universitetet Innopolis og Danmarks Universitet? Det handler ikke om hvilken som er utdatert, men i forskjellen i tilnærminger til utdanning.
- I Danmark er jeg ikke så kjent med systemetundervisning. Kurset som jeg lærte i Danmark var ganske uvanlig for russiske universiteter, tror jeg, men å si at det skal være overalt, eller tvert imot at det ikke skal være hvor som helst, det kan jeg ikke.
incut
Hvis du snakker kort om dette kurset, hankalt "Prosjektet av det første studieåret" der mentorene gir interessante oppgaver. Studentene i grupper kan velge hvilken av de de vil jobbe med. Mentor hjelper til med å finne riktig retning når det gjelder å løse problemet. Målet med kurset er å lære førsteårsstudenter å studere, løse problemer, arbeide sammen i et lag og lage en god presentasjon. På Innopolis University er det noe som ligner på det andre året, men jeg lærte det ikke. På KSU var det en mer klassisk skole, men det var mulig å velge munter ungdomsvalg.
— Hva kan du si til jenter som er i en annen situasjon, som får beskjed om at matematikk og programmering ikke er kvinnesak, men de ønsker å gå inn i realfag?
— Når vi snakker om jenter som vilgå inn på programmering og tekniske spesialiteter, da snakker vi mest sannsynlig om tenåringer. Dette er fortsatt en veldig ung person som kan påvirkes. Det er selvsagt ikke særlig sunt at jenter skal høre på slikt tull med stereotypier. Hvis en person har evnen, så vil jeg råde til å ikke høre på andre, men å gå inn i matematikk og programmering.
Men noen ganger er det en situasjon når deter kanskje ikke din, og dette gjelder ikke bare tekniske vitenskaper. For eksempel vil en person gå på kunstskole, men han tegner ikke så godt. Det vil være vanskelig for ham å studere, selv om han kanskje vil ta igjen det. Men noen ganger er det mer ærlig å si at det ikke er din greie, og kanskje det er bedre å ikke lide og gjøre noe annet. På en eller annen måte er det verdt å vurdere disse setningene tilstrekkelig, de misbruker ofte "mystikkens aura" av tekniske vitenskaper. Så ikke bry deg om alle og gå erobre.