Në qershor të këtij viti, në qytetin e vogël zviceran Rapperswil, një ngjarje e quajtur . Këtë herë ai mblodhi së bashku më shumë se pesëqind dashamirës Haskell, nga fillestarët deri tek themeluesit e gjuhës. Edhe pse organizatorët e quajnë këtë ngjarje një hackathon, ai nuk është një konferencë apo një hackathon në kuptimin klasik. Formati i tij është i ndryshëm nga programuesit tradicionalë. Mësuam për ZuriHac me fat, morëm pjesë në të dhe tani e konsiderojmë si detyrë të tregojmë për gjetjen e pazakontë!
Rreth nesh
Ky artikull u përgatit nga dy studentë të vitit të 3-të të programit "Matematika e Aplikuar dhe Informatikë" në Shkollën e Lartë Ekonomike të Universitetit Kombëtar të Kërkimeve - Shën Petersburg: Vasily Alferov dhe Elizaveta Vasilenko. Pasioni për programimin funksional për ne të dy filloi me një sërë leksionesh nga D. N. Moskvin në vitin e 2-të të universitetit. Vasily aktualisht po merr pjesë në programin Google Summer of Code, në kuadër të të cilit ai po zbaton grafikët algjebrikë në Haskell nën drejtimin e ekipit të projektit . Elizaveta zbatoi aftësitë e fituara të programimit funksional në punën e kursit kushtuar zbatimit të algoritmit anti-unifikimi me aplikimin e mëvonshëm në teorinë e tipit.
Formati i ngjarjes
Audienca e synuar janĂ« pronarĂ« tĂ« projekteve me burim tĂ« hapur, programues qĂ« duan tĂ« marrin pjesĂ« nĂ« zhvillimin e tyre, studiues tĂ« programimit funksional dhe njerĂ«z thjesht tĂ« apasionuar pas Haskell. KĂ«tĂ« vit, zhvillues nga mĂ« shumĂ« se pesĂ«dhjetĂ« projekte Haskell me burim tĂ« hapur nga e gjithĂ« bota u mblodhĂ«n nĂ« vendin e ngjarjes - HSR Hochschule fĂŒr Technik Rapperswil - pĂ«r tĂ« folur pĂ«r produktet e tyre dhe pĂ«r tĂ« tĂ«rhequr njerĂ«z tĂ« rinj tĂ« interesuar pĂ«r zhvillimin e tyre.
Foto nga Twitter
Skema është shumë e thjeshtë: duhet të shkruani paraprakisht disa propozime për projektin tuaj dhe t'i dërgoni ato organizatorëve, të cilët do të postojnë informacione rreth projektit tuaj në faqen e ngjarjes. Përveç kësaj, në ditën e parë, autorët e projekteve kanë tridhjetë sekonda kohë për të treguar shumë shkurt nga skena se çfarë po bëjnë dhe çfarë duhet bërë. Më pas të interesuarit kërkojnë autorët dhe pyesin në detaje për detyrat.
Ne nuk kemi ende projekte tona të hapura, por me të vërtetë duam të kontribuojmë në ato ekzistuese, ndaj u regjistruam si pjesëmarrës të rregullt. Gjatë tre ditëve, ne punuam me dy grupe zhvilluesish. Rezulton se studimi i përbashkët i kodit dhe komunikimit të drejtpërdrejtë e bën ndërveprimin midis autorëve të projektit dhe kontribuesve shumë produktiv - në ZuriHac ne ishim në gjendje të kuptonim fushat që ishin të reja për ne dhe ishim në gjendje të ndihmonim dy ekipe krejtësisht të ndryshme, duke përfunduar një detyrë në secilën të projekteve.
Krahas praktikës së vlefshme, në ZuriHac u mbajtën edhe disa ligjërata dhe master-klase. Kujtojmë veçanërisht dy leksione. Në të parën prej tyre, Andrey Mokhov nga Universiteti i Newcastle foli për funksionorët aplikativë selektivë - një klasë llojesh që duhet të bëhen ndërmjetëse midis funksionuesve aplikativë dhe monadave. Në një leksion tjetër, një nga themeluesit e Haskell, Simon Peyton Jones, foli për mënyrën se si funksionon konkluzioni i tipit në përpiluesin GHC.
Leksion nga Simon Peyton Jones. Foto nga Twitter
Master-klasat e mbajtura gjatë hackathon-it u ndanë në tre kategori në varësi të nivelit të trajnimit të pjesëmarrësve. Detyrat e ofruara për pjesëmarrësit që iu bashkuan zhvillimit të projekteve u shënuan gjithashtu me një nivel vështirësie. Komuniteti i vogël por miqësor i programuesve funksionalë mirëpret me kënaqësi të sapoardhurit në radhët e tij. Megjithatë, për të kuptuar leksionet e Andrei Mokhov dhe Simon Peyton Jones, kursi i programimit funksional që morëm në universitet ishte shumë i dobishëm.
Regjistrimi për këtë ngjarje është falas si për pjesëmarrësit e rregullt ashtu edhe për autorët e projektit. Kemi dorëzuar aplikacione për pjesëmarrje në fillim të qershorit, pas së cilës u transferuam shpejt nga lista e pritjes në listën e pjesëmarrësve të konfirmuar.
Dhe tani do të flasim për projektet në zhvillimin e të cilave kemi marrë pjesë.
Pandok
është një konvertues universal i dokumenteve tekstuale, në fakt, nga çdo format në cilindo. Për shembull, nga docx në pdf, ose nga Markdown në MediaWiki. Autori i tij, John MacFarlane, është profesor i filozofisë në Universitetin e Kalifornisë, Berkeley. Në përgjithësi, Pandoc është mjaft i famshëm dhe disa nga miqtë tanë u habitën kur mësuan se Pandoc ishte shkruar në Haskell.
Lista e formateve të dokumenteve të mbështetura nga Pandoc. Ekziston edhe një grafik i tërë në faqe, por kjo foto nuk përshtatet në artikull.
Sigurisht, Pandoc nuk ofron konvertim të drejtpërdrejtë për çdo palë formatesh. Për të mbështetur një larmi kaq të gjerë transformimesh, përdoret një zgjidhje standarde arkitekturore: së pari, i gjithë dokumenti përkthehet në një paraqitje të veçantë të ndërmjetme të brendshme dhe më pas krijohet një dokument në një format tjetër nga ky përfaqësim i brendshëm. Zhvilluesit e quajnë përfaqësimin e brendshëm "AST", që qëndron për Pemë Abstract Syntax, ose . Ju mund ta shikoni paraqitjen e ndërmjetme shumë thjesht: gjithçka që duhet të bëni është të vendosni formatin e daljes në "amtare"
$ cat example.html
<h1>Hello, World!</h1>
$ pandoc -f html -t native example.html
[Header 1 ("hello-world",[],[]) [Str "Hello,",Space,Str "World!"]]
Lexuesit që kanë punuar me Haskell të paktën pak mund të supozojnë tashmë nga ky shembull i vogël se Pandoc është shkruar në Haskell: prodhimi i kësaj komande është një paraqitje e vargut të strukturave të brendshme të Pandoc, e krijuar në ngjashmërinë se si bëhet zakonisht. në Haskell, për shembull, në bibliotekën standarde.
Pra, kĂ«tu mund tĂ« shihni se pĂ«rfaqĂ«simi i brendshĂ«m Ă«shtĂ« njĂ« strukturĂ« rekursive, nĂ« secilĂ«n nyje tĂ« brendshme tĂ« sĂ« cilĂ«s ka njĂ« listĂ«. PĂ«r shembull, nĂ« nivelin e lartĂ« ekziston njĂ« listĂ« e njĂ« elementi - titulli i nivelit tĂ« parĂ« me atributet "hello-world",[],[]. E fshehur brenda kĂ«tij titulli Ă«shtĂ« njĂ« listĂ« e vargut "PĂ«rshĂ«ndetje", e ndjekur nga njĂ« hapĂ«sirĂ« ââdhe vargu "Bota!".
Siç mund ta shihni, pĂ«rfaqĂ«simi i brendshĂ«m nuk Ă«shtĂ« shumĂ« i ndryshĂ«m nga HTML. ĂshtĂ« njĂ« pemĂ« ku çdo nyje e brendshme ofron disa informacione nĂ« lidhje me formatimin e pasardhĂ«sve tĂ« saj, dhe gjethet pĂ«rmbajnĂ« pĂ«rmbajtjen aktuale tĂ« dokumentit.
Nëse zbresim në nivelin e zbatimit, lloji i të dhënave për të gjithë dokumentin përcaktohet si kjo:
data Pandoc = Pandoc Meta [Block]Këtu Blloku janë pikërisht kulmet e brendshme të përmendura më lart, dhe Meta është metainformacion për dokumentin, si titulli, data e krijimit, autorët - kjo është e ndryshme për formate të ndryshme dhe Pandoc përpiqet, nëse është e mundur, të ruajë një informacion të tillë kur përkthen nga formati në format.
Pothuajse të gjithë konstruktorët e llojit Blloku - për shembull, Header ose Para (paragraf) - marrin si argument atribute dhe një listë të kulmeve të nivelit më të ulët - Inline, si rregull. Për shembull, Space ose Str janë konstruktorë të llojit Inline, dhe etiketa HTML gjithashtu shndërrohet në Inline të veçantë. Ne nuk shohim asnjë pikë në ofrimin e një përkufizimi të plotë të këtyre llojeve, por vini re se ai mund të gjendet këtu .
ĂshtĂ« interesante se lloji Pandoc Ă«shtĂ« njĂ« monoid. Kjo do tĂ« thotĂ« se ekziston njĂ« lloj dokumenti bosh dhe se dokumentet mund tĂ« grumbullohen sĂ« bashku. Kjo Ă«shtĂ« e pĂ«rshtatshme pĂ«r t'u pĂ«rdorur kur shkruani Readers - mund ta ndani njĂ« dokument nĂ« pjesĂ« duke pĂ«rdorur logjikĂ« arbitrare, tĂ« analizoni secilĂ«n veçmas dhe mĂ« pas t'i bashkoni gjithçka nĂ« njĂ« dokument. NĂ« kĂ«tĂ« rast, metainformacioni do tĂ« mblidhet nga tĂ« gjitha pjesĂ«t e dokumentit menjĂ«herĂ«.
Kur konvertohet, le të themi, nga LaTeX në HTML, fillimisht një modul special i quajtur LaTeXReader konverton dokumentin hyrës në AST, më pas një modul tjetër i quajtur HTMLWriter konverton AST në HTML. Falë kësaj arkitekture, nuk ka nevojë të shkruani një numër kuadratik të konvertimeve - mjafton të shkruani Reader dhe Writer për çdo format të ri dhe të gjitha çiftet e mundshme të konvertimeve do të mbështeten automatikisht.
ĂshtĂ« e qartĂ« se njĂ« arkitekturĂ« e tillĂ« ka edhe tĂ« metat e saj, tĂ« parashikuara prej kohĂ«sh nga ekspertĂ«t e fushĂ«s sĂ« arkitekturĂ«s sĂ« softuerit. MĂ« e rĂ«ndĂ«sishmja Ă«shtĂ« kostoja e bĂ«rjes sĂ« ndryshimeve nĂ« pemĂ«n sintaksore. NĂ«se ndryshimi Ă«shtĂ« mjaft serioz, do tĂ« duhet tĂ« ndryshoni kodin nĂ« tĂ« gjithĂ« Readers dhe Writers. PĂ«r shembull, njĂ« nga sfidat me tĂ« cilat pĂ«rballen zhvilluesit e Pandoc Ă«shtĂ« mbĂ«shtetja e formateve komplekse tĂ« tabelave. Tani Pandoc mund tĂ« krijojĂ« vetĂ«m tabela shumĂ« tĂ« thjeshta, me njĂ« kokĂ«, kolona dhe njĂ« vlerĂ« nĂ« secilĂ«n qelizĂ«. PĂ«r shembull, atributi colspan nĂ« HTML thjesht do tĂ« injorohet. NjĂ« nga arsyet pĂ«r kĂ«tĂ« sjellje Ă«shtĂ« mungesa e njĂ« skeme tĂ« unifikuar pĂ«r paraqitjen e tabelave nĂ« tĂ« gjitha ose tĂ« paktĂ«n shumĂ« formate - nĂ« pĂ«rputhje me rrethanat, Ă«shtĂ« e paqartĂ« se nĂ« çfarĂ« forme duhet tĂ« ruhen tabelat nĂ« paraqitjen e brendshme. Por edhe pasi tĂ« zgjidhni njĂ« pamje specifike, do t'ju duhet tĂ« ndryshoni absolutisht tĂ« gjithĂ« lexuesit dhe shkrimtarĂ«t qĂ« mbĂ«shtesin punĂ«n me tabela.
Gjuha Haskell u zgjodh jo vetëm për shkak të dashurisë së madhe të autorëve për programimin funksional. Haskell është i njohur për aftësitë e tij të gjera të përpunimit të tekstit. Një shembull është biblioteka është një bibliotekë që përdor në mënyrë aktive konceptet e programimit funksional - monoide, monada, funksionorë aplikativë dhe alternativë - për të shkruar analizues arbitrar. Fuqia e plotë e Parsec mund të shihet në nga HaskellWiki, ku analizohet një analizues i plotë i një gjuhe programimi të thjeshtë imperativ. Sigurisht, Parsec përdoret gjithashtu në mënyrë aktive në Pandoc.
Përshkruar shkurtimisht, monadat përdoren për analizë sekuenciale, kur një gjë vjen së pari dhe më pas një tjetër. Për shembull, në këtë shembull:
whileParser :: Parser Stmt
whileParser = whiteSpace >> statementSë pari ju duhet të numëroni hapësirën, dhe më pas deklaratën - e cila gjithashtu ka llojin Parser Stmt.
Funktorët alternativë përdoren për të rikthyer nëse analizimi dështon. Për shembull,
statement :: Parser Stmt
statement = parens statement <|> sequenceOfStmtKjo do të thotë që ju ose duhet të përpiqeni të lexoni deklaratën në kllapa, ose të përpiqeni të lexoni disa deklarata me radhë.
Funktorët aplikativë përdoren kryesisht si shkurtore për monadat. Për shembull, lëreni funksionin tok të lexojë disa shenja (ky është një funksion real nga LaTeXReader). Le të shohim këtë kombinim
const <$> tok <*> tokDo të lexojë dy shenja me radhë dhe do të kthejë të parën.
Për të gjitha këto klasa, Haskell ka operatorë të bukur simbolikë, gjë që e bën programimin Reader të duket si arti ASCII. Thjesht admironi këtë kod të mrekullueshëm.
Detyrat tona ishin të lidhura me LaTeXReader. Detyra e Vasily ishte të mbështeste komandat mbox dhe hbox, të dobishme për të shkruar paketa në LaTeX. Elizabeth ishte përgjegjëse për mbështetjen e komandës së epigrafit, e cila ju lejon të krijoni epigrafë në dokumentet LaTeX.
Hatrace
Sistemet operative tĂ« ngjashme me UNIX shpesh zbatojnĂ« thirrjen e sistemit ptrace. ĂshtĂ« i dobishĂ«m nĂ« korrigjimin dhe simulimin e mjediseve tĂ« programit, duke ju lejuar tĂ« gjurmoni thirrjet e sistemit qĂ« bĂ«n programi. PĂ«r shembull, mjeti shumĂ« i dobishĂ«m strace pĂ«rdor ptrace brenda.
Hatrace është një bibliotekë që ofron një ndërfaqe për ptrace në Haskell. Fakti është se vetë ptrace është shumë e sofistikuar dhe është mjaft e vështirë të përdoret drejtpërdrejt, veçanërisht nga gjuhët funksionale.
Hatrace funksionon si strace në fillim dhe pranon argumente të ngjashme. Ai ndryshon nga strace në atë që është gjithashtu një bibliotekë që ofron një ndërfaqe më të thjeshtë sesa thjesht ptrace.
Me ndihmën e hatrace, ne kemi kapur tashmë një gabim të pakëndshëm në përpiluesin GHC Haskell - duke u vrarë në momentin e gabuar, ai gjeneron skedarë të pasaktë të objekteve dhe nuk i ripërpilon ato kur riniset. Skriptimi nga thirrjet e sistemit bëri të mundur riprodhimin e besueshëm të gabimit në një ekzekutim, ndërsa vrasjet e rastësishme riprodhuan gabimin në rreth dy orë.
Ne shtuam ndërfaqet e thirrjeve të sistemit në bibliotekë - Elizaveta shtoi brk dhe Vasily shtoi mmap. Bazuar në rezultatet e punës sonë, është e mundur të përdoren më thjesht dhe më saktë argumentet e këtyre thirrjeve të sistemit gjatë përdorimit të bibliotekës.
Burimi: www.habr.com
