Clojure
Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 17. maaliskuuta 2021 tarkistetusta versiosta . tarkastukset vaativat 6 muokkausta .| Clojure | |
|---|---|
| Kieliluokka | toimiva , moniparadigma |
| Esiintyi | 2007 |
| Tekijä | Rikas Hickey |
| Kehittäjä | Hickey, Richard |
| Tiedostotunniste _ | .clj, .cljs, .cljc, .edntai.cljr |
| Vapauta | 1.11.1 ( 5. huhtikuuta 2022 ) |
| Tyyppijärjestelmä | dynaaminen, tiukka |
| Vaikutettu | Lisp , ML , Haskell , Erlang [1] , Prolog , Scheme , Java , Ruby [2] |
| vaikutti | Eliksiiri |
| Lisenssi | Eclipse julkinen lisenssi |
| Verkkosivusto | clojure.org |
| Mediatiedostot Wikimedia Commonsissa | |
Clojure (lausutaan sulkeminen [ˈklōZHər]) on Lispin moderni murre , yleiskäyttöinen ohjelmointikieli , joka tukee vuorovaikutteista kehitystä, joka kannustaa toiminnalliseen ohjelmointiin ja helpottaa monisäikeistystä . Clojure toimii JVM- ja CLR -alustoilla . Clojure erottuu filosofiasta "koodi datana" ( homoicon ) ja kehitetty Lisp-makrojärjestelmä .
Clojure - kääntäjä jaetaan vapaasti Eclipse Public License -lisenssin ehtojen mukaisesti .
Filosofia
Rich Hickey suunnitteli Clojuren nykyaikaiseksi Lisp -ohjelmistoksi toiminnalliseen ohjelmointiin integroituna Java - alustaan, joka on suunniteltu tukemaan samanaikaisuutta . [3]
Syntaksi
Kuten minkä tahansa muun Lispin, Clojuren syntaksi perustuu S-lausekkeisiin , jotka jäsentäjä kääntää tietorakenteiksi ennen kääntämistä . Clojuren jäsentäjä tukee tavallisten luetteloiden lisäksi kirjaimellista syntaksia assosiatiivisille taulukoille , joukoille ja vektoreille välittäen kaikki nämä tietorakenteet kääntäjälle . Toisin sanoen Clojure-kääntäjä ei vain kokoa luettelotietorakenteita, vaan tukee suoraan kaikkia määritettyjä tyyppejä.
Vaikka Clojure on Lispin alkuperäisen version laajennus , se ei ole yhteensopiva Lispin kanssa, toisin sanoen Lispin nykyaikaisten versioiden ohjelman kanssa (lukuun ottamatta mahdollisesti lyhintä, alkeellisinta ja lisäksi erityisesti valittua esimerkit) tai ei ollenkaan Clojure-kääntäjä läpäisee tai se ei toimi oikein. Erot yleisistä Lisp-versioista on lueteltu kielisivustolla [4] . Tässä on joitain niistä:
- Tunnisteet erottelevat isot ja pienet kirjaimet;
- alkuperäinen syntaksi literaaleille, vektoreille, kuvauksille (kartoille), säännöllisille lausekkeille , anonyymeille funktioille ja useille muille syntaktisille elementeille;
- arvon nil (joka Lispissä tarkoittaa sekä nolla-osoitinta että tyhjää listaa ja boolen arvo "false") moniselitteisyys menetetään - se tarkoittaa vain puuttuvaa arvoa (tyhjä viittaus, kuten null Javassa), spesifinen syntaksia käytetään muille arvoille;
- monet perinteiset toiminnot ovat vaihtaneet nimiä, esimerkiksi auto ja cdr on korvattu toiminnoilla first and rest;
- samannimiset funktiot eri argumenteilla tuetaan;
- ei ole lukumakroja (lukumakroja), mikä tekee mahdottomaksi muuttaa kielen syntaksia;
- osa jäljellä olevista muuttumattomista syntaktisista elementeistä muutti merkitystä;
- "Laskoja" kokoelmia tuettiin.
Makrot
Clojure-makrojärjestelmä on hyvin samanlainen kuin sen Common Lisp -makrojärjestelmä kahdella poikkeuksella:
- Laajennettaessa lomakkeita takalainausmerkin `( eng. back quote ) alla, jota Clojuressa kutsutaan termiksi "syntaksilainaus", jokainen merkki määritetään automaattisesti sen nimiavaruuden mukaan, johon se makron määritelmäpisteessä kuuluu. Tällainen järjestys sulkee pois tahattoman linkityksen samannimiseen symboliin "vieraasta" nimiavaruudesta makroa laajennettaessa. Makrossa on mahdollista viitata symboliin toisesta nimiavaruudesta, mutta vain tarkentamalla se nimenomaisesti.
- Korostaaksesi välilaskutoimituksia takalainausmerkin alla , ja -merkin sijaan , ,ja ,@käytetään ~vastaavasti ~@.
Kielen ominaisuudet
- Dynaaminen, interaktiivinen kehitys REPL - syklissä
- Toimii ensiluokkaisina objekteina painottaen rekursiota sivuvaikutuspohjaisen iteroinnin sijaan
- " Laskoja " jaksoja
- rikkaan , pysyviä tietorakenteita
- Rinnakkaisohjelmointi , joka tukee tapahtumamuistia , agenttijärjestelmää ja dynaamista muuttujajärjestelmää
- Clojure on käännetty kieli , käännöksen tulos on JVM - tavukoodi
- Tiivis integraatio Javaan : Kääntämällä JVM-tavukoodiin Clojure-ohjelmat ovat helposti siirrettävissä mihin tahansa JVM-yhteensopivaan ympäristöön. Kielessä on myös useita makroja, jotka helpottavat siinä olevien Java API :iden käyttöä . Clojure-tietorakenteet toteuttavat kaikki standardi Java-rajapinnat, mikä tekee Clojure-koodin suorittamisesta Javasta helppoa.
Esimerkkejä
( tulosta "Hei maailma!" )Säie -turvallinen yksilöllinen sarjanumerogeneraattori:
( anna [i ( atom 0 ) ] ( defn generate-unique-id "Palauttaa eri numeerisen tunnuksen jokaiselle puhelulle." [] ( swap! i inc )))Anonyymi alaluokka java.io.Writer, joka ei tulosta mitään, ja makro, jota käytetään hiljentämään kaikki sen sisältämät lähdöt:
( def bit-bucket-writer ( välityspalvelin [java.io.Writer] [] ( kirjoittaa [buf] nolla ) ( sulje [] nolla ) ( huuhtele [] nolla ))) ( defmacro noprint "Arvioi annetut lausekkeet mykistämällä kaikki *ulostulot* näytölle." . [& lomakkeet] ` ( sitova [*out* bit-bucket-writer] ~@forms )) ( noprint ( println "Hei, ei kukaan!" ))10 säiettä, jotka käsittelevät yhtä yhteistä tietorakennetta, joka koostuu 100 vektorista, joista jokainen sisältää 10 (alun perin peräkkäistä) yksilöllistä numeroa. Jokainen lanka valitsee toistuvasti kaksi satunnaista paikkaa kahdessa satunnaisvektorissa ja vaihtaa niiden arvoja. Kaikki vektorin muutokset tapahtuvat yhdessä tapahtumassa käyttämällä Clojure- tapahtumamuistijärjestelmää . Siksi edes 1000 iteroinnin jälkeen ei menetetä yhtään numeroa kussakin säikeessä.
( defn run [nvecs nitems nthreads niters] ( anna [vec- refs ( vec ( map ( comp ref vec ) ( osio nitems ( alue ( * nvecs nitems ))))) swap #( anna [v1 ( rand-int nvecs ) v2 ( rand-int nvecs ) i1 ( rand-int nitems ) i2 ( rand-int nitems ) ] ( dosync ( anna [temp ( nth @ ( vec- refs v1 ) i1 ) ] ( alter ( vec-refs v1 ) assoc i1 ( nth @ ( vec-refs v2 ) i2 )) ( alter ( vec-refs v2 ) assoc i2 temp )))) raportti #( do ( prn ( map deref vec- refs )) ( println "Erillinen:" ( count ( different ( käytä concat ( map deref vec- refs )))))) ] ( report ) ( dorun ( käytä pcalls ( toista n säiettä #( dotimes [_ niters] ( swap ))))) ( raportti ))) ( ajaa 100 10 10 100 000 )Edellisen esimerkin tulos:
( [0 1 2 3 4 5 6 7 8 9] [10 11 12 13 14 15 16 17 18 19] ... [990 991 992 993 994 995 996 997 998 999 :) 100tinct ] ( [ 382 318 466 963 619 22 21 273 45 596] [ 808 639 804 471 394 904 952 75 289 778 ] ... [ 484 216 622 139 75 20 20 20 28 28 139 139Katso myös
Muistiinpanot
- ↑ Rikas Hickey. Clojureen vaikuttaneet kirjat (linkki ei saatavilla) (30. kesäkuuta 2009). Haettu 11. syyskuuta 2009. Arkistoitu alkuperäisestä 18. huhtikuuta 2012.
- ↑ Clojure-ohjelmointi . Haettu 30. huhtikuuta 2013. Arkistoitu alkuperäisestä 21. toukokuuta 2015.
- ↑ Perustelut (downlink) . Rikas Hickey . clojure.org. Haettu 17. lokakuuta 2008. Arkistoitu alkuperäisestä 18. huhtikuuta 2012.
- ↑ Erot Clojuren ja Lispin välillä . Haettu 23. lokakuuta 2017. Arkistoitu alkuperäisestä 8. heinäkuuta 2019.
Kirjallisuus
- Halloway, Stuart (28. toukokuuta 2009), Programming Clojure (1. painos), Pragmatic Bookshelf , s. 304, ISBN 1934356336 , < http://pragprog.com/titles/shcloj/programming-clojure > Arkistoitu 12. helmikuuta 2010 Wayback Machinessa
- VanderHart, Luke (7. kesäkuuta 2010), Practical Clojure (1. painos), Apress , s. 350, ISBN 1430272317 , < http://www.apress.com/book/view/9781430272311 > . Haettu 19. helmikuuta 2010. Arkistoitu 17. syyskuuta 2010 Wayback Machinessa
- Rathore, Amit (alku 2011), Clojure in Action (1. painos), Manning , s. 475, ISBN 9781935182597 , < http://www.manning.com/rathore/ >
- Fogus, Michael & Houser, Chris (joulukuu 2010), The Joy of Clojure (1. painos), Manning , s. 300, ISBN 9781935182641 , < http://www.manning.com/fogus/ >
Linkit
- Clojuren virallinen verkkosivusto
- Clojure - koodivarasto GitHubissa
- Clojure - Funktionaalinen ohjelmointi JVM:lle (englanniksi) - yksityiskohtainen yleiskatsaus kielestä
- Täysi Disclojure - Video Demo
- Clojure-ohjelmointikieli - Johdatus IBM developerWorksiin
- Alex Ott. Clojure tai "Käytätkö edelleen Javaa? Sitten mennään luoksesi!" "The Practice of Functional Programming" -lehden 4. numerossa ( Artikkelin päivitetty versio , jossa on kuvaus versiosta 1.2)
- Clojure-foorumi osoitteessa lisper.ru
ru_clojure - "Clojure"-yhteisö "LiveJournalissa"- Venäjän planeetta Clojure — venäjänkielisten Clojure-blogien kokoaja
| Lisp | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Ominaisuudet |
| ||||||||||||||
| Toteutukset |
| ||||||||||||||
| Laitteisto |
| ||||||||||||||
| Yhteisö |
| ||||||||||||||
| |||||||||||||||
| Ohjelmointikielet | |
|---|---|
| |