Haskell

Haskell
Tilblivelse		1990
Paradigme		Multi-paradigme:Funksjonell programmering,purely functional programming, non-strict programming language
Designet av		Lennart Augustsson,Warren Burton,Kevin Hammond,Paul Hudak,John Hughes,Thomas Johnsson,Simon Peyton Jones,John Launchbury,Erik Meijer,Alastair Reid,Philip Wadler
Utviklet av		Paul Hudak,Lennart Augustsson,John Hughes,Simon Peyton Jones,Erik Meijer,Philip Wadler
Siste versjon(er)		Haskell 2010
Typetildeling		inferens, statisk, sterk
Filendelse(r)		.hs,.lhs
OS		Microsoft Windows,Unix-liknende
Implementert i
C, Haskell
Påvirket av
Alfl,APL,Clean, FP, Gofer, Hope and Hope+, Id, ISWIM, KRC,Lisp,Miranda,MLand Standard ML, Lazy ML, Orwell, Ponder, SASL, SISAL,Scheme
Innflytelse for
Agda, Bluespec, Clojure, C#, CAL, Cat, Cayenne, Clean, Curry, Epigram, Escher, F#, Factor, Isabelle, Java Generics, Kaya, LINQ, Mercury, Omega, Perl 6, Python, Qi, Scala, Timber, Visual Basic 9.0

Haskeller et standardisert,rent funksjoneltprogrammeringsspråknavngitt etter matematikerenHaskell Curry.Haskell har såkaltsterk typesettingoglat evaluering,og finnes i flere implementasjoner, derGHCkanskje er den mest kjente.

Som i andre funksjonelle språk er programmer skrevet i Haskell først og fremst konstruert ut ifra funksjonskall. Alle variabler er lokale, og kan ikke endres underveis; fremfor iterasjon brukes oftest rekursjon. Språket er dypt forankret i Currys forskning og har en mer matematisk tilnærming til programmering enn imperative språk.

Siden Haskell er et rent funksjonelt programmeringsspråk, kan ikke funksjoner habivirkninger.Med andre ord kan ikke funksjoner endre verdier tilgjengelig andre steder i koden – de kan kun sette sine egne lokale verdier samt returnere disse, men ved bruk av konseptet monader kan man kontrollert etterligne denne oppførselen der det trengs.

Historie

Haskell ble skapt som et standardisert språk etter stor etterspørsel etter et rent funksjonelt språk som kunne samle de mange mindre funksjonelle språkene som alle delte flere likhetstrekk i syntaks og funksjonalitet. Det var spesielt funksjonalitet som lat evaluering som bidro til ønsket om et standardisert språk.

Under konferansenFunctional Programming Languages and Computer ArchitectureiPortland,Oregoni september 1987 ble en komité satt opp for å utvikle spesifikasjonene til språket. Første møte ble holdt i juli året etter. Språket ble kalt Haskell, etter matematikeren Haskell Curry, kjent for sitt arbeid innenkombinatorisk logikk.I forkant av navngivningen av programmeringsspråket forhørte Paul Hudak og David Wise seg med enken til Haskell, Virginia, om hennes tillatelse om å bruke ektemannens navn. På et senere tidspunkt besøkte enken et foredrag som Hudak holdt om Haskell og sa «Du vet, Haskell likte egentlig aldri navnet sitt.»

Den første utgaven av Haskell, kaltHaskell 1.0ble utgitt i 1990, fulgt av versjonene 1.1 (1991), 1.2 (1992), 1.3 (1996) og 1.4 (1997). Av disse ble flest endringer gjennomført i versjon 1.3, der blant annetdo-kommandoen,IO-monadenogtypeklasserble innført.

Idéen bak Haskell

Før det fantes noen spesifikasjon eller implementasjon av Haskell ble det utviklet en liste over mål som programmeringsspråket skulle oppfylle.

1. Det måtte være passelig for læring, forskning og applikasjoner – inkludert store, komplekse systemer
2. Det skulle være beskrevet fullstendig i form av formell syntaks og semantikk.
3. Det skulle være fritt tilgjengelig. Enhver skulle kunne implementere språket, og distribuere det som de ønsker.
4. Det skulle være mulig å bruke det som grunnlag for fremtidig forskning innenfor programmeringsspråk.
5. Det skulle være basert på idéer som var attraktive for folk flest og samletkonsensus.
6. Det skulle redusere unødvendig ulikheter i funksjonelle programmeringsspråk

Haskell 98

På slutten av 1997 begynte arbeidet med å forme en ny utgave av Haskell. Ved utgivelsen av spesifikasjonene til Haskell 98 siktet komitéen seg inn på å spesifisere en stabil, minimal og høyst portabel versjon av språket. Spesifikasjonen inkluderte et standardbibliotek for læring, og la en basis for videre utvidelser av språket. Dette har blant annet blitt utnyttet av kompilatoren og hovedimplementasjonen av Haskell, Glasgow Haskell Compiler (GHC), i videre utvikling av språket. Dette var den siste endringen gjennomført av den opprinnelige komiteen.

Haskell 98 ble utgitt i 1999 under navnetThe Haskell 98 Report.I 2003 kom en revidert utgave kaltHaskell 98 Language and Libraries: The Revised Report.Språket fortsatte å utvikles og utvides, med GHC i spissen.

Haskell 2010

I 2006 ble arbeidet med å en ny oppdatering av språket begynt, kaltHaskell Prime.Denne prosessen skulle være kontinuerlig, og målet var å oppdatere Haskell-spesifikasjonen med en revidert utgave hvert år. Den første utgaven som faller under Haskell Prime er Haskell 2010, som ble annonsert i november 2009 og publisert i juli 2010 av Simon Marlow.Under annonseringen av Haskell 2010 ble det også presisert at formasjonen av komitéen for den neste utgaven, Haskell 2011, er underveis.

Blant de store forandringene siden Haskell 98 gir 2010-utgaven et grensesnitt mot andre språk, også kaltforeign function interface(FFI). Haskell 2010 tillater også kildekoden å spesifisere enkelte krav for kompilering, som krav til utvidelser og versjon av Haskell. Navnene på utvidelsene som ble introdusert med Haskell 2010 er DoAndIfThenElse, HierarchicalModules, EmptyDataDeclarations, FixityResolution, ForeignFunctionInterface, LineCommentSyntax, PatternGuards, RelaxedDependencyAnalysis, LanguagePragma, NoNPlusKPatterns.

Kode og syntaks

Eksempler – grunnleggende syntaks

Hello Worldkan i Haskell skrives

main::IO()
main=putStrLn"Hello, World!"

eller bare (siden Haskell brukerimplisitt typededuksjon,dvs. selv evaluerer typer for argumenter og resultater)

main=putStrLn"Hello, World!"

I det siste eksempelet erdeklarasjonentil funksjonen tatt bort.

Funksjoner i Haskell kan bli definert først med navn og type separert med to kolon (::). Typedeklareringen viser hvilke typer argumenter en funksjon kan få passert, den siste typedeklareringen gjelder det som returneres av funksjonen; siste vil alltid være med.

En funksjon somlegger sammento tall se slik ut:

add::Integer->Integer->Integer
addxy=x+y

En funksjon kan aldri endre tilstander andre steder i koden (ingen bivirkninger), og må alltid returnere noe. Dette er ulikt mange imperative språk, der man kan kalle en funksjon for å gjøre endringer i parametrene gitt til funksjonen (f.eks. ved sortering av en array).

Mønstertrefning

En funksjon må ha minst én definisjon, dvs. man må angi hvilke operasjoner som skal gjøres ved kall på denne funksjonen. Det er mulig – og vanlig – å angi flere definisjoner dersom argumentene til en funksjon kan være av flere typer; dette er vanlig blant annet for å angi ulike tilfeller for rekursive kall. Denne funksjonaliteten kallesmønstertreffning:Funksjonen analyserer innkommende argumenter mot et mønster som er spesifisert i funksjonsdeklareringen.

En funksjon for å regne utfakultetfor et tall (produktetav alle tall fra 1 tiln,derner større eller lik enn 0 – 0! er definert til å være 1) kan se slik ut:

fakultet::Integer->Integer
fakultet0=1
fakultetn|n>0=n*fakultet(n-1)

Her ser man at funksjonen først sjekker om0blir passert til funksjonen, viser det seg å være sant returnerer den1,hvis ikke fortsetter den videre til den treffer et mønster som passer.

Et annet enkelt eksempel på mønstertreffing vil være følgende funksjon, der resultatet på funksjonen blir annerledes ut ifra hvilken bokstav funksjonen får passert.

bokstavNavn::Char->String
bokstavNavn'a'="Andreas"
bokstavNavn'b'="Bodil"
bokstavNavn'c'="Cato"

Et litt mer avansert eksempel på mønstertreffing vil være 3 funksjoner som hver tar et generiske sett med 3 objekter. taNummerEn treffer første objektet i settet og binder den til variabelenx,for så å returnere denne. taNummerTo treffer andre objektet og binder den tily,taNummerTre treffer siste og tredje objektet og binder det tilzog i likhet med første funksjon returnerer alle det objektet de treffer.

taNummerEn::(a,b,c)->a
taNummerEn(x,_,_)=x

taNummerTo::(a,b,c)->b
taNummerTo(_,y,_)=y

taNummerTre::(a,b,c)->c
taNummerTre(_,_,z)=z

Implementasjoner

En del av tanken bak Haskell at det skulle være en fri og åpen spesifikasjon med flere implementasjoner.GHCer den mest brukte kompilatoren for Haskell,og har også flere egne utvidelser til Haskell. én av disse er etgrensesnitttil Microsoft Windows.GHC kompilerer Haskell kode ned til det aktuelle operativsystemet sin egen kode, som gjør at det ikke trenger å kjøres via en virtuell maskin.

Andre implementasjoner er:

• Gofer,en dialekt utviklet til akademisk bruk. Hadde en tilleggsfunksjon kalt «konstruktklasser» utviklet av Mark Jones.
• HBC,en eldre implementasjon som ikke lenger blir vedlikeholdt. Kompilerer også til operativsystemers egen kode.
• Helium,en nyere og lettere versjon av Haskell som skal gjøre læring av språket enklere. På grunn av at det mangler støtte for typeklasser vil mange Haskell-applikasjoner ikke kunne kompileres med denne kompilatoren.
• Utrecht Haskell Compiler(UHC) er en Haskell-implementasjon fra Universitetet i Utrecht. Støtter nesten alle Haskell 98-funksjonene i tillegg til en del eksperimentelle utvidelser. Språket er hovedsakelig brukt til akademisk forskning innenfor genererte typesystemer og språkutvidelser.
• Hugs,Haskell User's Gofer System, er en lett og portabel Haskell-kompilator som kompilerer til bytekode. Hugs gir kjapp kompilering av applikasjoner og er relativt kjapp under kjøring.
• Jhcer en Haskell-kompilator skrevet av John Meacham. Kompilatoren setter fokus på hastighet og effektivitet av genererte programmet, samt utforskning av nye programendringer. LHC er en nyligforkav Jhc.
• nhc98er en annen bytekode-kompilator. Nhc98 er kompatibelt med Haskell 98-spesifikasjonen og fokuserer veldig på å minimisere minnebruk. Dette gjør at Nhc98 er spesielt god på eldre og litt tregere maskiner.
• Yhc,York Haskell Compiler var en fork av nhc98. Målet var å være enklere, mer portabel og effektiv. Yhc integrerte støtte for Hat, en Haskell tracer. Til forandring fra de andre inkluderte også Yhc en JavaScript-motor som lot brukeren kjøre Haskell-applikasjoner i en nettleser.

Utviklingsmiljø

Det finnes svært få dedikerte utviklingsmiljø til Haskell så flere foretrekker å bruke mer generiske tekstredigeringsprogrammer somEmacs,TextMate,Subtextogvi.Disse programmene har som regel støtte for Haskell-syntakse og fremhever denne med farger og andre effekter.

Den største applikasjonen som tilbyr etintegrerte utviklingsmiljøtil Haskell erLeksah(Haskel baklengs).Leksah er skrevet i Haskell og er gitt ut underGPL.Med Leksah har utviklere muligheten til å formulere kode i et eget grafisk, integrert miljø med autofullføring av syntakse, import av biblioteker og integrasjon motcabal;pakkesystemet til Haskell. Et annet verktøy skrevet i Haskell erYi.Dette verktøyet minner svært omVimog har mulighet til å integreres mot både Vim, Emacs og andre.

Man finner også tilleggsfunksjoner til andre etablerte integrerte utviklingsmiljø, som for eksempelEclipse

Eksterne lenker

• (en)Offisielt nettsted
• (en)Haskell– kategori av bilder, video eller lyd påCommons
• (en)Glasgow Haskell Compiler, en Haskell implementasjonArkivert28. september 2017 hosWayback Machine.
• (en)Learn You a Haskell for Great Good! (En populær læreressurs)Arkivert20. april 2023 hosWayback Machine.