This HTML5 document contains 52 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16https://global.dbpedia.org/id/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Denotational_semantics
dbo:wikiPageWikiLink
dbr:Applicative_programming_language
Subject Item
dbr:Applicative_computing_systems
dbo:wikiPageWikiLink
dbr:Applicative_programming_language
Subject Item
dbr:Applicative_programming_language
rdf:type
owl:Thing
rdfs:label
Аппликативное программирование Applicative programming language
rdfs:comment
In the classification of programming languages, an applicative programming language is built out of functions applied to arguments. Applicative languages are functional, and applicative is often used as a synonym for functional. However, concatenative languages can be functional, while not being applicative. The semantics of applicative languages are based on beta reduction of terms, and side effects such as mutation of state are not permitted. Lisp and ML are applicative programming languages. Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли аргумента и так далее. Это делает запись программы математически ясной. Тот факт, что функция обозначается выражением, свидетельствует о возможности использования значений-функций — функциональных объектов — на равных правах с прочими объектами, которые можно передавать как аргументы, либо возвращать как результат вычисления других функций.
dcterms:subject
dbc:Programming_language_classification dbc:Applicative_computing_systems
dbo:wikiPageID
987197
dbo:wikiPageRevisionID
954299838
dbo:wikiPageWikiLink
dbr:Concatenative_languages dbr:Argument_(computer_science) dbr:Side_effects dbc:Programming_language_classification dbc:Applicative_computing_systems dbr:Functional_programming dbr:Applicative_functor dbr:Applicative_universal_grammar dbr:Function-level_programming dbr:Semantics_(computer_science) dbr:Beta_reduction dbr:Programming_paradigm dbr:ML_programming_language dbr:State_(computer_science) dbr:Function_(computer_science) dbr:Lisp_programming_language
owl:sameAs
freebase:m.03wxyk wikidata:Q4068182 dbpedia-ru:Аппликативное_программирование n16:3mPAD
dbp:wikiPageUsesTemplate
dbt:More_citations_needed dbt:Reflist dbt:Distinguish
dbo:abstract
In the classification of programming languages, an applicative programming language is built out of functions applied to arguments. Applicative languages are functional, and applicative is often used as a synonym for functional. However, concatenative languages can be functional, while not being applicative. The semantics of applicative languages are based on beta reduction of terms, and side effects such as mutation of state are not permitted. Lisp and ML are applicative programming languages. Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли аргумента и так далее. Это делает запись программы математически ясной. Тот факт, что функция обозначается выражением, свидетельствует о возможности использования значений-функций — функциональных объектов — на равных правах с прочими объектами, которые можно передавать как аргументы, либо возвращать как результат вычисления других функций. Модели аппликативного программирования основываются, как правило, на комбинаторной логике или λ-исчислении. В комбинаторной логике единственный метаоператор — аппликация, обеспечивающая применение одного объекта к другому, в λ-исчислении, кроме аппликации, есть метаоператор λ-абстракции, с помощью которого возможно построение функций по выражениям, которые, в свою очередь, можно применять к другим объектам. Таким образом, объекты в аппликативном программировании ведут себя как функциональные сущности, что относит его к функциональной парадигме, однако, в ограниченном смысле, так как имеют место некоторые особенности: * число аргументных мест (арность) объекта заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами; * при конструировании составного объекта один из исходных объектов — функция, применяется к другому — аргументу, при этом в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах; * разрешается самоприменимость функций, то есть объект может применяться сам к себе. Аппликативный язык программирования — язык программирования, который предназначен для поддержки разработки программ способом получения результата вычисления функции, зависящей от комбинации переменных. Конечный результат достигается последовательным применением функциональных преобразований к данным. Примерами аппликативных языков программирования служат функциональные языки Лисп и ML. В языке Haskell эта парадигма программирования реализована в виде аппликативного функтора, расширяющего возможности механизма функциональной абстракции высших порядков до многоместной.
prov:wasDerivedFrom
wikipedia-en:Applicative_programming_language?oldid=954299838&ns=0
dbo:wikiPageLength
2218
foaf:isPrimaryTopicOf
wikipedia-en:Applicative_programming_language
Subject Item
dbr:Applicative_universal_grammar
dbo:wikiPageWikiLink
dbr:Applicative_programming_language
Subject Item
dbr:Common_Lisp
dbo:wikiPageWikiLink
dbr:Applicative_programming_language
Subject Item
dbr:TTM_(programming_language)
dbo:wikiPageWikiLink
dbr:Applicative_programming_language
Subject Item
dbr:ACL2
dbo:wikiPageWikiLink
dbr:Applicative_programming_language
Subject Item
dbr:Applicative
dbo:wikiPageWikiLink
dbr:Applicative_programming_language
dbo:wikiPageDisambiguates
dbr:Applicative_programming_language
Subject Item
dbr:Applicative_programming
dbo:wikiPageWikiLink
dbr:Applicative_programming_language
dbo:wikiPageRedirects
dbr:Applicative_programming_language
Subject Item
dbr:Applicative_Programming
dbo:wikiPageWikiLink
dbr:Applicative_programming_language
dbo:wikiPageRedirects
dbr:Applicative_programming_language
Subject Item
dbr:Applicative_language
dbo:wikiPageWikiLink
dbr:Applicative_programming_language
dbo:wikiPageRedirects
dbr:Applicative_programming_language
Subject Item
wikipedia-en:Applicative_programming_language
foaf:primaryTopic
dbr:Applicative_programming_language