Larisa Safina— Universitetslektor vid Innopolis University, doktorerar för närvarande vid University of South
Studier programmerar språk som Haskell, Kotlin och andra.
Haskelists, funktionell programmering och populära språk
- Vad gjorde du exakt i magistracy i programvara vid University Innopolis?
- Det var ett program som köptes från ett universitet.Carnegie Mellon. Det har blivit välformat över tid, det innehåller kurser om mjukvaruanalys, arkitektur och metoder. Den viktigaste och intressanta delen börjar med andra terminen - studenterna är indelade i lag och de arbetar med verkliga projekt. Slutligen utvärderades vår effektivitet genom hur vi hanterade detta projekt.
– Vad var ditt projekt?
— Vi arbetade för Rusnano, och vårt projekt var detfjärrkontroll av belysning i vissa städer - tända belysningen enligt ett schema. De hade en gammal lösning, men ville byta till en ny.
På det här projektet gjorde alla allt, det var viktigt attalla försökte spela roll. Självklart har vissa människor en tendens till en, andra har en annan. Men i vårt projekt lyckades vi alla kissa, utarbeta kraven, testa och till och med arkitekturen. Detta är huvudmålet för sådana projekt.
- Det blev intressant vilka språk du jobbar med.
— Under mina studier och arbete var jag tvungenarbeta med flera språk. För tillfället skriver jag till exempel i Kotlin. Jag gillar honom mest. Men vi skrev projektet med Rusnano främst i C#. Ganska ofta måste jag ta itu med Java, eftersom jag är testare skrev jag tester i Python, Java, C#. För mitt eget nöjes skull studerar jag ofta funktionella programmeringsspråk, till exempel Haskell, och formella språk, till exempel, för att bevisa teorem - Coq.
Funktionell programmeringär ett programmeringsparadigm där processenberäkningar tolkas som att beräkna värdena för funktioner i den senares matematiska mening (i motsats till funktioner som subrutiner i procedurprogrammering).
Haskell- standardiserat rent funktionsspråkallmän programmering. Det är ett av de vanligaste programmeringsspråken med stöd för lazy computing. Eftersom språket är funktionellt är den huvudsakliga kontrollstrukturen en funktion.
coq- interaktivt mjukvaruverktygSatsbevis med hjälp av vårt eget funktionella programmeringsspråk (Gallina) med beroende typer. Låter dig skriva ner matematiska satser och deras bevis, bekvämt ändra dem och kontrollera att de är korrekta. Coq används för programverifiering.
Formellt språk— i matematisk logik och datavetenskap —en uppsättning ändliga ord (strängar, kedjor) över ett ändligt alfabet. Begreppet språk används oftast inom automatteori, beräkningsbarhetsteori och algoritmteori. Den vetenskapliga teorin som behandlar detta objekt kallas teorin om formella språk.
— Allt det här låter bra, men dessa språk används för närvarande inte i riktiga projekt; Haskell, till exempel, används sällan, även om jag inte kan minnas ett enda projekt som använder det.
– Jag håller nog inte med dig.Till exempel används Haskell i produktionen. Ja, inte ofta, men inte för att det är ett dåligt språk, snarare för att det är ganska svårt att sätta ihop ett team av Haskellists. Däremot känner jag folk som arbetar med Haskell i produktionen. Jag gör det bara för mitt eget nöjes skull. Jag har inte sett andra funktionella språk i produktionen, men det är bra att förstå dem för allmän utveckling. När det gäller språk för att bevisa teorem, i akademin, om du är i det här ämnet, används de ganska ofta.
– Men de används specifikt för matematiskamodellera och bevisa teorem – för vetenskapliga ändamål, med andra ord. Om du tittar på lediga tjänster krävs praktiskt taget inte Haskellists någonstans; alla vill ha C+, Java, Python, Ruby, Go, eller till och med går till frontend, respektive - JavaScript. Men att träffa Haskellists är en verkligt fantastisk historia.
— Låt oss bara säga att de hjälper till att formaliseranågra saker som kan ses i verkligheten. Från satsbevisande språk till Haskell är det i princip inte långt, och från Haskell till industri är det också ett stenkast. Det vill säga, allt är inte så dåligt och värdelöst.
Det här har nog allt att göra med miljön där jag är. Och detta verkar inte särskilt ovanligt för mig.
Danmark, doktorand och mikrotjänster
— Varför är sådana språk då inte populära i resten av världen? Och varför är de intressanta för dig?
– I grund och botten för att det inte finns något akut behovAnvänd dem. Om det är möjligt att lösa ett problem på ett enklare sätt, om det inte är superkritiskt, och om det inte är något slags Boeing-system, och du kan klara dig med mindre vapen, så väljs andra språk. Varför gillar jag dem? Vet inte. Gillar du något - blommor, böcker, katter? Varför gillar du katter?
- Förseglar alla som. Jag gillar vad du får i Danmark PhD. Hur kom du efter Innopolis?
- När jag studerade i en magistracy, utom huvudpersonenkurser vi var tvungna att ta elektivy. Och ett av de valmöjligheter som jag tog var relaterat till temat för microservices, eller mer exakt med microservice-programmeringsspråket - Jolie. Författaren arbetar för närvarande i Danmark. Min uppgift var att göra ändringar i det - för att förfina, att genomföra en av de möjliga operatörerna.
incut
När jag fick jobb på Innopolis University var jag redanjobb frågade chefen vad jag ville göra, mitt svar var att ta doktorsexamen. Vid den här tiden dök möjligheten upp att bli kandidat för en akademisk examen från den där professorn från Danmark, uppfinnaren av Jolie-språket. Därför organiserade vi en gemensam doktorsexamen mellan Innopolis University och ett danskt universitet, Syddanmarks Universitet.
- Vad exakt forskar du i Danmark?
- I Danmark arbetar vi med ett projekt, hannågot associerad med mikrotjänster och i princip med interaktionen mellan element inom distribuerade system. Mina vetenskapliga ledare föreslog formalisering - en global specifikation för microservices. De visade att du kan visa en specifikation för varje objekt.
Vi kan använda det om vi har detnågot slags system av interagerande element. Om vi kan härleda en generell specifikation av beteendet hos alla element utan en orkestrator - utan någon nod som styr alla andra - så kan vi härleda en specifikation för varje nod från den, och vice versa. På så sätt skyddar vi oss mot fel, för om vi gjorde en specifikation för varje nod för sig skulle vi senare kunna stöta på problem med deras interaktion.
Syddansk Universitet. Foto: ricochet64/Shutterstock
Föreställ dig scenariot:du vill skicka pengar till en bank, som måste överföra dem till en annan. Och du skrev en specifikation för en bank att den överför dem till den andra banken, och i den andra glömde du att säga att den borde få något. Och därför kommer din överföring aldrig nå mottagaren. När du har en global beskrivning av detta system, som specificerar alla roller och åtgärder som var och en av deltagarna måste ta, kan du härleda en specifikation av beteendet hos var och en av deltagarna och på så sätt skydda dig från ett sådant problem.
Mina handledare formaliserade detta,genom att skriva två teoretiska språk för att beskriva den globala modellen av noder och beteendet hos en specifik nod. Min uppgift är att implementera och testa, för att visa hur effektiv deras föreslagna modell är jämfört med andra.
Varför bidrag till kvinnor - det är synd
— När jag skrev att jag ville prata med dig om IT och kvinnor sa du att det inte skulle vara så lätt att prata om det, men du var redo att uttrycka det. Varför har du denna åsikt?
– Jag tycker att det här är ett ganska känsligt ämne.Och jag undrade om det var värt att prata om detta och röra upp bålgetingens bo. För det är verkligen som att gå genom ett minfält. Oavsett vad du säger kommer någon att bli förolämpad, och en del kommer att tro att du pratar om någon sorts vild kätteri.
- Varför tror du det?
— I princip ser jag ofta olika reaktioner hos människor på de här frågorna. Sådana ämnen diskuteras ofta. Och jag ser en mångfald av åsikter.
— När du gick till Kazans universitet för att studera mäns specialitet, ansågs det inte längre vara en mäns specialitet?
- Ja, jag förstår inte var meningen kom ifrån, att det här är en manlig specialitet. Vi hade cirka 50% av tjejerna vid VIC (vid Kazan University - "High-tech").
- Och när du lämnade, var det en skillnad i attityd mot vad du gör i Danmark och i Ryssland?
– Jag har aldrig upplevt att varapå något sätt förringad utifrån kön. Om du menar, har någon här i Danmark sagt till mig att jag är en manlig specialist, så nej. Men skillnaden är att här vill man verkligen att det ska finnas fler kvinnor inom både IT och akademin. Och de vill inte bara, de vidtar vissa åtgärder, och ibland, ur min synvinkel, gör de ännu mer än vad som är nödvändigt och värt det.
- Och vilka åtgärder vidtas?
- Tja, från vad som till exempel är dessaprogrammering för kvinnor bara. En kollega sa att detta är en kätteri och det här skapar bara segregering mellan manliga och kvinnliga programmerare. Jag kom överens med detta tillvägagångssätt, men kursorganiseraren blev lite förvånad. Och efter ett tag frågade jag hur dessa kurser gick. Och det visade sig att många flickor kom dit, för många flickor var det en skillnad - att bara gå i ett kvinnligt företag eller i en blandad. Många ville gå rent i kvinnan, skillnaden var visuellt palpabel - det var inte en olycka. Och jag insåg att om jag inte såg det här problemet, var i mitt elfenbenstorn såg jag inte att tjejer kan vara generad eller fortfarande av någon anledning inte vill engagera sig med ungdomar, det betyder inte att det inte är något problem.
incut
Och vad gäller andra saker som är annorlunda iI Europa och Ryssland, när det gäller att flitigt attrahera kvinnor, finns det något sådant som en kvotering. Platser, till exempel bidrag, kan reserveras specifikt för kvinnor. Och detta, från min synvinkel, skapar en inte särskilt bra trend, för ofta vet kvinnor som får dessa platser inte alltid om de fick dem för att de själva är coola, gjorde något väldigt coolt, eller de fick dem, för att någon beslutade att det inte fanns tillräckligt med kvinnor i detta område. Det här är den andra sidan av myntet. Det finns en positiv effekt - du fick ett bidrag, och en negativ effekt - anledningen till att du fick det.
— Skulle du vilja få bidrag någon gång för att du är kvinna?
"I allmänhet tycker jag att det är ganska stötande." (Skrattar)
— Är det synd att få bidrag för att man är kvinna, och inte för att man är en cool specialist?
– Ja, för det här tyder på att det inte var mitt arbete som utvärderades, utan mitt kön.
— Tror du att ditt arbete någonsin, i Ryssland eller Danmark, har utvärderats just för att du är kvinna, eller har omgivningens bedömning av ditt arbete förändrats för att du är kvinna?
- Jag vet på något sätt, som jag minns, inte behövde hantera detta. Kanske är jag naiv och vet bara inte att detta hände, men ingen sa till mig: "Det här är bra för en tjej."
Positiv diskriminering, dekret för män och icke-dödande stereotyper
— Hur reagerade dina föräldrar på ditt yrkesval – positivt? Eller hade de en annan syn på vad du borde göra?
— Egentligen, när jag var i skolan, efterEfter examen ville jag studera språk, men mina föräldrar föreslog att jag skulle välja matematik och programmering, eftersom de själva såg språk som ett verktyg som kan läras senare, och matematik och programmering som något mer grundläggande. Det är lustigt hur många forskare behandlar matematik som ett verktyg.
Och för att vara ärlig så har jag alltid undrat varförDet finns någon form av ohälsosam aura av komplexitet i tekniska specialiteter. Jag tycker att detta är oärligt och bara skrämmer bort tjejerna. Jag har till exempel aldrig hört att flickor som vill studera lingvistik får höra: "Åh, det finns historisk grammatik, det är så svårt!" Eller så fick flickorna som ville bli arkitekt höra: "Åh, där måste du också göra mycket materialstyrka." Nu kan jag förvirra, snarare, tjejer ingenjörer, eller som anatomi för läkare. Men av någon anledning är det just de tekniska vetenskaperna som har detta.
- Jag är från St Petersburg och hörde ganska ofta: vem jag studerade för, vem jag arbetade för eller vad jag var intresserad av är inte för en kvinna. Och mina vänner sa samma sak om de plötsligt var intresserade av matematik, programmering eller vetenskap.
— Det förefaller mig som tvärtom i vår regionmer patriarkal än din, så jag är naturligtvis förvånad. Jag tror att det har med den specifika miljön att göra. Kanske i min ungdom... nej, jag kan inte säga att jag på något sätt hade tur, på universitetet blev jag behandlad som det skulle. Men till exempel bilkörning. Jag har aldrig fått så många könsbaserade förolämpningar som jag gjorde när jag körde bil. Trots att detta absolut saknar grund. Därför vet jag att det finns outdödliga stereotyper, och många kvinnor möter dem. Varför stötte jag inte på dem i arbetshänseende? Förmodligen för att jag var omgiven av människor som inte kom från omgivningen för vilka detta skulle vara normalt.
— Vad tycker dina danska kollegor? Det visar sig att om de är engagerade i initiativ – till exempel kurser för kvinnor, då ser de detta problem.
- Ja definitivt.Ibland diskuterar vi sådana ämnen, som med kurser. Eller, till exempel, jag tycker att det inte är helt rättvist att en kvinna ofta förlorar en viss tid under ledigheten för att ta hand om ett barn. Grovt sett tappar hon ett års erfarenhet. I Danmark finns en lösning att en man kan få samma sex månaders mammaledighet som en kvinna kan få om han vill. Om han inte tar dem, kan kvinnan inte ta dem. Och de bara brinner ut.
— Det är bara ett år av mammaledighet, varavÄr det mannens ansvar att spendera sex månader, och kvinnans sex månader? Och om en man inte vill spendera dem, då sitter kvinnan på mammaledighet i sex månader och sedan går hon tillbaka till jobbet, förstod jag rätt?
- Såvitt jag minns, ja. Poängen är att en man inte är tvungen att gå på semester för ett barn, men den här gången kan inte användas av en kvinna. Det förhindrar sådana situationer att bara en kvinna kommer att gå på mammaledighet. Här spenderar du antingen samma halvår, eller inte. Jag tycker att det här är en mycket bra idé.
incut
— Och de som hade idén att skapa kvinnokurser, ni diskuterade positiv särbehandling med dem. Förstår jag rätt att det här är män?
— Min kollega, arrangören av dessa kurser förkvinnor, undervisade inte där, för för att skapa en bekväm miljö i dessa kurser borde det inte ha funnits manliga lärare. I allmänhet, ja, det här är män, förstås.
— Om det i Ryssland är kvinnor som oroar sig för diskriminering av kvinnor, så är det i ditt exempel på universitetet i Danmark, inte bara kvinnor, utan även män bekymrade.
– Nja, inte förr, men också. Och det tror jag är ganska normalt.
- För Ryssland är detta absolut onormalt, för vi har utvecklat en underlig inställning i detta avseende.
— Du vet, problemet med genustemat är detVi känner till några speciella fall, och vi har ingen allmän bild. Jag har en känsla av att i Ryssland är allt inte så briljant i detta avseende. Även om en kollega som organiserar kurser för kvinnor tror att detta är mycket bättre i Ryssland och i länderna i före detta Sovjetunionen. För de flesta kvinnliga programmerare han känner kommer från forna Sovjetunionen. För här anses det normalt, enligt hans mening, att gå och studera för att bli programmerare, men här måste de anstränga sig för att locka tjejer.
— Kanske är problemet att kvinnliga programmerare från OSS-länderna flyr från OSS-länderna?
– Nåväl, de finns ändå.Och det är inte bara kvinnor som flyr. När det gäller den här unge mannens extremitet, glömde jag att nämna det. Jag sa att jag tyckte det var orättvist att en kvinna förlorar ett års erfarenhet och sedan måste göra samma nivå av arbete eftersom hon behövde fortsätta att tävla i yrket. Samtidigt valde jag en doktorsexamen för mig själv, inte en familj. Till vilket min kollega svarade: "Du har åtminstone ett val." Det vill säga att du kan välja jobb om du vill, eller så kan du välja familj om du vill. Men ofta är detta val inte tillgängligt. Det antas att en kvinnas huvudmål är att bilda familj, föda barn, mata henne etc.
- Du har inte en känsla av att sådana kurser är "pennor för kvinnor"?
"Om jag ska vara ärlig så tänker jag fortfarande lite på det."Mer exakt, om det fungerar för någon, så är det bra och bra. Men jag skulle inte känna mig särskilt bekväm. Jag tycker inte att det här är en superkul idé, det är fortfarande någon form av isolering.
- Jag förstår rätt:Eftersom du ursprungligen var i en vetenskaplig miljö, märker du inte attitydproblem bland forskare? Eftersom den intellektuella och kulturella miljön själv utgår från att huvudsaken inte är vem personen är, utan vad han gjorde.
— Den här miljön kanske kräver att du håller tunganhåll käften och säg inte elaka saker till andra människor. Kanske är hon verkligen intelligent. Svårt att säga. Men ja, när jag säger att jag är i mitt elfenbenstorn, menar jag att jag är något frånkopplad från den dagliga verkligheten.
"Spotta på alla och gå erövra"
— Vill du fortsätta studera och forska i framtiden?
"Det är som Plan A." Det är inte ett faktum att jag alltid kommer att kunna få en position som intresserar mig på akademin, men som en plan "B" är det att återvända till branschen.
- Uppmärksammar du skillnaden i utbildningens kvalitet mellan Universitetet Innopolis och Danmarks Universitet? Det handlar inte om vilken som är föråldrad, men i skillnaden i metoder till utbildning.
- I Danmark är jag inte så bekant med systemetundervisning. Kursen som jag lärde mig i Danmark var ganska ovanlig för ryska universitet, som det verkar för mig, men att säga att det borde vara överallt, eller tvärtom att det inte borde vara någonstans, det kan jag inte.
incut
Om du pratar kort om den här kursen, hankallad "Projektet för det första året av studier" där mentorerna ger intressanta uppgifter. Elever i grupper kan välja vilken av dem de vill arbeta på. Mentor hjälper till att hitta rätt riktning för att lösa problemet. Kursens syfte är att undervisa förstaårsstudenter att studera, lösa problem, samarbeta i ett lag och göra en bra presentation. På Innopolis University finns det något liknande det andra året, men jag lärde mig inte. Vid KSU fanns det en mer klassisk skola, men det var möjligt att välja glada ungdomsval.
— Vad kan du säga till tjejer som är i en annan situation, som får höra att matematik och programmering inte är kvinnors angelägenhet, utan de vill gå in i naturvetenskap?
— När vi pratar om tjejer som villgå in på programmering och tekniska specialiteter, då pratar vi med största sannolikhet om tonåringar. Det här är fortfarande en väldigt ung person som kan påverkas. Det är förstås inte särskilt sunt att tjejer ska behöva lyssna på sånt nonsens med stereotyper. Om en person har förmågan, så skulle jag råda dig att inte lyssna på andra, utan att gå in på matematik och programmering.
Men ibland finns det en situation när detverkligen kanske inte är din, och detta gäller inte bara tekniska vetenskaper. Till exempel vill en person gå på konstskola, men han ritar inte så bra. Det kommer att bli svårt för honom att studera, även om han kanske kommer ikapp. Men ibland är det ärligare att säga att det inte är din grej, och kanske är det bättre att inte lida och göra något annat. På ett eller annat sätt är det värt att utvärdera dessa fraser, de missbrukar ofta den tekniska vetenskapens "aura av mystik". Spotta därför på alla och gå erövra.