Лариса Сафина— виши предавач на Универзитету Иннополис, тренутно је докторирао на Универзитету Југ
Студира програмске језике као што су Хаскелл, Котлин и други.
Хаскелист, функционално програмирање и популарни језици
- Шта сте тачно радили у магистратури за софтвер на Универзитету Иннополис?
- То је био програм који је купљен на универзитетуЦарнегие Меллон. Током времена је добро формирана, обухвата курсеве о анализи софтвера, архитектури и методама. Најважнији и најзанимљивији дио почиње другим семестром - студенти су подијељени у тимове и раде на стварним пројектима. Коначно, наша ефикасност је процијењена како смо се носили с овим пројектом.
— Шта је био ваш пројекат?
— Радили смо за Руснано, а наш пројекат је биодаљинско управљање осветљењем у неким градовима – укључивање осветљења по распореду. Имали су старо решење, али су желели да пређу на ново.
На овом пројекту сви су урадили све, било је важносви су покушали неку улогу. Наравно, неки људи имају тенденцију ка једном, други имају други. Али у нашем пројекту, сви смо успели да пишемо код, да радимо са захтевима, тестирањем, па чак и архитектуром. То је главни циљ таквих пројеката.
- Постало је интересантно за које језике радите.
— Током студија и рада морао самрад са више језика. Тренутно, на пример, пишем у Котлину. Он ми се највише свиђа. Али ми смо пројекат са Руснаном писали углавном на Ц#. Често морам да се бавим Јавом, као тестер, писао сам тестове на Питхон-у, Јави, Ц#. За своје задовољство, често проучавам функционалне програмске језике, на пример, Хаскелл, и формалне језике, на пример, за доказивање теорема – Цок.
Функционално програмирањеје програмска парадигма у којој се процеспрорачуни се тумаче као израчунавање вредности функција у математичком смислу ове последње (за разлику од функција као потпрограма у процедуралном програмирању).
Хаскелл- стандардизовани чисти функционални језикпрограмирање опште намене. То је један од најчешћих програмских језика са подршком за лењо рачунање. Пошто је језик функционалан, главна контролна структура је функција.
Цок- интерактивни софтверски алатДоказ теорема коришћењем сопственог функционалног програмског језика (Галлина) са зависним типовима. Омогућава вам да запишете математичке теореме и њихове доказе, згодно их модификујете и проверите да ли су тачне. Цок се користи за верификацију програма.
Формални језик— у математичкој логици и информатици —скуп коначних речи (низова, ланаца) преко коначног алфабета. Концепт језика се најчешће користи у теорији аутомата, теорији израчунљивости и теорији алгоритама. Научна теорија која се бави овим објектом назива се теоријом формалних језика.
— Све ово звучи сјајно, али ови језици се тренутно не користе у стварним пројектима, на пример, ретко се користи, иако се не сећам ни једног пројекта који га користи.
- Вероватно се не слажем са тобом.На пример, Хаскелл се користи у производњи. Да, не често, али не зато што је то лош језик, већ зато што је прилично тешко саставити тим Хаскелиста. Међутим, знам људе који раде са Хаскелом у производњи. Радим то само за своје задовољство. Нисам видео друге функционалне језике у продукцији, али је добро разумети их за општи развој. Што се тиче језика за доказивање теорема, у академској заједници, ако сте у овој конкретној теми, они се користе прилично често.
- Али они се користе посебно за математикумоделовање и доказивање теорема – у научне сврхе, другим речима. Ако погледате слободна радна места, Хаскелисти практично нису потребни нигде, сви желе Ц+, Јава, Питхон, Руби, Го, или чак иду на фронт енд, респективно. Али сусрет са Хаскелистима је заиста невероватна прича.
— Рецимо само да помажу у формализацијинеке ствари које се могу видети у стварности. Од језика који доказују теореме до Хаскелл-а, у принципу, није далеко, а од Хаскелл-а до индустрије је такође на корак. Односно, није све тако лоше и бескорисно.
Ово вероватно све има везе са окружењем у коме се налазим. И ово ми не изгледа баш необично.
Данска, докторат и микросервиси
— Зашто онда такви језици нису популарни у остатку света? А зашто су вама интересантни?
- Углавном, зато што нема хитне потребекористити их. Ако је могуће решити проблем на једноставнији начин, ако није суперкритичан, и ако није некакав Боинг систем, а може се проћи и са мањим оружјем, онда се бирају други језици. Зашто ми се свиђају? Не знам. Волите ли нешто - цвеће, књиге, мачке? Зашто волиш мачке?
- Све печате. Свиђа ми се што сте добили у Данској докторат. Како сте дошли након Иннополиса?
- Када сам студирао у магистрату, осим главногтечајеве које смо морали узети елективије. И један од изборних предмета који сам водио односио се на тему микросервиса, точније са микросервисним програмским језиком - Јолие. Његов аутор тренутно ради у Данској. Мој задатак је био да направим измене - дораду, да имплементирам једног од могућих оператера.
Сидебар
Када сам добио посао на Универзитету Иннополис, већ сам биопосао, шеф је питао шта желим да радим, мој одговор је био да докторирам. У то време се указала прилика да постанем кандидат за академску диплому код тог професора из Данске, проналазача Џолијевог језика. Тако смо организовали заједнички докторат између Универзитета Иннополис и једног данског универзитета, Универзитета Јужне Данске.
- Шта тачно истражујете у Данској?
- У Данској радимо на једном пројекту, онблаго повезана са микросервисима и, у принципу, са интеракцијом елемената унутар дистрибуираних система. Моји научници су предложили формализацију - глобалну спецификацију за микросервис. Показали су да можете приказати спецификацију за сваку ставку.
Можемо га користити ако га имамонека врста система интеракцијских елемената. Ако можемо да изведемо општу спецификацију понашања свих елемената без оркестратора – без неког чвора који контролише све остале – онда из њега можемо да изведемо спецификацију за сваки чвор, и обрнуто. На овај начин се штитимо од грешака, јер ако бисмо направили спецификацију за сваки чвор посебно, касније бисмо могли наићи на проблеме у њиховој интеракцији.
Универзитет Јужне Данске. Фотографија:&нбсп;рицоцхет64/Схуттерстоцк
Замислите сценарио:желите да пошаљете новац једној банци, која га мора пребацити у другу. И написали сте спецификацију за једну банку да их преноси другој банци, а у другој сте заборавили да кажете да она нешто треба да добије. И стога ваш трансфер никада неће стићи до примаоца. Када добијете глобални опис овог система, наводећи све улоге и радње које сваки од учесника мора да предузме, можете извући спецификацију понашања сваког од учесника и тако се заштитити од таквог проблема.
Моји супервизори су ово формализовали,писањем два теоријска језика за описивање глобалног модела чворова и понашања одређеног чвора. Мој задатак је да имплементирам и тестирам, да покажем колико је њихов предложени модел ефикасан у поређењу са другима.
Зашто је то женама - штета
— Када сам написао да желим да разговарам са вама о ИТ-у и женама, рекли сте да неће бити лако причати о томе, али сте били спремни да то изговорите. Зашто имате овакво мишљење?
— Мислим да је ово прилично осетљива тема.И питао сам се да ли је вредно причати о овоме и распиривати гнездо стршљена. Јер, заиста, то је као ходање кроз минско поље. Шта год да кажете, неко ће се увредити, а неко ће помислити да говорите о некој дивљој јереси.
- Зашто тако мислиш?
— У принципу, често видим различите реакције људи на ова питања. Често се расправља о таквим темама. И видим различитост мишљења.
— Када сте отишли на Универзитет у Казању да студирате мушку специјалност, зар се то више није сматрало мушком специјалношћу?
- Да, не разумем одакле је дошло мишљење, да је то мушки специјалитет. Имали смо око 50% девојака на ВИЦ-у (на Казанском универзитету - "Хигх-тецх").
- А када сте отишли, да ли је постојала разлика у односу према ономе што радите у Данској и Русији?
- Никада нисам искусио битинекако омаловажавана на основу пола. Ако мислите, да ли ми је неко овде у Данској рекао да сам мушки специјалиста, онда не. Али разлика је у томе што овде заиста желе да има више жена и у ИТ-у и у академској заједници. И не само да желе, већ предузимају неке мере, а понекад, са моје тачке гледишта, ураде и више него што је потребно и вреди.
- И које мере се предузимају?
- Па, од онога што је, на примјер, то супрограмирање само за жене. Један колега је рекао да је ово јерес и то само ствара сегрегацију између мушких и женских програмера. Сложио сам се са овим приступом, али организатор курса био је помало изненађен. И након неког времена сам питао како су кренули ови курсеви. И испоставило се да је много девојака дошло тамо, за многе девојке постојала је разлика - ићи само у женско друштво или у мешовиту. Многи су хтјели ићи искључиво у женско, разлика је била визуално уочљива - није била несрећа. И схватио сам да, ако не видим овај проблем, пошто сам у кули од слоноваче, нисам приметио да би девојке могле бити срамотне или из неког разлога не желе да раде са младим људима, то не значи да нема проблема.
Сидебар
А што се тиче других ствари које се разликују уУ Европи и Русији, у смислу марљивог привлачења жена, постоји таква ствар као што је квота. Места, на пример грантови, могу бити резервисана посебно за жене. И ово, са моје тачке гледишта, ствара не баш добар тренд, јер често жене које добију ова места не знају увек да ли су их добиле зато што су и саме кул, урадиле нешто веома кул, или су их добиле, јер неко одлучио да у овом крају нема довољно жена. Ово је друга страна медаље. Постоји позитиван ефекат – добили сте грант, а негативан – разлог зашто сте га добили.
— Да ли бисте волели да једног дана добијете стипендију зато што сте жена?
"Уопштено гледано, мислим да је то прилично увредљиво." (смех)
— Да ли је срамота добити стипендију зато што сте жена, а не зато што сте кул специјалиста?
- Да, јер ово сугерише да није оцењен мој рад, већ мој пол.
— Да ли мислите да је ваш рад икада, у Русији или Данској, оцењен управо зато што сте жена, или се оцена вашег рада од стране људи око вас променила зато што сте жена?
- Знаш, некако, колико се сећам, није морао да се бави овим. Можда сам наивна и једноставно не знам да се то дешава, али ми нико није рекао: "Ово је добро за девојку."
Позитивна дискриминација, декрет за мушкарце, а не убијени стереотипи
— Како су ваши родитељи реаговали на ваш избор каријере – позитивно? Или су имали другачији поглед на то шта би требало да радите?
— Заправо, кад сам био у школи, послеНакон дипломирања, желео сам да учим језике, али су ми родитељи предложили да изаберем математику и програмирање, јер су и сами на језике гледали као на алат који се касније може научити, а на математику и програмирање као на нешто фундаменталније. Смешно је колико научника третира математику као алат.
И да будем искрен, увек сам се питао заштоУ техничким специјалностима постоји нека врста нездраве ауре сложености. Мислим да је ово непоштено и само плаши девојке. На пример, никада нисам чуо да девојкама које желе да студирају лингвистику говоре: „Ох, постоји историјска граматика, то је тако тешко!“ Или је девојкама које су хтеле да постану архитекте речено: „Ох, ту ћете такође морати да урадите много радова на снази материјала.“ Сада могу да збуним, радије, девојке инжењере, или волим анатомију за докторе. Али из неког разлога, то су управо техничке науке.
- Ја сам из Санкт Петербурга, и врло често чујем: за кога сам студирао, за кога сам радио или за шта сам био заинтересован није за жену. И моји пријатељи су рекли исту ствар ако су изненада заинтересовани за математику, програмирање или науку.
— Чини ми се да је, напротив, у нашим крајевимапатријархалнији од вашег, па сам наравно изненађен. Мислим да то има неке везе са специфичним окружењем. Можда у младости... не, не могу да кажем да сам имао среће на факултету према мени како треба. Али, на пример, вожња. Никада нисам добио толико увреда на основу пола као док сам возио. Упркос чињеници да ово нема апсолутно никакву основу. Стога знам да постоје неуништиви стереотипи и многе жене се суочавају са њима. Зашто их нисам срео у смислу посла? Вероватно зато што сам био окружен људима који нису из окружења којима би то било нормално.
— Каква су мишљења ваших данских колега? Испоставило се да ако су укључене у иницијативе - на пример, курсеве за жене, онда виде овај проблем.
- Да, дефинитивно.Понекад разговарамо о таквим темама, као на курсевима. Или, на пример, мислим да није сасвим фер да жена често губи одређено време док је на одсуству да брине о детету. Грубо говорећи, губи годину дана искуства. У Данској постоји решење да мушкарац може добити истих шест месеци породиљског одсуства као и жена ако жели. Ако их он не узме, онда их жена не може узети. И једноставно изгоре.
— Има само годину дана породиљског одсуства, од чегаДа ли је одговорност мушкарца да проведе шест месеци, а жена шест месеци? А ако мушкарац не жели да их потроши, онда, сходно томе, жена седи на породиљском одсуству шест месеци, а онда се врати на посао, да ли сам добро разумео?
- Колико се сећам, да. Ствар је у томе да мушкарац није присиљен отићи на допуст за дијете, али то вријеме не може користити жена. То значи да спречава такве ситуације да ће само жена бити на породиљском одсуству. Овде или ти трошиш те исте пола године, или не. Мислим да је ово врло добра идеја.
Сидебар
— А ти људи који су имали идеју да направе курсеве за жене, са њима сте разговарали о позитивној дискриминацији. Да ли сам добро разумео да су то мушкарци?
— Мој колега, организатор ових курсева зажене, нису предавале тамо, јер да би се створило угодно окружење на овим курсевима није требало да буде мушких наставника. Генерално, да, ово су мушкарци, наравно.
— Ако су у Русији жене које брине дискриминација жена, онда конкретно у вашем примеру на универзитету у Данској нису забринуте само жене, већ и мушкарци.
- Па, не раније, али исто тако. И мислим да је то прилично нормално.
- За Русију, ово је апсолутно ненормално, јер смо развили неки чудан став у том погледу.
— Знате, проблем са родном темом је тоЗнамо неке посебне случајеве, а општу слику немамо. Имам осећај да у Русији није све тако сјајно по том питању. Иако колегиница која организује курсеве за жене верује да је у Русији и земљама бившег СССР-а ово много боље. Зато што већина програмерки које познаје долази из бившег Совјетског Савеза. Јер овде се сматра нормалним, по његовом мишљењу, ићи на студије да би постао програмер, али овде треба да се потруде да привуку девојке.
— Можда је проблем што програмерке из земаља ЗНД беже из земаља ЗНД?
- Па, ипак, постоје.И не беже само жене. Што се тиче екстремности овог младића, то сам заборавио да напоменем. Рекао сам да сматрам да није фер да жена изгуби годину дана стажа, а онда мора да ради исти ниво посла јер је морала да настави да се такмичи у струци. Притом сам изабрао докторат за себе, а не за породицу. На шта ми је колега одговорио: „Бар имаш избор. То јест, можете изабрати посао ако желите, или можете изабрати породицу ако желите. Али често овај избор није доступан. Претпоставља се да је главни циљ жене да оснује породицу, да рађа децу, да је прехрани итд.
- Немате осјећај да су такви курсеви "оловке за жене"?
„Да будем искрен, још увек тако мало мислим.Тачније, ако некоме одговара, онда је то одлично и добро. Али ја се не бих осећао баш пријатно. Мислим да ово није супер кул идеја, то је још увек нека врста изолације.
– Добро разумем:Пошто сте првобитно били у научном окружењу, зар не примећујете проблеме у ставовима међу научницима? Јер сама интелектуална и културна средина претпоставља да није главно ко је особа, већ шта је урадила.
— Можда ово окружење захтева да држите језик за зубимадржи језик за зубима и не говори гадне ствари другим људима. Можда је она заиста интелигентна. Тешко је рећи. Али да, када кажем да сам у својој кули од слоноваче, мислим да сам донекле одвојен од свакодневне стварности.
"Пљуни на све и иди освајај"
— Да ли желите да наставите да студирате и да се бавите истраживањем у будућности?
"То је као план А." То јест, није чињеница да ћу увек моћи да добијем позицију која ме интересује у академији, али као план “Б” то је да се вратим у индустрију.
- Да ли примећујете разлику у квалитету образовања између Универзитета Иннополис и Данског универзитета? Не ради се о томе ко је застарио, већ у разлици у приступу образовању.
- У Данској нисам упознат са системомнаставе. Курс који сам предавао у Данској био је прилично необичан за руске универзитете, као што ми се чини, али да кажем да би то требало бити свугдје, или, напротив, да не би требало бити нигдје, не могу.
Сидебар
Ако кратко говорите о овом курсу, онпод називом “Пројекат прве године студија” у којем ментори дају занимљиве задатке. Ученици у групама могу да бирају које од њих желе да раде. Ментор помаже у проналажењу правог правца у решавању проблема. Циљ курса је да студенте прве године научи да студирају, решавају проблеме, раде заједно у тиму и праве добру презентацију. На Универзитету Иннополис постоји нешто слично другој години, али ја је нисам предавао. У КСУ је постојала класична школа, али је било могуће изабрати веселу омладину.
— Шта можете да кажете девојкама које су у другачијој ситуацији, којима се говори да математика и програмирање нису женски посао, већ да желе да се баве науком?
— Када говоримо о девојкама које желеидите у програмске и техничке специјалности, онда је највероватније реч о тинејџерима. Ово је још увек веома млада особа на коју се може утицати. Није, наравно, здраво да девојке слушају такве глупости са стереотипима. Ако човек има способности, онда бих саветовао да не слуша друге, већ да иде у математику и програмирање.
Али понекад постоји ситуација када језаиста можда није ваш, а ово се не односи само на техничке науке. На пример, особа жели да иде у уметничку школу, али не црта баш добро. Биће му тешко да учи, иако ће га можда стићи. Али понекад је искреније рећи да то није ваша ствар, и можда је боље не патити и радити нешто друго. На овај или онај начин, вреди адекватно проценити ове фразе, оне често злоупотребљавају „ауру мистерије“ техничких наука. Зато не брините за све и идите на освајање.