Larisa Safina— vanhempi lehtori Innopolis-yliopistossa, tällä hetkellä tohtorintutkinto Etelä-yliopistossa
Opiskeluohjelmat, kuten Haskell, Kotlin ja muut.
Haskelistit, toiminnallinen ohjelmointi ja suosittuja kieliä
- Mitä tarkalleen teit Innopolis-yliopiston ohjelmistossa?
- Se oli ohjelma, joka ostettiin yliopistolta.Carnegie Mellon. Se on muodostunut hyvin ajan myötä, se sisältää ohjelmistojen analysointia, arkkitehtuuria ja menetelmiä koskevia kursseja. Tärkein ja mielenkiintoisin osa alkaa toisella lukukaudella - opiskelijat jaetaan ryhmiin ja työskentelevät todellisissa projekteissa. Lopuksi meidän tehokkuuttamme arvioitiin, miten olemme selviytyneet tästä hankkeesta.
– Mikä oli projektisi?
– Työskentelimme Rusnanolle, ja projektimme olivalaistuksen kauko-ohjaus joissakin kaupungeissa - valaistuksen kytkeminen päälle aikataulun mukaan. Heillä oli vanha ratkaisu, mutta he halusivat vaihtaa uuteen.
Tässä hankkeessa kaikki tekivät kaiken, oli tärkeääkaikki yrittivät roolia. Joillakin ihmisillä on tietysti taipumus toisiinsa, toisilla on toinen. Mutta projektissamme me kaikki onnistuimme pissaamaan koodin, laatimaan vaatimukset, testaamaan ja jopa arkkitehtuuria. Tämä on tällaisten hankkeiden päätavoite.
- Tuli mielenkiintoiseksi, mitä kieliä työskentelet.
– Opintojeni ja työni aikana minun oli pakkotyöskennellä useiden kielten kanssa. Tällä hetkellä esimerkiksi kirjoitan Kotlinissa. Pidän hänestä eniten. Mutta kirjoitimme projektin Rusnanon kanssa pääasiassa C#:lla. Aika usein joudun käsittelemään Javaa, testaajana kirjoitin testejä Pythonilla, Javalla, C#:lla. Omaksi ilokseni opiskelen usein funktionaalisia ohjelmointikieliä, esimerkiksi Haskell, ja muodollisia kieliä esimerkiksi lauseiden todistamiseen - Coq.
Toiminnallinen ohjelmointion ohjelmointiparadigma, jossa prosessilaskelmat tulkitaan funktioiden arvojen laskemiseksi viimeksi mainitun matemaattisessa merkityksessä (toisin kuin funktiot alirutiineina proseduuriohjelmoinnissa).
Haskell- standardoitu puhdas toiminnallinen kieliyleiskäyttöinen ohjelmointi. Se on yksi yleisimmistä ohjelmointikielistä, joka tukee laiskaa tietojenkäsittelyä. Koska kieli on toiminnallinen, pääohjausrakenne on funktio.
Coq- interaktiivinen ohjelmistotyökaluLauseentodistukset käyttämällä omaa toiminnallista ohjelmointikieltämme (Gallina) riippuvaisilla tyypeillä. Voit kirjoittaa muistiin matemaattisia lauseita ja niiden todisteita, muokata niitä kätevästi ja tarkistaa niiden oikeellisuuden. Coqia käytetään ohjelman varmentamiseen.
Muodollinen kieli— matemaattisessa logiikassa ja tietojenkäsittelytieteessä —joukko äärellisiä sanoja (merkkijonoja, ketjuja) rajallisen aakkoston yli. Kielen käsitettä käytetään useimmiten automaatioteoriassa, laskettavuusteoriassa ja algoritmiteoriassa. Tätä objektia käsittelevää tieteellistä teoriaa kutsutaan muodollisten kielten teoriaksi.
– Tämä kaikki kuulostaa hienolta, mutta näitä kieliä ei tällä hetkellä käytetä oikeissa projekteissa, esimerkiksi Haskellia käytetään harvoin, vaikka en muista yhtäkään projektia sitä käyttäneen.
- En luultavasti ole kanssasi samaa mieltä.Tuotannossa käytetään esimerkiksi Haskellia. Kyllä, ei usein, mutta ei siksi, että se olisi huono kieli, vaan koska on melko vaikeaa koota Haskellistit. Tiedän kuitenkin ihmisiä, jotka työskentelevät Haskellin kanssa tuotannossa. Teen sitä vain omaksi ilokseni. Muita toiminnallisia kieliä en ole tuotannossa nähnyt, mutta niitä on hyvä ymmärtää yleistä kehitystä varten. Mitä tulee lauseiden todistamiseen tarkoitettuihin kieliin, akateemisessa maailmassa, jos olet tässä tietyssä aiheessa, niitä käytetään melko usein.
- Mutta niitä käytetään erityisesti matematiikkaanlauseiden mallintaminen ja todistaminen - tieteellisiin tarkoituksiin, toisin sanoen. Jos katsot avoimia työpaikkoja, Haskellisteja ei käytännössä tarvita missään; kaikki haluavat C+:n, Javan, Pythonin, Rubyn, Go:n tai jopa menevät vastaavasti käyttöliittymään - JavaScript. Mutta Haskellistien tapaaminen on todella hämmästyttävä tarina.
– Sanotaan vaikka, että ne auttavat virallistamisessajoitain asioita, jotka voidaan nähdä todellisuudessa. Lauseen todistavista kielistä Haskelliin ei periaatteessa ole kaukana, ja Haskellista teollisuuteen se on myös kivenheiton päässä. Eli kaikki ei ole niin huonoa ja hyödytöntä.
Luultavasti tämä kaikki liittyy ympäristöön, jossa olen. Eikä tämä minusta kovin epätavallista vaikuta.
Tanska, PhD ja mikropalvelut
– Miksi tällaiset kielet eivät sitten ole suosittuja muualla maailmassa? Ja miksi ne kiinnostavat sinua?
- Periaatteessa, koska ei ole kiireellistä tarvettaKäytä niitä. Jos ongelma on mahdollista ratkaista yksinkertaisemmalla tavalla, jos se ei ole superkriittinen, ja jos se ei ole jonkinlainen Boeing-järjestelmä, ja voit pärjätä pienemmillä aseilla, valitaan muut kielet. Miksi pidän niistä? En tiedä. Pidätkö jostakin - kukista, kirjoista, kissoista? Miksi pidät kissoista?
- Tiivistää kaikki. Pidän siitä, mitä saat Tanskassa. Miten päädyit Innopolisin jälkeen?
- Kun opiskelin maisteriopiskelijaa lukuun ottamatta tärkeintäkursseja, joissa meidän oli otettava elektivy. Ja yksi valittavista, jotka otin, liittyi mikropalvelun teemaan tai tarkemmin mikroservice-ohjelmointikielellä - Jolie. Sen tekijä työskentelee tällä hetkellä Tanskassa. Tehtäväni oli tehdä siihen muutoksia - tarkentaa, toteuttaa yksi mahdollisista toimijoista.
incut
Kun sain töitä Innopolis-yliopistosta, olin jotyö, pomo kysyi mitä haluan tehdä, vastaukseni oli tohtorin tutkinto. Tuolloin tuo tanskalainen professori, Jolie-kielen keksijä, avautui tilaisuus tulla akateemisen tutkinnon ehdokkaaksi. Niinpä järjestimme yhteisen tohtorintutkinnon Innopolis-yliopiston ja tanskalaisen yliopiston, Etelä-Tanskan yliopiston, kesken.
- Mitä sinä tutkit Tanskassa?
- Tanskassa työskentelemme yhdessä hankkeessa, hänliittyy hieman mikro-palveluihin ja periaatteessa hajautettujen järjestelmien elementtien vuorovaikutukseen. Tieteelliset johtajat ehdottivat virallistamista - globaalia spesifikaatiota mikropalveluista. Ne osoittivat, että voit näyttää kunkin kohteen erittelyn.
Voimme käyttää sitä, jos meillä on sejonkinlainen vuorovaikutteisten elementtien järjestelmä. Jos voimme johtaa yleisen määrittelyn kaikkien elementtien käyttäytymisestä ilman orkestraattoria - ilman jotain solmua, joka ohjaa kaikkia muita -, voimme sitten johtaa kunkin solmun määrittelyn siitä ja päinvastoin. Tällä tavoin suojaudumme virheiltä, koska jos määritämme jokaiselle solmulle erikseen, voisimme myöhemmin kohdata ongelmia niiden vuorovaikutuksessa.
Etelä-Tanskan yliopisto. Valokuva: ricochet64/Shutterstock
Kuvittele skenaario:haluat lähettää rahaa yhteen pankkiin, jonka on siirrettävä se toiseen pankkiin. Ja kirjoitit yhdelle pankille eritelmän, että se siirtää ne toiseen pankkiin, ja toisessa unohdit sanoa, että sen pitäisi saada jotain. Ja siksi siirtosi ei koskaan saavuta vastaanottajaa. Kun sinulla on yleiskuvaus tästä järjestelmästä, jossa määritellään kaikki roolit ja toimet, jotka kunkin osallistujan on suoritettava, voit johtaa kunkin osallistujan käyttäytymisen määrittelyn ja siten suojautua sellaiselta ongelmalta.
Esimieheni virallistivat tämän,kirjoittamalla kaksi teoreettista kieltä kuvaamaan solmujen globaalia mallia ja tietyn solmun käyttäytymistä. Tehtäväni on toteuttaa ja testata, näyttää kuinka tehokas heidän ehdottamansa malli on muihin verrattuna.
Miksi apurahat naisille - se on häpeää
— Kun kirjoitin, että haluan puhua sinulle IT-asioista ja naisista, sanoit, ettei siitä olisi kovin helppoa puhua, mutta olit valmis ilmaisemaan sen. Miksi sinulla on tämä mielipide?
– Tämä on mielestäni varsin herkkä aihe.Ja mietin, kannattaako tästä puhua ja herättää hornetin pesää. Koska todella, se on kuin kävelemään miinakentän läpi. Sanotpa mitä tahansa, joku loukkaantuu, ja jotkut ajattelevat, että puhut jonkinlaisesta villiä harhaoppia.
- Miksi luulet niin?
– Näen periaatteessa usein ihmisten erilaisia reaktioita näihin kysymyksiin. Tällaisista aiheista keskustellaan usein. Ja näen erilaisia mielipiteitä.
– Kun menit Kazanin yliopistoon opiskelemaan miesten erikoisalaa, eikö sitä pidetty enää miesten erikoisuutena?
- Kyllä, en ymmärrä, mistä mielipide tuli, että tämä on mies erikoisuus. Meillä oli noin 50% tytöistä VIC: ssä (Kazanin yliopistossa - "High-tech").
- Ja kun lähdit, oliko erilainen asenne suhteessa siihen, mitä teet Tanskassa ja Venäjällä?
– En ole koskaan kokenut olemistajotenkin vähätellä sukupuolen perusteella. Jos tarkoitat, onko kukaan täällä Tanskassa kertonut minulle, että olen miesasiantuntija, niin ei. Mutta ero on siinä, että täällä he todella haluavat, että naisia on enemmän sekä IT- että korkeakouluissa. Ja he eivät vain halua, he toteuttavat joitain toimenpiteitä, ja joskus minun näkökulmastani he tekevät jopa enemmän kuin on tarpeen ja sen arvoista.
- Mitä toimenpiteitä toteutetaan?
- No, esimerkiksi, nämä ovatvain naisille. Yksi kollega sanoi, että tämä on harhaoppi ja tämä vain luo erottelua miesten ja naisten ohjelmoijien välillä. Olen samaa mieltä tästä lähestymistavasta, mutta kurssin järjestäjä oli hieman yllättynyt. Hetken kuluttua kysyin, miten nämä kurssit menivät. Ja kävi ilmi, että monet tytöt tulivat sinne, sillä monilla tytöillä oli eroa - mennä vain naisyrityksessä tai sekavassa. Monet halusivat mennä pelkästään naispuoliseen, ero oli visuaalisesti havaittavissa - se ei ollut onnettomuus. Ja tajusin, että jos en näe tätä ongelmaa, koska olin norsunluu-tornissani, en huomannut, että tytöt saattavat olla hämmentyneitä tai jostain syystä eivät halua harjoittaa nuoria, tämä ei tarkoita, ettei ole mitään ongelmaa.
incut
Ja mitä tulee muihin asioihin, jotka ovat erilaisiaEuroopassa ja Venäjällä naisten ahkerassa houkuttelemisessa on olemassa sellainen asia kuin kiintiö. Paikkoja, esimerkiksi apurahoja, voidaan varata erityisesti naisille. Ja tämä minun näkökulmastani luo ei kovin hyvää trendiä, koska usein naiset, jotka saavat nämä paikat, eivät aina tiedä saivatko ne siksi, että he ovat itse siistejä, tekivät jotain erittäin siistiä vai saivat ne, koska joku päätti, että tällä alueella ei ollut tarpeeksi naisia. Tämä on kolikon toinen puoli. On positiivinen vaikutus - sait apurahan ja negatiivinen vaikutus - syy miksi sait sen.
— Haluaisitko saada apurahan joskus, koska olet nainen?
"Yleisesti ottaen se on mielestäni melko loukkaavaa." (nauraa)
— Onko sääli saada apuraha siksi, että olet nainen, etkä siksi, että olet siisti asiantuntija?
- Kyllä, koska tämä viittaa siihen, että ei arvioitu minun työtäni, vaan sukupuoltani.
— Luuletko, että työtäsi on koskaan Venäjällä tai Tanskassa arvioitu juuri siksi, että olet nainen, vai onko ympärilläsi olevien ihmisten arvio työstäsi muuttunut, koska olet nainen?
- Tiedäthän, että jotenkin, kuten muistan, ei tarvinnut käsitellä tätä. Ehkä olen naiivi ja en vain tiedä, että tämä tapahtui, mutta kukaan ei kertonut minulle: "Tämä on hyvä tyttö."
Positiivinen syrjintä, miesten asetus ja stereotyyppien tappaminen
– Miten vanhempasi suhtautuivat uravalintaasi – positiivisesti? Vai oliko heillä erilainen näkemys siitä, mitä sinun pitäisi tehdä?
– Itse asiassa, kun olin koulussa, sen jälkeenValmistuttuani halusin opiskella kieliä, mutta vanhempani ehdottivat, että valitsisin matematiikan ja ohjelmoinnin, koska he itse näkivät kielet työkaluna, joka voidaan oppia myöhemmin, ja matematiikkaa ja ohjelmointia jotain perustavanlaatuisempaa. On hassua, kuinka monet tiedemiehet pitävät matematiikkaa työkaluna.
Ja ollakseni rehellinen, olen aina ihmetellyt miksiTeknisissä erikoisaloissa on jonkinlainen epäterveellinen monimutkaisuuden aura. Mielestäni tämä on epärehellistä ja pelottaa tytöt pois. En ole esimerkiksi koskaan kuullut kielitiedettä opiskelemaan haluaville tytöille sanottavan: "Voi, siellä on historiallinen kielioppi, se on niin vaikeaa!" Tai arkkitehdiksi halukkaille tytöille kerrottiin: "Ai, siellä joutuu myös tekemään paljon materiaalilujuutta." Nyt voin hämmentää pikemminkin tyttöjen insinöörejä tai kuten anatomiaa lääkäreille. Mutta jostain syystä tämä on juuri teknisillä tieteillä.
- Olen Pietarista ja kuulin usein: Kuka olen opiskellut, kuka olen työskennellyt tai mitä olin kiinnostunut ei ole naiselle. Ja ystäväni sanoivat samaa asiaa, jos he olivat kiinnostuneita matematiikasta, ohjelmoinnista tai tiedosta.
– Minusta näyttää siltä, että alueellamme päinvastoinpatriarkaalisempi kuin sinun, joten olen tietysti yllättynyt. Luulen, että sillä on jotain tekemistä tietyn ympäristön kanssa. Ehkä nuoruudessani... ei, en voi sanoa, että olisin ollut jotenkin onnekas; yliopistossa minua kohdeltiin niin kuin pitää. Mutta esimerkiksi ajaminen. En ole koskaan saanut niin paljon sukupuoleen perustuvia loukkauksia kuin ajon aikana. Huolimatta siitä, että tällä ei ole mitään perusteita. Siksi tiedän, että on olemassa tappamattomia stereotypioita, ja monet naiset kohtaavat niitä. Miksi en tavannut heitä työn suhteen? Luultavasti siksi, että ympärilläni oli ihmisiä, jotka eivät ole peräisin ympäristöstä, joille tämä olisi normaalia.
— Mitä mieltä tanskalaiset kollegasi ovat? Osoittautuu, että jos he ovat mukana aloitteissa - esimerkiksi naisten kursseissa, he näkevät tämän ongelman.
- Kyllä ehdottomasti.Keskustelemme joskus tällaisista aiheista, kuten kursseilla. Tai esimerkiksi minusta ei ole aivan reilua, että nainen usein menettää tietyn ajan lapsen hoitovapaalla. Karkeasti sanottuna hän menettää vuoden kokemuksen. Tanskassa on ratkaisu, että mies voi saada saman kuuden kuukauden äitiysloman kuin nainen, jos haluaa. Jos hän ei ota niitä, nainen ei voi ottaa niitä. Ja ne vain palavat loppuun.
– Äitiyslomaa on vain vuosi, jostaOnko miehen vastuulla viettää kuusi kuukautta ja naisen kuusi kuukautta? Ja jos mies ei halua käyttää niitä, niin nainen istuu äitiyslomalla kuusi kuukautta ja palaa sitten töihin, ymmärsinkö oikein?
- Muistan, kyllä. Tarkoituksena on, että mies ei ole pakko mennä lomalle lapsen luo, mutta nainen ei voi käyttää tätä aikaa. Toisin sanoen se estää sellaisia tilanteita, joissa vain nainen on äitiyslomalla. Täällä joko vietätte nämä samat puolen vuoden vai eivät. Mielestäni tämä on erittäin hyvä idea.
incut
– Ja niiden ihmisten kanssa, joilla oli idea naisten kurssien perustamisesta, keskustelitte heidän kanssaan positiivisesta syrjinnästä. Ymmärsinkö oikein, että nämä ovat miehiä?
— Kollegani, näiden kurssien järjestäjänaiset, eivät opettaneet siellä, koska mukavan ympäristön luomiseksi näillä kursseilla ei olisi pitänyt olla miespuolisia opettajia. Yleensä kyllä, nämä ovat tietysti miehiä.
– Jos Venäjällä naisten syrjinnästä huolestuttavat ihmiset ovat naisia, niin nimenomaan esimerkissäsi Tanskan yliopistossa eivät ole vain naiset, vaan jopa miehet.
- Ei ennemmin, mutta myös. Ja se on mielestäni aika normaalia.
- Venäjälle tämä on aivan epänormaalia, koska meillä on tässä suhteessa outo asenne.
– Tiedätkö, sukupuoliaiheen ongelma on seTiedämme joitain erikoistapauksia, eikä meillä ole yleiskuvaa. Minulla on tunne, että Venäjällä kaikki ei ole niin loistavaa tässä suhteessa. Vaikka kollega, joka järjestää kursseja naisille, uskoo, että Venäjällä ja entisen Neuvostoliiton maissa tämä on paljon parempi. Koska suurin osa hänen tuntemistaan naisohjelmoijista on kotoisin entisestä Neuvostoliitosta. Koska täällä katsotaan hänen mielestään normaaliksi mennä opiskelemaan ohjelmoijaksi, mutta täällä heidän on ponnisteltava tyttöjen houkuttelemiseksi.
— Ehkä ongelma on se, että IVY-maiden naisohjelmoijat pakenevat IVY-maista?
- No, niitä on kuitenkin olemassa.Eivätkä vain naiset pakene. Mitä tulee tämän nuoren miehen äärimmäisyyteen, unohdin mainita sen. Sanoin, että mielestäni oli epäreilua, että nainen menettää vuoden kokemuksen ja joutuu sitten tekemään samantasoista työtä, koska hänen täytyi jatkaa kilpailua ammatissa. Samaan aikaan valitsin tohtorintutkinnon itselleni, en perheelle. Tähän kollegani vastasi: "Ainakin sinulla on valinnanvaraa." Eli voit valita työn, jos haluat, tai voit valita perheen, jos haluat. Mutta usein tämä valinta ei ole käytettävissä. Oletetaan, että naisen päätavoitteena on perustaa perhe, synnyttää lapsia, ruokkia jne.
- Sinulla ei ole tunne, että tällaiset kurssit ovat "naisten kynät"?
"Ollakseni rehellinen, ajattelen silti vähän."Tarkemmin sanottuna, jos se toimii jollekin, se on hienoa ja hyvää. Mutta itse en tunteisi oloni kovin mukavaksi. Minusta tämä ei ole superhieno idea, se on silti jonkinlaista eristäytymistä.
- Ymmärrän oikein:Koska olit alun perin tieteellisessä ympäristössä, etkö huomaa tutkijoiden keskuudessa asenneongelmia? Koska henkinen ja kulttuurinen ympäristö itsessään olettaa, että pääasia ei ole kuka ihminen on, vaan mitä hän teki.
"Ehkä kyse on siitä, että pidät suusi kiinni ja et sano ikäviä asioita muille ihmisille.Mutta kyllä, kun sanon olevani norsunluutornissani, tarkoitan, että olen jokseenkin irrallaanjokapäiväinen todellisuus.
"Spit kaikille ja mene valloittamaan"
— Haluatko jatkaa opintojasi ja tutkimustasi tulevaisuudessa?
"Se on kuin suunnitelma A." Toisin sanoen, ei ole tosiasia, että voin aina saada sellaisen kannan, joka kiinnostaa minua akatemiassa, mutta suunnitelmana ”B” on palata teollisuuteen.
- Huomaatteko erilaista koulutuksen laatua Innopolis-yliopiston ja Tanskan yliopiston välillä? Kyse ei ole siitä, kumpi on vanhentunut, vaan ero koulutuksen lähestymistavoissa.
- Tanskassa en ole niin perehtynyt järjestelmäänopetus. Tanskan opettama kurssi oli Venäjän yliopistoille varsin epätavallinen, kuten minusta tuntuu, vaan sanoa, että sen pitäisi olla kaikkialla, tai päinvastoin, että sen ei pitäisi olla missään, en voi.
incut
Jos puhut lyhyesti tästä kurssista, hännimeltään ”ensimmäisen opiskeluvuoden projekti”, jossa mentorit antavat mielenkiintoisia tehtäviä. Ryhmän opiskelijat voivat valita, mihin he haluavat työskennellä. Mentori auttaa löytämään oikean suunnan ongelman ratkaisemiseksi. Kurssin tavoitteena on opettaa ensimmäisen vuoden opiskelijoille opiskelua, ongelmien ratkaisua, työskennellä yhdessä tiimissä ja tehdä hyvä esitys. Innopolis-yliopistossa on jotain samanlaista kuin toinen vuosi, mutta en opettanut sitä. KSU: ssa oli enemmän klassista koulua, mutta oli mahdollista valita iloinen nuori.
Mitä voit sanoa tytöille, jotka ovat erilaisessa tilanteessa ja joille kerrotaan, että matematiikka ja ohjelmointi eivät ole naisten asia, mutta he haluavat?Mene tieteeseen?
"Kun puhumme tytöistä, jotka haluavat mennä ohjelmointiin ja teknisiin erikoisuuksiin, puhumme todennäköisesti teini-ikäisistä.Hän on vielä hyvin nuori ihminen, johon voi vaikuttaa.Ei todellakaan ole hienoa, että tytöt joutuvat kuuntelemaan tällaista hölynpölyä stereotypioiden kanssa.Jos henkilöllä on kyky, suosittelen olemaan kuuntelematta muita, vaan menemään matematiikkaan ja ohjelmointiin.
Mutta joskus on tilanne, jossa se ei todellakaan ole sinulle, ja tämä ei koske vain teknisiä tieteitä.Esimerkiksi henkilö haluaa päästä taidekouluun, mutta piirtääHänen on vaikea opiskella, vaikka hän voikinMutta joskus on rehellisempää sanoa, että se ei ole sinua varten, ja ehkä on parempi olla kärsimättä ja tehdä jotain muuta.Tavalla tai toisella on syytä arvioida näitä lauseita riittävästi, niitä käytetään usein liikaaTeknisten tieteiden "mysteerin halo".Siksi sylkeä kaikille ja mene valloittamaan.