Lærðu Haskell forritun: Byrjaðu með þetta virka forritunarmál

Birting: Stuðningur þinn hjálpar til við að halda vefnum í gangi! Við þénum tilvísunargjald fyrir sumar þjónusturnar sem við mælum með á þessari síðu.


Haskell forritunarmálið var nefnt eftir rökfræðingnum Haskell Brooks Curry, en verk hans á stærðfræðilegri rökfræði eru notuð sem grunnur að hagnýtum forritunarmálum.

Haskell útfærir einnig Lambda útreikninginn, þannig að merkið sem valið er fyrir Haskell inniheldur stíliserað lambda tákn.

Hvað er Haskell?

Haskell er stöðluð, almenn tilgangur, fjölparadís, eingöngu hagnýtt forritunarmál, með leti mati, ekki ströngum merkingarfræði og sterkri, statískri gerð.

Að vera eingöngu starfhæft tungumál þýðir að aðgerðir í Haskell hafa ekki aukaverkanir, með sérstökum smíðum til að tákna aukaverkanir – rétthyrndar.

Haskell er með opinn, útgefna forskrift og margar Haskell útfærslur eru fyrir hendi undir ýmsum opnum heimildum. Glasgow Haskell Compiler (GHC) er helsta útfærsla Haskell og það hefur orðið í reynd staðal Haskell mállýska.

Haskell er mikið notað á námskeiðum í forritun og iðnaði. Til dæmis eru öll eftirfarandi útfærð í Haskell:

  • Xmonad gluggastjóri

  • Darcs endurskoðunarkerfi

  • Linspire kerfisþróun

  • Bluespec SystemVerilog hálfleiðara hönnunartæki

  • Vörn gegn ruslpósti gegn Facebook

  • Staðfesting á dulritunaraðgerðum dulmáls.

Stutt saga

Áhugi á latu virkni forritunarmála jókst eftir útgáfu Miranda, sem var latur forritunarmál, árið 1985.

Á ráðstefnunni Functional Programming Language and Computer Architecture í Portland var haldinn fundur þar sem þátttakendur komust að mikilli sátt um að mynda nefnd sem ætti að skilgreina opinn staðal fyrir slík forritunarmál.

Haskell útgáfa 1.0 var skilgreind árið 1990, byggð á siðareglum Miranda, en með mismunandi setningafræði.

Áframhaldandi starf nefndarinnar skilaði sér í ýmsum frekari skilgreiningum á tungumálum, frá 1.0 til 1.4. Haskell 98, gefin út síðla árs 1997, tilgreindi lágmarks og stöðuga útgáfu af tungumálinu, með tilheyrandi bókasafni sem sterkum grunn fyrir frekari þróun..

Haskell 2010, sem birt var í júlí 2010, er nýjasta stöðugasta útgáfan. Þessi Haskell útgáfa kynnir stuðning við erlenda aðgerðarviðmótið (FFI) sem gerir kleift að bindast við önnur forritunarmál.

Lögun

Haskell er kerfisbundið forritunarmál sem notar Hindley-Milner kerfið til að tryggja öryggi tegunda. Tungumálið kynnti einnig tegundir – aðal nýsköpun þess.

Haskell er eingöngu hagnýtur, þannig að sérhver aðgerð í Haskell er aðgerð í hreinum stærðfræðilegum skilningi; það eru engar fullyrðingar eða fyrirmæli.

Í Haskell forriti þarftu ekki að skilgreina gerðir sérstaklega, hægt er að álykta um þær með því að sameina. Samt er hægt að skilgreina stranglega í kóða ef þú velur það.

Haskell er latur metinn, sem þýðir að aðgerðir meta ekki rök sín, sem gerir kleift að skilgreina stjórnskipulag og auðvelda endurnotkun á kóða.

Eins og önnur forritunarmál, er Haskell með sjálfvirkt minnisstjórnunarkerfi í gegnum sorphirðu, þar sem minni er sjálfkrafa úthlutað og losað af ruslasafnara.

Byrjaðu með Haskell

Ef þú hefur fyrri reynslu af forritunaraðferðum og rökfræði eða öðrum hagnýtum forritunarmálum ætti ekki að vera mikið vandamál að byrja Haskell forritun.

Þróunarumhverfi þitt

Áður en þú getur byrjað að kóða í Haskell þarftu þróunarumhverfi. Við leggjum til að þú notir Glasgow Haskell Compiler (GHC) sem er innifalinn í niðurhali Haskell Platform, þar sem það er vinsælasta þýðandinn fyrir forritunarmál Haskell.

Það er nú fáanlegt á stóru þremur stýrikerfunum: Mac OS X, Linux og Windows.

Það er auðvelt að gera Haskell upp á þessum stýrikerfum og vel skjalfest, veldu einfaldlega réttan niðurhal fyrir OS á Haskell Platform niðurhalssíðuna og fylgdu leiðbeiningunum um uppsetningu.

Auðlindir

Við gerðum smá rannsóknir til að finna bestu námskeiðin í Haskell, rafbækur, gagnvirkt námskeið og önnur úrræði. Við mælum með að þú reynir að nota mörg úrræði og vinna þig að flóknari æfingum og verkefnum.

Haskell námskeið og námskeið

Til að sjá hvað Haskell getur gert þarftu að láta reyna á það. Þessar námskeið og námskeið veita góðan upphafspunkt:

  • A Gentle Introduction to Haskell, Version 98 by Hudak, Peterson, Fasel is a free step by step tutorial to Haskell. Ókeypis niðurhal í boði.

  • Yet Another Haskell Tutorial (pdf) eftir Hal Daume er mjög góð, ókeypis Haskell námskeið sem veitir alhliða og hagnýta kynningu á Haskell forritun.

  • Prófaðu Haskell er á netinu IDE sem getur keyrt Haskell kóða, með einnig innfelldum stuttum einkatími. Þetta er góður staður til að prófa fljótt Haskell kóða.

  • School of Haskell er með gott námsefni, greinar og námskeið, bæði fyrir byrjendur og reyndari Haskell forritara..

  • Haskell.org er með mjög góðan skjölahluta þar sem þú getur fundið ýmsar bækur, námskeið, námskeið og önnur úrræði fyrir Haskell forritun.

Viðbótarupplýsingar

Að vinna í gegnum námskeið og opinbera tilvísun í forritunarmál með sýnishornskóða getur hjálpað þér að skilja Haskell forritun mun betur en fræðileg úrræði. Þetta eru nokkur umfangsmestu og ítarlegustu úrræði fyrir Haskell:

  • Haskell 2010 tungumálaskýrsla (pdf) skilgreinir setningafræði fyrir Haskell forrit og tilvísun fyrir Haskell bókasöfn.

  • Glæsilega notendahandbók Glorious Glasgow Haskell kerfisins er heildar notendahandbók fyrir Haskell þýðandann í Glasgow

Þegar þú hefur náð því í gegnum auðlindirnar og námskeiðin hér að ofan ættir þú að hafa grunnskilning á Haskell forritun.

Bækur

Við höfum tekið saman nokkrar bækur sem fjalla um nokkra þætti í forritun Haskell. Flestar þessar rafbækur eru mælt með af Haskell kennurum og þær munu nýtast vel fyrir alla sem reyna að læra tungumálið:

  • Real World Haskell eftir O’Sullivan, Stewart og Goerzen. Þessi bók mun sýna þér hvernig á að nota hagnýta forritun og Haskell til að leysa raunhæf dagleg vandamál. Fáanlegt sem ókeypis niðurhal eða til kaupa.

  • Lærðu þér Haskell til góðs! eftir Miran Lipovaca er skemmtileg, myndskreytt leiðarvísir fyrir þetta flókna starfshætti. Pakkað með upprunalegum listaverkum höfundarins og gagnlegum kóða sem dæmi, kennir þessi bók hagnýt grundvallaratriði á þann hátt sem þú hefur aldrei talið mögulegt. Fáanlegt sem ókeypis niðurhal eða til kaupa.

  • Haskell-leiðin til rökfræði, stærðfræði og forritun eftir Doets og van Eijck mun sýna þér rökfræði og stærðfræðilega rökhugsun í reynd og tengja rökrétt rök við Haskell forritun.

Yfirlit

Með þessari kynningu og þessum úrræðum ættirðu að vera á leið til að verða virkur forritunarfræðingur með Haskell.

Jeffrey Wilson Administrator
Sorry! The Author has not filled his profile.
follow me
    Like this post? Please share to your friends:
    Adblock
    detector
    map