Sužinokite apie „Haskell“ programavimą: pradėkite naudotis šia funkcine programavimo kalba

Atskleidimas: Jūsų palaikymas padeda išlaikyti svetainę! Mes uždirbame siuntimo mokestį už kai kurias paslaugas, kurias rekomenduojame šiame puslapyje.


„Haskell“ programavimo kalba buvo pavadinta logiko Haskello Brookso Curry vardu, kurio matematinės logikos darbas naudojamas kaip funkcinių programavimo kalbų pagrindas..

Haskell taip pat įgyvendina „Lambda“ skaičiavimus, todėl Haskell pasirinktame logotipe yra stilizuotas lambda simbolis.

Kas yra Haskell?

„Haskell“ yra standartizuota, bendrosios paskirties, daugiaparadigma, visiškai funkcinė programavimo kalba, turinti tingų vertinimą, griežtą semantiką ir stiprų statinį spausdinimą..

Būti vien tik funkcine kalba reiškia, kad funkcijos Haskell neturi šalutinio poveikio, o atskiras konstruktas yra pateiktas šalutiniam poveikiui atvaizduoti – ortogonaliai..

„Haskell“ turi atvirą, paskelbtą specifikaciją, ir daugybė „Haskell“ įdiegimų egzistuoja pagal įvairias atvirojo kodo licencijas. Glazgo „Haskell Compiler“ (GHC) yra pagrindinis „Haskell“ įgyvendinimas ir jis tapo de facto standartine „Haskell“ tarme.

Haskell plačiai naudojamas švietimo programavimo kursuose ir pramonėje. Pavyzdžiui, visi šie elementai yra įdiegti „Haskell“:

  • „Xmonad“ langų tvarkyklė

  • Darcs revizijos valdymo sistema

  • „Linspire“ sistemos įrankių kūrimas

  • „Bluespec SystemVerilog“ puslaidininkių projektavimo įrankiai

  • „Facebook“ apsauga nuo šlamšto

  • Cryptol kriptografinių algoritmų patikrinimas.

Trumpa istorija

Susidomėjimas tingiomis funkcinėmis programavimo kalbomis išaugo po to, kai 1985 m. Buvo išleista tingioji programavimo kalba „Miranda“.

Funkcinio programavimo kalbų ir kompiuterinės architektūros konferencijos Portlande metu buvo surengtas posėdis, kuriame dalyviai pasiekė tvirtą sutarimą sudaryti komitetą, kuris turėtų apibrėžti atvirą tokių programavimo kalbų standartą..

„Haskell 1.0“ versija buvo apibrėžta 1990 m., Remiantis „Miranda“ semantika, tačiau su skirtinga sintaksė.

Tęsdamas komiteto darbą, gauta papildomų kalbų apibrėžimų – nuo 1,0 iki 1,4. „Haskell 98“, išleistas 1997 m. Pabaigoje, nurodė minimalią ir stabilią kalbos versiją su pridedama biblioteka kaip tvirtą pagrindą tolesniam tobulėjimui.

„Haskell 2010“, paskelbta 2010 m. Liepos mėn., Yra naujausias stabilus leidimas. Šis „Haskell“ leidimas pristato užsienio funkcijos sąsajos (FFI) palaikymą, kuris leidžia susieti su kitomis programavimo kalbomis.

funkcijos

„Haskell“ yra statiškai įvesta programavimo kalba, naudojanti „Hindley-Milner“ tipo sistemą, kad užtikrintų tipo saugumą. Kalba taip pat pristatė tipo klases – pagrindinę naujovę.

Haskell yra grynai funkcinė, todėl kiekviena Haskell funkcija yra funkcija grynąja matematine prasme; nėra pareiškimų ar nurodymų.

„Haskell“ programoje jūs neturite aiškiai apibrėžti tipų, juos galima nustatyti suvienijus. Tipai vis tiek gali būti griežtai apibrėžti kode, jei nuspręsite tai padaryti.

Haskell yra tingus, o tai reiškia, kad funkcijos neįvertina savo argumentų, leidžiančios lengvai apibrėžti valdymo struktūras ir optimaliai pakartotinai panaudoti kodą.

Kaip ir kitose funkcinėse programavimo kalbose, „Haskell“ turi automatinę atminties tvarkymo sistemą per šiukšlių rinkimą, kur šiukšlių surinkėjas automatiškai skiria ir atlaisvina atmintį..

Darbo su Haskell pradžia

Jei turite ankstesnę programavimo metodų ir logikos ar kitų funkcinių programavimo kalbų patirtį, pradėjimas naudotis Haskell programavimu neturėtų sukelti didelių problemų.

Jūsų vystymosi aplinka

Prieš pradėdami kodavimą „Haskell“, jums reikės kūrimo aplinkos. Siūlome naudoti „Glasgow Haskell Compiler“ (GHC), įtrauktą į „Haskell Platform“ atsisiuntimą, nes jis yra populiariausias „Haskell“ programavimo kalbos sudarytojas..

Šiuo metu ją galima įsigyti trijose didelėse operacinėse sistemose: „Mac OS X“, „Linux“ ir „Windows“.

„Haskell“ įdiegimas šiose operacinėse sistemose yra lengvai atliekamas ir gerai dokumentuotas, tiesiog „Haskell“ platformos atsisiuntimo puslapyje tiesiog pasirinkite tinkamą savo OS atsisiuntimą ir vykdykite diegimo instrukcijas..

Šaltiniai

Mes atlikome šiek tiek tyrimų, norėdami rasti geriausius „Haskell“ vadovus, elektronines knygas, interaktyvius kursus ir kitus šaltinius. Mes siūlome išbandyti kelis išteklius ir pasiruošti sudėtingesnėms užduotims ir projektams.

Haskelio kursai ir vadovėliai

Norėdami pamatyti, ką Haskell gali padaryti, turite išbandyti jį praktiškai. Šie mokymai ir kursai yra geras atspirties taškas:

  • Švelnus „Haskell“ įžanga, 98 versija, kurią pateikė Hudakas, Petersonas, „Fasel“ yra nemokama „Haskell“ mokymo programa. Galima nemokamai atsisiųsti.

  • Dar vienas „Haskell“ pamoka (pdf), kurią pateikė Hal Daume, yra labai gera nemokama „Haskell“ pamoka, kurioje pateikiamas išsamus ir praktinis „Haskell“ programavimo įvadas..

  • Išbandykite „Haskell“ yra internetinis IDE, galintis paleisti „Haskell“ kodą, taip pat su įterptuoju trumpu vadovu. Tai gera vieta greitai išbandyti Haskello kodą.

  • Haskello mokykla turi geros mokomosios medžiagos, straipsnių ir vadovėlių pradedantiesiems ir labiau patyrusiems „Haskell“ programuotojams..

  • Haskell.org turi labai gerą dokumentacijos skyrių, kuriame galite rasti įvairių knygų, kursų, vadovėlių ir kitų šaltinių, skirtų Haskell programavimui..

Papildomi resursai

Darbas per vadovus ir oficialią programavimo kalbos nuorodą su pavyzdžio kodu gali padėti jums suprasti „Haskell“ programavimą daug geriau nei teorinius išteklius. Tai yra keli išsamiausi ir išsamiausi „Haskell“ šaltiniai:

  • „Haskell 2010“ kalbos ataskaita (pdf) nusako „Haskell“ programų sintaksę ir nuorodą „Haskell“ bibliotekoms.

  • „Glorious Glasgow Haskell“ rinkinio sistemos vartotojo vadovas yra pilnas „Glasgow Haskell Compiler“ vartotojo vadovas.

Kai tai padarysite naudodamiesi aukščiau išvardytais ištekliais ir vadovėliais, turėtumėte suprasti pagrindinį „Haskell“ programavimo supratimą.

Knygos

Išskirėme keletą knygų, apimančių kelis Haskello programavimo aspektus. Daugelį šių el. Knygų rekomenduoja „Haskell“ pedagogai ir jos bus naudingi šaltiniai visiems, bandantiems išmokti kalbą:

  • „Real World Haskell“ pateikė O’Sullivanas, Stewartas ir Goerzenas. Ši knyga parodys, kaip naudoti funkcinį programavimą ir „Haskell“, norint išspręsti realias kasdienes problemas. Galima nemokamai atsisiųsti arba įsigyti.

  • Sužinok tau labai gerą Haskell! Miran Lipovaca yra įdomus, iliustruotas šios sudėtingos funkcinės kalbos vadovas. Šioje knygoje, pateiktoje su originaliais autoriaus kūriniais ir naudingu kodų pavyzdžiu, mokoma funkcinių pagrindų taip, kaip jūs niekada negalvojote. Galima nemokamai atsisiųsti arba įsigyti.

  • Dokeso ir van Eijcko „Haskelio kelias į logiką, matematiką ir programavimą“ parodys loginius ir matematinius samprotavimus praktikoje bei sujungs loginius samprotavimus su „Haskell“ programavimu..

Santrauka

Su šia įžanga ir šiais ištekliais turėtumėte būti pakeliui į „Haskell“ funkcinio programavimo ekspertą.

Jeffrey Wilson Administrator
Sorry! The Author has not filled his profile.
follow me