Larisa Safina— viši predavač na Sveučilištu Innopolis, trenutno na doktoratu na Sveučilištu South
Studira programske jezike kao što su Haskell, Kotlin i drugi.
Haskelisti, funkcionalno programiranje i popularni jezici
- Što ste točno radili u magistraturi u softveru na Sveučilištu Innopolis?
- Bio je to program kupljen na sveučilištu.Carnegie Mellon. S vremenom je dobro formirana, uključuje tečajeve o analizi softvera, arhitekturi i metodama. Najvažniji i najzanimljiviji dio počinje s drugim semestrom - studenti se dijele na timove i rade na stvarnim projektima. Naposljetku, našu učinkovitost ocijenili smo kako smo se nosili s ovim projektom.
— Što je bio vaš projekt?
— Radili smo za Rusnano, a naš projekt je biodaljinsko upravljanje rasvjetom u nekim gradovima - paljenje rasvjete prema rasporedu. Imali su staro rješenje, ali su htjeli prijeći na novo.
Na ovom projektu svi su učinili sve, bilo je važnosvi su pokušali neku ulogu. Naravno, neki ljudi imaju sklonost prema jednom, drugi imaju drugi. No, u našem projektu, svi smo uspjeli pišati kod, riješiti zahtjeve, testirati, pa čak i arhitekturu. To je glavni cilj takvih projekata.
- Postalo je zanimljivo za koje jezike radite.
— Tijekom studija i rada morao samrad s više jezika. Trenutno, na primjer, pišem u Kotlinu. On mi se najviše sviđa. Ali mi smo projekt s Rusnanom napisali uglavnom u C#. Često se moram baviti Javom, budući da sam tester, pisao sam testove u Pythonu, Javi, C#. Za vlastito zadovoljstvo često proučavam funkcionalne programske jezike, na primjer, Haskell, i formalne jezike, na primjer, za dokazivanje teorema - Coq.
Funkcionalno programiranjeje programska paradigma u kojoj procesizračuni se tumače kao izračunavanje vrijednosti funkcija u matematičkom smislu potonjih (za razliku od funkcija kao potprograma u proceduralnom programiranju).
Haskell- standardizirani čisti funkcionalni jezikprogramiranje opće namjene. To je jedan od najčešćih programskih jezika s podrškom za lijeno računalstvo. Budući da je jezik funkcionalan, glavna kontrolna struktura je funkcija.
Coq- interaktivni programski alatDokaz teorema korištenjem vlastitog funkcionalnog programskog jezika (Gallina) s ovisnim tipovima. Omogućuje vam da zapišete matematičke teoreme i njihove dokaze, prikladno ih modificirate i provjerite njihovu točnost. Coq se koristi za provjeru programa.
Formalni jezik— u matematičkoj logici i informatici —skup konačnih riječi (stringova, lanaca) nad konačnom abecedom. Koncept jezika najčešće se koristi u teoriji automata, teoriji izračunljivosti i teoriji algoritama. Znanstvena teorija koja se bavi ovim objektom naziva se teorija formalnih jezika.
— Sve ovo zvuči sjajno, ali ti se jezici trenutno ne koriste u pravim projektima; Haskell se, na primjer, rijetko koristi, iako se ne mogu sjetiti niti jednog projekta koji bi ga koristio.
- Vjerojatno se ne slažem s tobom.Na primjer, Haskell se koristi u proizvodnji. Da, ne često, ali ne zato što je to loš jezik, nego zato što je prilično teško okupiti tim Haskellista. Međutim, znam ljude koji rade s Haskellom u proizvodnji. Radim to samo iz vlastitog zadovoljstva. Nisam vidio druge funkcionalne jezike u proizvodnji, ali dobro je razumjeti ih za opći razvoj. Što se tiče jezika za dokazivanje teorema, u akademskoj zajednici, ako se bavite ovom temom, oni se često koriste.
- Ali oni se koriste posebno za matematikumodeliranje i dokazivanje teorema – u znanstvene svrhe, drugim riječima. Ako pogledate slobodna radna mjesta, Haskellists praktički nigdje nisu potrebni; svi žele C+, Java, Python, Ruby, Go ili čak idu na front end, odnosno - JavaScript. Ali susret s Haskellistima uistinu je nevjerojatna priča.
— Recimo samo da pomažu u formalizacijineke stvari koje se mogu vidjeti u stvarnosti. Od jezika za dokazivanje teorema do Haskella, u principu, nije daleko, a od Haskella do industrije također je bacanje kamena. Odnosno, nije sve tako loše i beskorisno.
Vjerojatno sve to ima veze s okolinom u kojoj se nalazim. I to mi se ne čini baš neobično.
Danska, doktorandi i mikroservisi
— Zašto onda takvi jezici nisu popularni u ostatku svijeta? A zašto su vam zanimljivi?
- Uglavnom, jer nema prijeke potrebeupotrijebi ih. Ako se problem može riješiti na jednostavniji način, ako nije super kritičan, i ako nije nekakav Boeingov sustav, a može se proći i s manjim naoružanjem, onda se biraju drugi jezici. Zašto mi se sviđaju? ne znam Volite li nešto - cvijeće, knjige, mačke? Zašto voliš mačke?
- Sve pečate. Sviđa mi se što ste dobili u Danskoj doktorat. Kako ste došli nakon Innopolisa?
- Kad sam studirao u magistratu, osim glavnogtečajeve koje smo morali uzeti elektivy. A jedan od izbornih predmeta koji sam vodio odnosio se na temu mikroservisa, točnije s mikroservisnim programskim jezikom - Jolie. Njegov autor trenutno radi u Danskoj. Moj zadatak je bio da napravim promjene - da poboljšam, da implementiram jednog od mogućih operatera.
incut
Kad sam se zaposlio na Sveučilištu Innopolis već sam bioposao, šef je pitao što želim raditi, moj je odgovor bio da doktoriram. U to se vrijeme ukazala prilika da postanete kandidat za akademsku diplomu tog profesora iz Danske - izumitelja jezika Jolie. Stoga smo organizirali zajednički doktorat između Sveučilišta Innopolis i danskog sveučilišta, University of Southern Denmark.
- Što točno istražujete u Danskoj?
- U Danskoj radimo na jednom projektu, onmalo povezana s mikroservisima i, u principu, s interakcijom elemenata unutar distribuiranih sustava. Moji znanstveni čelnici predložili su formalizaciju - globalnu specifikaciju za mikroservis. Pokazali su da možete prikazati specifikaciju za svaku stavku.
Možemo ga koristiti ako ga imamoneka vrsta sustava međudjelovanja elemenata. Ako možemo izvesti opću specifikaciju ponašanja svih elemenata bez orkestratora - bez nekog čvora koji kontrolira sve ostale - tada iz toga možemo izvesti specifikaciju za svaki čvor, i obrnuto. Na taj način se štitimo od grešaka, jer kada bi radili specifikaciju za svaki čvor posebno, mogli bismo kasnije naići na probleme u njihovoj interakciji.
Sveučilište južne Danske. Foto: ricochet64/Shutterstock
Zamislite scenarij:želite poslati novac jednoj banci, koja ga mora prebaciti u drugu. I napisali ste specifikaciju za jednu banku da ih prebacuje drugoj banci, a u drugoj ste zaboravili reći da treba nešto dobiti. I stoga vaš prijenos nikada neće stići do primatelja. Nakon što imate globalni opis ovog sustava, specificirajući sve uloge i radnje koje svaki od sudionika mora poduzeti, možete izvesti specifikaciju ponašanja svakog od sudionika, te se tako zaštititi od takvog problema.
Moji nadređeni su to formalizirali,pisanjem dva teorijska jezika za opisivanje globalnog modela čvorova i ponašanja specifičnog čvora. Moj zadatak je implementirati i testirati, pokazati koliko je njihov predloženi model učinkovit u usporedbi s drugima.
Zašto stipendije za žene - to je šteta
— Kad sam napisala da želim s tobom razgovarati o IT-u i ženama, rekla si da neće biti lako razgovarati o tome, ali bila si spremna to izreći. Zašto imate takvo mišljenje?
— Mislim da je ovo dosta osjetljiva tema.I pitao sam se isplati li se pričati o ovome i raspirivati stršljenovo gnijezdo. Jer, doista, to je kao hodanje kroz minsko polje. Što god rekli, netko će se uvrijediti, a neki će pomisliti da govorite o nekakvoj divljoj herezi.
- Zašto to misliš?
— U principu, često vidim različite reakcije ljudi na ta pitanja. Često se raspravlja o takvim temama. I vidim različitost mišljenja.
— Kad ste otišli na Sveučilište u Kazanu studirati mušku specijalnost, nije li se to više smatralo muškom specijalnošću?
- Da, ne razumijem odakle je došlo mišljenje, da je to muški specijalitet. U VIC-u smo imali oko 50% djevojaka (na Kazanskom sveučilištu - "High-tech").
- A kad ste otišli, je li postojala razlika u stavu prema onome što radite u Danskoj i Rusiji?
- Nikad nisam doživio bitinekako omalovažavao na temelju spola. Ako mislite, je li mi netko ovdje u Danskoj rekao da sam muški specijalist, onda ne. Ali razlika je u tome što ovdje stvarno žele da bude više žena i u IT-u i u akademskoj zajednici. I ne samo da žele, oni poduzimaju neke mjere, a ponekad, s moje strane, čine i više nego što je potrebno i vrijedno toga.
- I koje su mjere poduzete?
- Pa, od onoga što je, na primjer, to suprogramiranje samo za žene. Jedan kolega je rekao da je to hereza, a to samo stvara segregaciju između muških i ženskih programera. Složio sam se s ovim pristupom, ali organizator je bio pomalo iznenađen. I nakon nekog vremena sam pitao kako su tečajevi išli. I ispostavilo se da je mnogo djevojaka došlo tamo, za mnoge djevojke postojala je razlika - ići samo u žensku tvrtku ili u mješovitu. Mnogi su željeli ići isključivo u ženke, razlika je bila vizualno opipljiva - nije bila nesreća. I shvatio sam da, ako ne vidim taj problem, biti u mojoj kuli od slonovače, nisam primijetio da bi se djevojke mogle posramiti ili još uvijek iz nekog razloga ne žele surađivati s mladima, to ne znači da nema problema.
incut
A što se tiče drugih stvari koje su drugačije uU Europi i Rusiji, u smislu marljivog privlačenja žena, postoji takva stvar kao što je kvota. Mjesta, na primjer stipendije, mogu biti rezervirana posebno za žene. A to, s moje točke gledišta, stvara ne baš dobar trend, jer često žene koje dobiju ta mjesta ne znaju uvijek jesu li ih dobile jer su same cool, učinile nešto jako cool ili su ih dobile jer je netko odlučio da na ovom području nema dovoljno žena. Ovo je druga strana medalje. Postoji pozitivan učinak - dobili ste bespovratna sredstva i negativan učinak - razlog zašto ste je dobili.
— Biste li voljeli jednog dana dobiti stipendiju jer ste žena?
"Općenito, mislim da je prilično uvredljivo." (Smijeh)
— Je li sramota dobiti stipendiju zato što ste žena, a ne zato što ste cool stručnjak?
- Da, jer to sugerira da se nije ocjenjivao moj rad, nego moj spol.
— Mislite li da je ikada, u Rusiji ili Danskoj, vaš rad bio ocjenjivan upravo zato što ste žena ili se procjena vašeg rada od strane ljudi oko vas promijenila zato što ste žena?
- Znaš, ja se nekako, koliko se sjećam, nije morao nositi s tim. Možda sam naivan i jednostavno ne znam da se to događa, ali nitko mi nije rekao: "Ovo je dobro za djevojku."
Pozitivna diskriminacija, dekret za muškarce i stereotipi koji ne ubijaju
— Kako su vaši roditelji reagirali na vaš izbor zanimanja — pozitivno? Ili su oni imali drugačiji pogled na ono što biste trebali raditi?
— Zapravo, kad sam bio u školi, poslijeNakon diplome želio sam studirati jezike, ali su mi roditelji predložili da odaberem matematiku i programiranje, jer su i oni sami jezike doživljavali kao alat koji se kasnije može naučiti, a matematiku i programiranje kao nešto temeljnije. Smiješno je koliko znanstvenika matematiku tretira kao alat.
I da budem iskren, uvijek sam se pitao zaštoPostoji neka vrsta nezdrave aure složenosti u tehničkim specijalnostima. Mislim da je to nepošteno i samo plaši djevojke. Na primjer, nikada nisam čuo da se djevojkama koje žele studirati lingvistiku kaže: "Oh, postoji povijesna gramatika, tako je teška!" Ili je djevojkama koje su htjele postati arhitektice rečeno: "Oh, tamo ćeš također morati puno raditi na čvrstoći materijala." Sada mogu zbuniti, radije, djevojke inženjerke, ili poput anatomije za liječnike. Ali iz nekog razloga to imaju upravo tehničke znanosti.
- Ja sam iz Sankt Peterburga i vrlo često čujem: za koga sam studirao, za koga sam radio ili za ono što me je zanimalo nije za ženu. I moji prijatelji su rekli istu stvar ako su odjednom zainteresirani za matematiku, programiranje ili znanost.
— Čini mi se da, naprotiv, u našim krajevimapatrijarhalniji od vašeg, pa sam naravno iznenađen. Mislim da to ima veze sa specifičnom okolinom. Možda u mladosti... ne, ne mogu reći da sam imao sreće; na fakultetu su me tretirali kako treba. Ali, na primjer, vožnja. Nikada nisam dobila toliko rodno uvjetovanih uvreda kao tijekom vožnje. Unatoč tome što to nema apsolutno nikakve osnove. Stoga znam da postoje neuništivi stereotipi, a mnoge žene se s njima suočavaju. Zašto ih nisam sreo u smislu posla? Vjerojatno zato što sam bio okružen ljudima koji nisu iz okruženja za koje bi to bilo normalno.
— Kakvo je mišljenje vaših danskih kolega? Ispada da ako su uključeni u inicijative – primjerice, tečajeve za žene, onda vide taj problem.
- Da definitivno.Ponekad razgovaramo o takvim temama, kao na tečajevima. Ili, na primjer, mislim da nije sasvim pošteno da žena često gubi određeno vrijeme dok je na dopustu za čuvanje djeteta. Grubo rečeno, gubi godinu staža. U Danskoj postoji rješenje da muškarac može dobiti istih šest mjeseci rodiljnog dopusta koji može dobiti žena ako želi. Ako ih on ne uzme, onda ih žena ne može uzeti. I jednostavno izgore.
— Ima samo godinu dana porodiljnog dopusta, od čegaJe li odgovornost muškarca da provede šest mjeseci, a žene šest mjeseci? A ako ih muškarac ne želi potrošiti, onda, u skladu s tim, žena sjedi na porodiljskom dopustu šest mjeseci, a zatim se vraća na posao, jesam li dobro razumio?
- Koliko se sjećam, da. Stvar je u tome da muškarac nije prisiljen otići na dopust za dijete, ali ovo vrijeme ne može koristiti žena. To znači da sprječava takve situacije da će samo žena biti na rodiljnom dopustu. Ovdje ili ti trošiš te iste pola godine, ili ne. Mislim da je ovo vrlo dobra ideja.
incut
— A ti ljudi koji su imali ideju za stvaranje ženskih tečajeva, s njima ste razgovarali o pozitivnoj diskriminaciji. Jesam li dobro shvatio da su to muškarci?
— Moj kolega, organizator ovih tečajeva zažene, nisu tamo predavale, jer da bi se stvorilo ugodno okruženje na ovim tečajevima nije trebalo biti muških nastavnika. Općenito, da, to su muškarci, naravno.
— Ako su u Rusiji ljudi koji su zabrinuti zbog diskriminacije žena žene, onda konkretno u vašem primjeru na sveučilištu u Danskoj nisu zabrinute samo žene, nego čak i muškarci.
- Dobro, ne ranije, ali također. I mislim da je to sasvim normalno.
- Za Rusiju je to apsolutno nenormalno, jer smo u tom pogledu razvili neki čudan stav.
— Znate, problem s rodnom temom je u tomeZnamo neke posebne slučajeve, a nemamo opću sliku. Imam osjećaj da u Rusiji nije sve tako briljantno po tom pitanju. Iako kolega koji organizira tečajeve za žene smatra da je u Rusiji i u zemljama bivšeg SSSR-a to puno bolje. Jer većina programerica koje poznaje dolazi iz bivšeg Sovjetskog Saveza. Jer ovdje se smatra normalnim, po njegovom mišljenju, otići na studij za programera, ali ovdje se moraju potruditi privući djevojke.
— Možda je problem u tome što programerke iz zemalja ZND-a bježe iz zemalja ZND-a?
- Pa, ipak, postoje.I ne bježe samo žene. Što se tiče ekstrema ovog mladića, to sam zaboravio spomenuti. Rekao sam da mislim da nije pošteno da žena izgubi godinu iskustva i onda mora raditi istu razinu posla jer se treba nastaviti natjecati u struci. Pritom sam doktorat izabrao za sebe, a ne za obitelj. Na što mi je kolega odgovorio: “Bar imaš izbora.” Odnosno, možete birati posao ako želite ili možete birati obitelj ako želite. Ali često ovaj izbor nije dostupan. Pretpostavlja se da je glavni cilj žene osnovati obitelj, roditi djecu, prehraniti je itd.
- Nemate osjećaj da su takvi tečajevi "olovke za žene"?
“Da budem iskren, još uvijek tako malo razmišljam.”Točnije, ako nekome ide, onda je to super i dobro. Ali ni ja se ne bih osjećao baš ugodno. Ne mislim da je ovo super cool ideja, to je ipak neka vrsta izolacije.
- Dobro razumijem:Budući da ste izvorno bili u znanstvenom okruženju, ne primjećujete li probleme u stavovima među znanstvenicima? Jer sama intelektualna i kulturna sredina pretpostavlja da nije glavno tko je tko, nego što je učinio.
— Možda ovo okruženje zahtijeva da držite jezik za zubimaDrži jezik za zubima i ne govori ružne stvari drugim ljudima. Možda je ona stvarno inteligentna. Teško je reći. Ali da, kad kažem da sam u svojoj kuli od bjelokosti, mislim na to da sam pomalo odvojen od svakodnevne stvarnosti.
"Pljuni na sve i idi osvajaj"
— Želiš li u budućnosti nastaviti studirati i baviti se istraživanjem?
"To je kao plan A." To jest, nije činjenica da ću uvijek moći dobiti poziciju koja me zanima u akademiji, ali kao plan “B” to je vratiti se u industriju.
- Primjećujete li razliku u kvaliteti obrazovanja između Sveučilišta Innopolis i Sveučilišta u Danskoj? Ne radi se o tome tko je zastario, već u razlici u pristupu obrazovanju.
- U Danskoj nisam upoznat sa sustavomnastava. Kurs koji sam predavao u Danskoj bio je prilično neobičan za ruska sveučilišta, mislim, ali reći da bi trebao biti svugdje, ili, naprotiv, da ne bi trebao biti nigdje, ne mogu.
incut
Ako kratko govorite o ovom tečaju, onpod nazivom “Projekt prve godine studija” u kojem mentori daju zanimljive zadatke. Učenici u skupinama mogu odabrati koji od njih žele raditi. Mentor pomaže u pronalaženju pravog smjera u rješavanju problema. Cilj kolegija je naučiti studente prve godine studija, riješiti probleme, raditi zajedno u timu i napraviti dobru prezentaciju. Na sveučilištu Innopolis postoji nešto slično drugoj godini, ali ja je nisam podučavao. U KSU-u je postojala klasična škola, ali je bilo moguće izabrati veselu mladež.
— Što reći djevojkama koje su u drugačijoj situaciji, kojima se govori da matematika i programiranje nisu ženski posao, a žele se baviti znanošću?
— Kad govorimo o djevojkama koje želeići u programiranje i tehničke specijalnosti, onda najvjerojatnije govorimo o tinejdžerima. Ovo je još vrlo mlada osoba na koju se može utjecati. Nije, naravno, baš zdravo da djevojke moraju slušati takve gluposti sa stereotipima. Ako osoba ima sposobnost, onda bih savjetovao da ne sluša druge, već da ide u matematiku i programiranje.
Ali ponekad postoji situacija kada jestvarno možda i nije vaš, a to se ne odnosi samo na tehničke znanosti. Na primjer, osoba želi ići u umjetničku školu, ali ne crta dobro. Bit će mu teško učiti, iako će ga možda nadoknaditi. Ali ponekad je poštenije reći da to nije tvoja stvar, i možda je bolje ne patiti i raditi nešto drugo. Na ovaj ili onaj način, vrijedno je adekvatno ocijeniti ove fraze; one često zlorabe "auru misterija" tehničkih znanosti. Zato pljunite po svima i krenite u osvajanje.