Клэр (бағдарламалау тілі) - Claire (programming language)

Бұл мақалада бірнеше мәселе бар. Өтінемін көмектесіңіз оны жақсарту немесе осы мәселелерді талқылау талқылау беті. (Бұл шаблон хабарламаларын қалай және қашан жою керектігін біліп алыңыз) Бұл мақала тым көп сүйенеді сілтемелер дейін бастапқы көздер. Мұны қосу арқылы жақсартыңыз екінші немесе үшінші реттік көздер. (Ақпан 2018) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) Бұл мақалада а қолданылған әдебиеттер тізімі, байланысты оқу немесе сыртқы сілтемелер, бірақ оның көздері түсініксіз болып қалады, өйткені ол жетіспейді кірістірілген дәйексөздер. Көмектесіңізші жақсарту осы мақала таныстыру дәлірек дәйексөздер. (Желтоқсан 2019) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Клэр жоғары деңгей функционалды және объектіге бағытталған бағдарламалау тілі бірге ережелерді өңдеу мүмкіндіктер. Ол жобаланған Ив Кейсу кезінде Буйгалар «e-Lab» зертханасы және оның соңғы анықтамасын 2004 жылы алды.

Клэр:

• қарапайым объект жүйесі параметрлік сыныптар және әдістер
• полиморфты және параметрлік функционалды бағдарламалау
• өндіріс ережелері іске қосылған іс-шаралар
• бүкіл жүйенің күйін немесе кез-келген бөлігін қолдайтын нұсқадағы суреттер кері қайтару және оңай зерттеу іздеу кеңістігі
• субъектілер арасындағы айқын қатынастар; мысалы, екі субъект бір-біріне кері деп жариялануы мүмкін
• бірінші класс жиынтықтар ыңғайлы синтаксис жиынтық бағдарламалауға арналған
• екеуіне мүмкіндік беретін мәнерлі жиынтыққа негізделген типтік жүйе екінші ретті статикалық және динамикалық теру

Клэрдікі анықтамалық енгізу аудармашыдан және компилятордан тұратын, 2009 жылдың ақпанында 3.3.46 нұсқасы шыққаннан кейін толық ашық болды. Тағы бір іске қосу WebClaire коммерциялық қолдау тапты.

Шолу

Клэр - бұл жалпы мақсаттағы бағдарламалау тілі, ең жақсы сәйкес келеді қолданбалы бағдарламалық жасақтама күрделі талап етеді деректерді модельдеу, ережелерді өңдеу немесе мәселелерді шешу. WebClaire-мен толық интеграциялау үшін кеңейтімдер қосады операциялық жүйе және бағдарламалауға арналған веб-қосымшалар.

Claire-ді толық жобалар үшін қолдануға болатындығына қарамастан, ол біртіндеп интеграциялануға арналған C ++ немесе Java: Claire бағдарламаларында C ++ немесе Java коды болуы мүмкін, және Claire коды C ++ немесе Java жобаларында пайдалану үшін C ++ немесе Java-ға аударылуы мүмкін.

Клэйрді басқа бағдарламалау тілдерінен ерекшелендіретін ерекшеліктердің негізгі жиынтығы оңтайландырудың күрделі мәселелерін шешу тәжірибесімен анықталды. Сияқты басқа функционалды / объектілі-бағытталған тілдерде кездеспейтін екі ерекшелік OCaml, Скала және F #, болып табылады нұсқасы және өндіріс ережелері.

Нұсқаларды жүйенің қандай-да бір бөлігінің суреттер жиынтығы ретінде қарастыруға болады, оларды қажет болған жағдайда үлкен (мәнерлілігі үшін) немесе кішігірім (тиімділігі үшін) жасауға болады. Нұсқаларды жасауға және кері қайтаруға рұқсат етіледі кері шегіну, табылған логикалық бағдарламалау дегенмен, Claire-тің кері бағыты логикалық айнымалылар жиынтығынан гөрі кез-келген пайдаланушы анықтаған құрылымды қамтуы мүмкін.

Клэрдегі өндіріс ережесі оқиғадан, шарттан және шарт орындалған жағдайда бағаланатын жауаптан тұрады. Оқиға объект ұясындағы кез-келген өзгеріс немесе сыныптың инстанциясы болуы мүмкін, ал жауаптың өзі келесі оқиғаларды белгілеуі мүмкін. Мұндай өндіріс ережелері реактивті алгоритмдерді сипаттауда әсіресе пайдалы, мысалы шектеу көбейту.

Клэр LAURE-дің ізбасары ретінде құрылды, бұл көптеген парадигмаларды біріктірген 1980-жылдары Caseau құрастырған мәнерлі, бірақ күрделі тіл. Клэрді оқудың предшественнигіне қарағанда оңайырақ болуға және C ++ -ге қатысты ешқандай артық шығындар тағайындауға арналмаған; сияқты мүмкіндіктерді жоққа шығаратын бұл анағұрлым кіші тіл шектеулер және дедуктивті ережелер, және жақынырақ C рух пен синтаксисте. Өнеркәсіпте оның негізгі қолданушылары болды Буйгалар және Фалес топтар.

Мысал

Есептеуге арналған функция nФибоначчи нөмірі:

фиб (n: бүтін): бүтін сан-> (егер (n <2) 1бір фиб (n - 1) + фиб (n - 2))

Сыртқы сілтемелер

• Ресми сайт
• Claire және оның құжаттамасының соңғы нұсқасын Yahoo! «claireprogramminglanguage» -тен алуға болады. тегін тіркелуді қажет ететін топ.
• Құжаттама Claire және WebClaire үшін.
• "CLAIRE бағдарламалау тілінің 3.2 нұсқасына кіріспе «Ив Кейсу мен Франсуа Лабуртенің авторы.
• "CLAIRE: жиынтықтарды, іздеуді және ережелерді экспресс-алгоритмдерді біріктіру^{[тұрақты өлі сілтеме ]}«Ив Кейсу, Франсуа-Ксавье Джоссет және Франсуа Лабурте (2002). 26 беттік шолу, академиялық аудиторияға арналған, эталондары бар.