OCaml, ook bekend as Objektief Caml, is ‘n algemene funksionele, staties getikte funksionele programmeringstaal. Dit is die belangrikste dialek van die Caml-programmeringstaal en brei die kerntaal uit met ‘n objekgeoriënteerde laag. OCaml werk op Linux, Mac OS X, Windows en FreeBSD-bedryfstelsels.
OCaml word gereeld in die onderwys gebruik, bo en behalwe kommersiële gebruike soos ondernemingsprogrammering, wetenskaplike navorsing en finansiële rekenaarkunde.
1 Wat is OCaml?
2 Kort geskiedenis van OCaml
4 Begin met OCaml
4.1 OCaml Ontwikkelingsomgewing
5.1 Gratis interaktiewe kursusse
5.2 Bykomende hulpbronne
5.3 Gratis e-boeke
Wat is OCaml?
OCaml is ‘n multi-paradigma (imperatiewe, funksionele, objek-georiënteerde) programmeringstaal afgelei van die Caml-programmeringstaal.
Die taal is baie doeltreffend – nuttig om toepassings vinnig te ontwikkel en te ontplooi. Die ryk statiese tipe stelsel van OCaml lyk soos ‘n stel analise-instrumente wat die kwaliteit van die kode verbeter. Die oorspronklike Caml-programmeringstaal is afgelei van die ML-programmeringstaal. En baie moderne programmeertale soos F # en Scala is tot ‘n mate deur OCaml beïnvloed.
OCaml is ‘n gratis open source projek wat onderhou word deur die Franse Instituut vir Navorsing in Rekenaarwetenskap en Outomatisering (INRIA), gepubliseer onder die Q Public License (QPL). Die OCaml-aanlyngemeenskap is aktief op GitHub, Bitbucket, StackOverflow en verskillende poslyste..
Kort geskiedenis van OCaml
In die vroeë negentigerjare is Xavier Leroy en ander met INRIA begin werk aan die ontwikkeling van OCaml. Didier Remy en Jerome Vouillon het ‘n uiters ekspressiewe stelsel vir voorwerpe en klasse ontwerp. Hierdie ontwerp is die eerste keer geïmplementeer in Caml Special Light, wat uiteindelik gelei het tot die skepping van ‘n objektiewe Caml-taal, wat eers in 1996 vrygestel is.
Doelwit Caml was die eerste programmeringstaal wat die krag van statiese tik in ML-styl en tipe-inferensie gekombineer het met objekgeoriënteerde programmeringsmetodes. In 2011 word Objekt Caml herdoop tot OCaml.
Die nuutste stabiele weergawe van OCaml is 4.02.3. Dit is in Julie 2015 vrygestel.
OCaml is ‘n funksionele, noodsaaklike en objekgeoriënteerde programmeringstaal met ‘n statiese tipe stelsel wat kan help om foute in die tydsduur uit te skakel. OCaml se samesteller met tipe inferensie hoef nie handmatige tipe verklarings te hê nie.
Programme wat in OCaml geskryf is, begin en loop baie vinniger, en verbruik gewoonlik veel minder geheue as ‘n C # of Java-program. OCaml bewerkstellig dit danksy tipe inferensie, ‘n korter sintaksis en die uitbreiding van OCaml.
OCaml se ander kenmerke sluit in parametriese polimorfisme, patroonbypassing, stertrekursie, eersteklas leksikale sluitings en hantering van uitsonderings. OCaml bied ook ‘n buitelandse funksie-koppelvlak om skakel met C-primitiewe te ondersteun.
OCaml bevat ook ‘n vullisversamelaar vir outomatiese geheuebestuur. Die vullisverwyderaar ondersteun nie gelyktydig nie, dus word simmetriese verwerking nie ondersteun nie. Daar is egter verskillende biblioteke wat OCaml vir verspreide rekenaars ondersteun.
Begin met OCaml
Met die eerste oogopslag lyk dit moeilik om met OCaml te begin, veral as u nie ‘n agtergrond het in funksionele taalprogrammering nie. Effektiewe gebruik van die OCaml-stelsel kan ook moeilik wees as u eerste stappe in die OCaml-programmering doen. Maar die taal is eintlik makliker om te leer as wat dit eers voorkom.
Die eerste stap om met OCaml te begin is om u ontwikkelingsomgewing op te stel. OCaml word tans ondersteun op bykans enige bedryfstelsel wat u gebruik.
Die amptelike OCaml-aflaai en gedetailleerde inligting oor die installering van die samesteller en pakkette op elke platform kan gevind word by die OCaml.org-installasiegedeelte. Die installering en bestuur van biblioteke word vergemaklik met die pakketbestuursinstrument OPAM.
U kan ook ‘n spesifieke weergawe van OCaml-bronkode aflaai en opstel, as u dit sou doen.
Aangesien OCaml nie die soort hoofstroom-aantrekkingskrag het vir ‘n taal soos C ++ nie, is u keuse van hulpbronne ietwat beperk. Ons het probeer om die beste OCaml-bronne op die web te soek, insluitend e-boeke, tutoriale en aanlynkursusse. Alhoewel ons daarin geslaag het om ‘n aantal gehalte-OCaml-hulpbronne te vind, moet u daarop let dat u keuse van OCaml-leerhulpmiddels beperk sal wees.
Gratis interaktiewe kursusse
Ons het verkies om net twee OCaml-interaktiewe kursusse uit te voer. Albei bied baie nuttige inligting, tesame met stap-vir-stap tutoriale en enkele voorbeelde van kode:
Probeer OCaml is ‘n interaktiewe omgewing waar u OCaml in u webblaaier met ‘n aanlyn samesteller kan verken. Dit bevat ook ‘n aanlyn-stap-vir-stap tutoriaal wat die mag van die taal demonstreer.
Funksionele programmeringskursus in OCaml is ‘n volledige aanlyn universiteitskursus in OCaml met lesings en baie nuttige skakels.
Dit sal makliker wees om kursusse en tutoriale deur te werk as u die verwysingsprogramme vir programmeringstaal en addisionele kodemonsters gebruik. Sommige van hierdie bykomende OCaml-hulpbronne sal u help om basiese vaardighede uit te probeer en nuwes te bemeester:
Die OCaml System Release 4.02-dokumentasie en gebruikershandleiding is die amptelike OCaml-programmeertaalhandleiding en -verwysing.
OCaml.org se tutoriaalafdeling is ‘n baie gedetailleerde en nuttige leerbron wat alles dek, van die basiese beginsels van OCaml tot gevorderde voorbeelde..
TypeOCaml.com het baie interessante tutoriale en kodemonsters.
Ocaml-programmering – ‘n Praktiese gebruikershandleiding verduidelik die belangrike konsepte van Ocaml-programkonstruksie, en bied konkrete voorbeelde van Ocaml-sintaksis.
Code Codex OCaml-afdeling bevat baie nuttige kode-voorbeelde in OCaml.
Rosetta Code bevat voorbeelde van OCaml-kode en verwysing.
OCaml for Scientific Computation is ‘n gevorderde tutoriaal waarin die gebruik van OCaml vir wetenskaplike berekening beskryf word.
Hierdie hulpbronne moet u help om die basiese beginsels te bemeester en u vaardighede te toets. Voorbeeldkode is ‘n belangrike bron vir mense met ‘n beperkte funksionele programmeringservaring.
Daar is nie soveel OCaml-e-boeke daar nie, maar ons het daarin geslaag om ‘n paar op te spoor en besluit om twee van hulle uit te sonder:
Real World OCaml van Minsky, Madhavapeddy en Hickey neem u deur die konsepte van die OCaml-taal en help u om die gereedskap en tegnieke te verken wat OCaml tot ‘n effektiewe en praktiese instrument maak.
Die gebruik, begrip en ontrafeling van die OCaml-taal deur Didier Remy is saamgestel uit kursusnotas. Baie oefeninge met verskillende moeilikheidsgraad is ook ingesluit.
OCaml is ‘n uitstekende algemene doeltaal vir mense wat net wil werk doen. Maar ondanks sy krag het dit ‘n redelik eenvoudige sintaksis. Met die bronne wat hier aangebied word, moet u op pad wees.