Декларативное программирование

Эта статья или раздел нуждается в переработке.

Пожалуйста, улучшите статью в соответствии с правилами написания статей. (23 июня 2021)

В статье не хватает ссылок на источники (см. рекомендации по поиску).

Информация должна быть проверяема, иначе она может быть удалена. Вы можете отредактировать статью, добавив ссылки на авторитетные источники в виде сносок. (23 июня 2021)

Парадигмы программирования

Декларати́вное программи́рование — парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается ожидаемый результат, а не способ его получения. Противоположностью декларативного является императивное программирование, при котором на том или ином уровне детализации требуется описание последовательности шагов для решения задачи. В качестве примеров декларативных языков обычно приводят HTML и SQL.

Декларативные программы не используют понятия состояния, в частности, не содержат переменных и операторов присваивания, обеспечивается ссылочная прозрачность. Наиболее близким к «чисто декларативному» программированию является написание исполнимых спецификаций.

К подвидам декларативного программирования также зачастую относят функциональное и логическое программирование. Несмотря на то, что программы на таких языках нередко содержат алгоритмические составляющие, архитектура в императивном понимании (как нечто отдельное от кодирования) в них также отсутствует: схема программы является непосредственно частью исполняемого кода^[1].

На повышение уровня декларативности нацелено языково-ориентированное программирование.

«Чисто декларативные» компьютерные языки зачастую неполны по Тьюрингу — так как теоретически не всегда возможно порождение исполняемого кода по декларативному описанию. Это иногда приводит к спорам о корректности термина «декларативное программирование» (менее спорным является «декларативное описание решения» или, что то же самое, «декларативное описание задачи»).

Примечания

↑ Интервью с Саймоном Пейтоном Джонсом (неопр.). Дата обращения: 9 января 2016. Архивировано 12 января 2016 года.

Литература

Зюзьков В. М. Математическое введение в декларативное программирование: учебное пособие. — Томск: ТГУ, 2003. — 83 с.

Ссылки

Дехтяренко И. А. Декларативное программирование (неопр.). softcraft.ru (2003).

int main()
{
  printf("Hi");
  return 0;
}

Это заготовка статьи о программировании. Помогите Википедии, дополнив её.

Read other articles:

Golden State Killer

Halaman ini berisi artikel tentang pembunuh berantai tak dikenal yang aktif tahun 1976–1986. Untuk kasus Night Stalker yang lain, lihat Richard Ramirez. Golden State KillerSatu dari tiga sketsa Golden State KillerLatar belakangNama lainThe Original Night StalkerThe East Area RapistThe East Bay RapistThe Diamond Knot Killer[1]PembunuhanJumlah korban12+ (korban pembunuhan)50+ (korban pemerkosaan)Waktu pembunuhan2 Februari 1978 –4 Mei 1986NegaraAmerika SerikatNegara bagianCalifo...

Anna Lindahl

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada November 2022. Anna LindahlLahir(1904-03-24)24 Maret 1904Stockholm, SwediaMeninggal17 Februari 1952(1952-02-17) (umur 47)PekerjaanAktrisTahun aktif1925-1949 Anna Lindahl (24 Maret 1904 – 17 Februari 1952) adalah seorang aktris film Swedia. ...

Denise Perrier

Denise PerrierLahirDenise Perrier1935 (umur 88–89)Lyon, PrancisPekerjaanAktris, modelPemenang kontes kecantikanGelarMiss World 1953(Pemenang)KompetisiutamaMiss World (1953) Denise Perrier adalah aktris dan model Prancis yang berhasil memenangi kontes Miss World pada tahun 1953,[1][2] mewakili Prancis; dan ternyata pada tahun yang sama, Prancis juga memenangi kontes kecantikan lainnya Miss Universe melalui Christiane Martel. Biografi Miss World 1953 Pada tahun...

طالما استمر الضوء وقصص أخرى

طالما استمر الضوء وقصص أخرى While the Light Lasts and Other Stories معلومات الكتاب المؤلف أجاثا كريستي البلد المملكة المتحدة اللغة الإنجليزية الناشر هاربر كولنز تاريخ النشر 4 أغسطس 1997 النوع الأدبي قصص تحقيق التقديم عدد الصفحات 182 (النسخة الإنجليزية) مؤلفات أخرى السيد هارلي كوين وطقم الشاي ...

Keuskupan San Marcos de Arica

Keuskupan San Marcos de AricaDioecesis Sancti Marci AricensisDiócesis de San Marcos de AricaKatedral Santo MarkusLokasiNegara ChiliProvinsi gerejawiAntofagastaMetropolitAntofagastaStatistikLuas16.512 km2 (6.375 sq mi)Populasi- Total- Katolik(per 2014)198.400140,000 (70.7%)InformasiRitusRitus LatinPendirian17 Februari 1959 (65 tahun lalu)KatedralKatedral Santo Markus di AricaPelindungSanto Markus PenginjilKepemimpinan kiniPausFransiskusUskupMoises Carlo...

1954 NFL Championship Game

1954 NFL Championship GameCleveland Stadium under construction Detroit Lions (Western)(9–2–1) Cleveland Browns (Eastern)(9–3) 10 56 Head coach:Buddy Parker Head coach:Paul Brown 1234 Total Detroit Lions 3700 10 Cleveland Browns 1421147 56 DateDecember 26, 1954StadiumCleveland Stadium, Cleveland, OhioAttendance43,827Hall of FamersLions: Jack Christiansen, Lou Creekmur, Bobby Layne, Joe Schmidt, Dick Stanfel, Doak Walker Browns: Paul Brown (coach/gm), Doug Atkins, Len Ford, Frank Gatski,...

Franca Tamantini

Franca Tamantini nel 1959 Franca Tamantini (Roma, 24 agosto 1931 – Roma, 11 agosto 2014[1]) è stata un'attrice italiana. Indice 1 Biografia 2 Filmografia 2.1 Cinema 2.2 Televisione 3 Prosa teatrale 4 Prosa televisiva Rai 5 Note 6 Bibliografia 7 Altri progetti 8 Collegamenti esterni Biografia Frequenta da bambina il corso di danza classica, presso il Teatro dell'Opera di Roma, diplomandosi a pieni voti, e contemporaneamente, essendo dotata di una naturale voce da soprano, studia can...

Ishbel MacDonald

Ishbel MacDonaldIshbel MacDonaldBornIshbel Allan MacDonald(1903-03-02)2 March 1903Holborn, London Borough of Camden, London, EnglandDied20 June 1982(1982-06-20) (aged 79)Lossiemouth, ScotlandResting placeSpynie Cemetery, MorayshireNationalityBritishOther namesIshbel Allan RidgleyIshbel Allan PeterkinEducationNorth London Collegiate SchoolOccupationOfficial HostessKnown forOfficial Hostess to Ramsay MacDonaldTitleIndependent SocialistPolitical partyLabourSpouses Norman Ridgley ...

Methylidyne radical

Methylidyne radical Names Preferred IUPAC name Methylidyne[1] Systematic IUPAC name Hydridocarbonhydridocarbon(•),[2]Hydridocarbon(3•)[3] Identifiers CAS Number 3315-37-5 3D model (JSmol) Interactive image Beilstein Reference 7801830 ChEBI CHEBI:51382 YCHEBI:51383 Gmelin Reference 24689 CompTox Dashboard (EPA) DTXSID701027113 InChI InChI=1S/CH/h1HKey: VRLIPUYDFBXWCH-UHFFFAOYSA-N SMILES [CH] Properties Chemical formula CH, CH•, CH3• Molar mass 1...

2018 Austrian Grand Prix

2018 edition of the Austrian Grand Prix 2018 Austrian Grand Prix Race 9 of 21 in the 2018 Formula One World Championship← Previous raceNext race → Layout of the Red Bull RingRace details[1]Date 1 July 2018Official name Formula 1 Eyetime Grosser Preis von Österreich 2018Location Red Bull RingSpielberg, Styria, AustriaCourse Permanent racing facilityCourse length 4.318 km (2.683 miles)Distance 71 laps, 306.452 km (190.420 miles)Weather SunnyPole positionDriver V...

Список українських офіцерів загиблих в російсько-українській війні (2023)

Список містить імена офіцерів Сил оборони України, які загинули в 2023 році під час російсько-української війни. Поділ здійснено на вищий, старший та молодший офіцерський склад[1]. Див. також: Список українських офіцерів загиблих в російсько-українській війні (2024) Зміст ...

Betty Carter

American jazz singer-songwriter (1929–1998) Betty CarterCarter performing at Pori Jazz in 1978Background informationBirth nameLillie Mae JonesAlso known asLorene Carter; Lorraine Carter[1]Born(1929-05-16)May 16, 1929Flint, Michigan, U.S.DiedSeptember 26, 1998(1998-09-26) (aged 69)Brooklyn, New York, U.S.GenresJazz, post-bopOccupation(s)Singer-songwriterInstrument(s)VocalsYears active1948–1998LabelsColumbia, Peacock, ABC, Atco, United Artists, Roulette, Bet-Car, VerveMusical a...

Caltepec

Municipality in Puebla, Mexico This article needs to be updated. Please help update this article to reflect recent events or newly available information. (April 2024) Municipality and town in Puebla, MexicoCaltepec (municipality)Municipality and town SealCountry MexicoStatePueblaTime zoneUTC-6 (Central Standard Time) • Summer (DST)UTC-5 (Central Daylight Time) Caltepec (municipality) is a town and municipality in the Mexican state of Puebla in south-eastern Mexico.[1]...

الدوري المصري القسم الرابع

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (سبتمبر 2020) الدوري المصري الدرجة الرابعة تاريخ الإنشاء 1948 الرياضة كرة القدم البلد مصر القارة الكاف عدد الفرق 18 يتأهل...

吴研因

吴研因（1886年—1975年7月13日），原名辇瀛，江苏江阴人，中国近代教育家，中国现代小学语文教育的先驱。生平吴研因1903年入读上海半淞园师范讲习所，1906年毕业于上海龙门师范学校。此后曾任江阴市立九校单级部主任、上海商务印书馆国文部编辑等职。他编写过《新学制小学国语教科书》、《小学历史自习书》等小学教材。1924年前往南京，后出任教育部初等教育司司...

Brazil at the 2022 World Aquatics Championships

Sporting event delegationBrazil at the2022 World Aquatics ChampionshipsFlag of BrazilFINA codeBRANational federationBrazilian Confederation of Water SportsWebsitecbda.org.br (in Portuguese)in Budapest, HungaryCompetitors71 in 6 sportsMedalsRanked 12th Gold 2 Silver 1 Bronze 2 Total 5 World Aquatics Championships appearances (overview)197319751978198219861991199419982001200320052007200920112013201520172019202220232024 Brazil competed at the 2022 World Aquatics Championships in Budapest, Hunga...

Hindutva

Form of right-wing Hindu nationalism Part of a series onNationalism Nation forming Nationalism in the Middle Ages Anthem Church Colours Emblem Father Flag Epic God Identity Language Myth Sport State Symbol Treasure Core values Allegiance Independence Patriotism Self-determination Solidarity Types African Anarchist Blind Bourgeois Business Welfare Civic American French Irish Communist Constitutional patriotism Corporate Cyber- Ecological Economic Ethnic Ethnopluralism European Expansionist Hom...

Panther tank

German medium tank of WWII This article is about the German World War II tank. For the modern South Korean tank, see K2 Black Panther. For the modern Rheinmetall KF51 tank, see Panther KF51. Panzer V redirects here. For the Rheinmetall PzKpfw NbFz V prototype tank, see Neubaufahrzeug. Panzerkampfwagen V Panther Panther Ausf. D tanks, 1943TypeMedium tankPlace of originNazi GermanyService historyIn service 1943–1945 (Nazi Germany) 1944–1945 (Kingdom of Hungary) 1944–1952 (F...

Educational technology

Use of technology in education to improve learning and teaching Teaching machines redirects here. For the mechanical devices, see Teaching machine. E-learning redirects here. Not to be confused with Distance education, Online machine learning, or Tech ed. Educational research Disciplines Curriculum studies Education sciences Evaluation History Philosophy Psychology (school) Technology International education School counseling Special education Gifted education Female education Religious ...

Mythopoetic men's movement

American self-help movement This article is written like a personal reflection, personal essay, or argumentative essay that states a Wikipedia editor's personal feelings or presents an original argument about a topic. Please help improve it by rewriting it in an encyclopedic style. (June 2017) (Learn how and when to remove this message) Part of a series onMasculism Movements Fathers' rights movement Intactivism HimToo movement Men's movement Mythopoetic men's movement Men's liberation movemen...