Uzziniet Haskell programmēšanu: sāciet darbu ar šo funkcionālo programmēšanas valodu

Atklāšana: Jūsu atbalsts palīdz vietnei darboties! Mēs nopelnām nodošanas maksu par dažiem pakalpojumiem, kurus mēs iesakām šajā lapā.


Haskell programmēšanas valoda tika nosaukta pēc loģikas Haskell Brooks Curry, kuras darbs pie matemātiskās loģikas tiek izmantots kā pamats funkcionālām programmēšanas valodām.

Haskell realizē arī Lambda calculus, tāpēc Haskell izvēlētais logotips satur stilizētu lambda simbolu.

Kas ir Haskell?

Haskell ir standartizēta, universāla, daudzparadigma, tīri funkcionāla programmēšanas valoda, kurai ir slinks novērtējums, neierobežota semantika un spēcīga statiskā mašīnrakstīšana.

Būt tīri funkcionējošai valodai nozīmē, ka funkcijām Haskell nav blakusparādību, un ir paredzēts atsevišķs konstrukts, kas attēlo blakusparādības – ortogonālas.

Haskell ir atvērta, publicēta specifikācija, un daudzas Haskell implementācijas pastāv ar dažādām atvērtā koda licencēm. Glasgow Haskell Compiler (GHC) ir galvenā Haskell ieviešana, un tā ir kļuvusi par de facto standarta Haskell dialektu..

Haskell tiek plaši izmantots izglītības programmēšanas kursos un rūpniecībā. Piemēram, Haskell ir ieviesti visi šie elementi:

  • Xmonad logu pārvaldnieks

  • Darcs revīzijas kontroles sistēma

  • Linspire sistēmas rīku izstrāde

  • Pusvadītāju projektēšanas rīki Bluespec SystemVerilog

  • Facebook aizsardzība pret surogātpastu

  • Kriptola kriptogrāfijas algoritmu pārbaude.

Īsa vēsture

Interese par slinkajām funkcionālajām programmēšanas valodām pieauga pēc Miranda, slinka programmēšanas valodas izlaišanas 1985. gadā.

Funkcionālā programmēšanas valodu un datoru arhitektūras konferences laikā Portlendā notika sanāksme, kurā dalībnieki panāca pārliecinošu vienošanos par komitejas izveidošanu, kurai būtu jānosaka atvērts standarts šādām programmēšanas valodām..

Haskell versija 1.0 tika definēta 1990. gadā, balstoties uz Miranda semantiku, bet ar atšķirīgu sintakse.

Komitejas turpmākā darba rezultātā tika izstrādātas vairākas citas valodu definīcijas – no 1.0 līdz 1.4. Haskell 98, kas tika izdots 1997. gada beigās, precizēja minimālu un stabilu valodas versiju ar pievienoto bibliotēku kā spēcīgu pamatu turpmākai attīstībai.

Haskell 2010, kas publicēts 2010. gada jūlijā, ir jaunākais stabils laidiens. Šis Haskell izlaidums ievieš atbalstu ārvalstu funkciju saskarnei (FFI), kas ļauj saistīties ar citām programmēšanas valodām.

Iespējas

Haskell ir statiski ierakstīta programmēšanas valoda, kas izmanto Hindley-Milner tipa sistēmu, lai nodrošinātu tipa drošību. Valoda ieviesa arī tipa klases – tās galveno jauninājumu.

Haskella ir tīri funkcionāla, tāpēc katra Haskell funkcija ir funkcija tīrā matemātiskā nozīmē; nav paziņojumu vai norādījumu.

Haskell programmā jums nav precīzi jādefinē veidi, tos var secināt, apvienojot. Veidus joprojām var stingri noteikt kodā, ja jūs to izvēlaties.

Haskell ir slinks, kas nozīmē, ka funkcijas nenovērtē savus argumentus, ļaujot viegli definēt vadības struktūras un optimāli izmantot kodu atkārtoti.

Tāpat kā citas funkcionālās programmēšanas valodas, arī Haskell piedāvā automātisku atmiņas pārvaldības sistēmu, izmantojot atkritumu savākšanu, kur atkritumu savācējs automātiski piešķir un atbrīvo atmiņu..

Darba sākšana ar Haskell

Ja jums ir iepriekšēja pieredze programmēšanas metožu un loģikas jomā vai citās funkcionālās programmēšanas valodās, sākšana ar Haskell programmēšanu nevajadzētu radīt lielas problēmas.

Jūsu attīstības vide

Lai varētu sākt kodēšanu Haskellā, jums būs nepieciešama izstrādes vide. Mēs iesakām izmantot Glasgow Haskell Compiler (GHC), kas iekļauts Haskell platformas lejupielādē, jo tas ir populārākais Haskell programmēšanas valodas kompilators..

Pašlaik tas ir pieejams trīs lielajās operētājsistēmās: Mac OS X, Linux un Windows.

Haskell instalēšana šajās operētājsistēmās ir viegli izdarāma un labi dokumentēta, vienkārši izvēlieties pareizo operētājsistēmas lejupielādi Haskell platformas lejupielādes lapā un izpildiet instalēšanas instrukcijas.

Resursi

Mēs veicām nelielu izpēti, lai atrastu labākās Haskell apmācības, e-grāmatas, interaktīvos kursus un citus resursus. Mēs iesakām izmēģināt vairākus resursus un strādāt pie sarežģītākiem vingrinājumiem un projektiem.

Haskell kursi un konsultācijas

Lai redzētu, ko Haskell var darīt, jums tas ir jāizmēģina. Šīs apmācības un kursi ir labs sākumpunkts:

  • Maigs ievads Haskell, 98. versija, Hudak, Peterson, Fasel ir bezmaksas soli pa solim apmācība Haskell. Pieejama bezmaksas lejupielāde.

  • Vēl viena Hal Daume Haskell apmācība (pdf) ir ļoti laba bezmaksas Haskell apmācība, kas sniedz visaptverošu un praktisku Haskell programmēšanas ievadu..

  • Izmēģiniet Haskell ir tiešsaistes IDE, kas var palaist Haskell kodu, kā arī ar iegultu īsu apmācību. Šī ir piemērota vieta, kur ātri izmēģināt Haskell kodu.

  • Haskelas skolai ir daži labi mācību materiāli, raksti un konsultācijas gan iesācējiem, gan pieredzējušākiem Haskell programmētājiem.

  • Haskell.org ir ļoti laba dokumentācijas sadaļa, kur var atrast dažādas grāmatas, kursus, konsultācijas un citus resursus Haskell programmēšanai..

Papildu resursi

Darbs, izmantojot konsultācijas un oficiālo programmēšanas valodas atsauci ar parauga kodu, var palīdzēt izprast Haskell programmēšanu daudz labāk nekā teorētiskie resursi. Šie ir daži no visaptverošākajiem un detalizētākajiem Haskell resursiem:

  • Haskell 2010 valodas pārskats (pdf) nosaka Haskell programmu sintakse un atsauci Haskell bibliotēkām.

  • Glorious Glasgow Haskell kompilācijas sistēmas lietotāja rokasgrāmata ir pilnīga Glasgow Haskell kompilatora lietotāja rokasgrāmata.

Kad esat to paveicis, izmantojot iepriekš uzskaitītos resursus un konsultācijas, jums vajadzētu būt pamatzināšanasi par Haskell programmēšanu.

Grāmatas

Mēs esam izcēluši dažas grāmatas, kas aptver vairākus Haskell programmēšanas aspektus. Lielāko daļu no šīm e-grāmatām piedāvā Haskell pasniedzēji, un tās būs noderīgi resursi ikvienam, kurš mēģina apgūt valodu:

  • O’Sullivan, Stewart un Goerzen reālā pasaule Haskell. Šī grāmata parādīs, kā izmantot funkcionālo programmēšanu un Haskell reālistisku ikdienas problēmu risināšanai. Pieejams kā bezmaksas lejupielāde vai iegādei.

  • Uzziniet jums Haskell par labu! Autors: Miran Lipovaca ir jautrs ilustrēts šīs sarežģītās funkcionālās valodas ceļvedis. Šajā grāmatā ir autora oriģināldarbi un noderīgs piemēra kods, kas māca funkcionālos pamatus tādā veidā, kā jūs nekad domājāt. Pieejams kā bezmaksas lejupielāde vai iegādei.

  • Doketa un van Eijka veidotais Haskell ceļš uz loģiku, matemātiku un programmēšanu parādīs loģiku un matemātisko spriešanu praksē un savienos loģisko spriešanu ar Haskell programmēšanu.

Kopsavilkums

Izmantojot šo ievadu un šos resursus, jums vajadzētu būt jūsu ceļam, lai kļūtu par Haskell funkcionālās programmēšanas ekspertu.

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