Tacit programming is a programming paradigm in which a function definition does not include information regarding its arguments, using combinators and function composition (but not λ-abstraction) instead of variables. The simplicity behind this idea allows its use on several programming languages, such as J programming language and APL. Outside of the APL and J communities, tacit programming is referred to as point-free style, or more pithily as pointless programming.

PropertyValue
dbpprop:abstract
  • Tacit programming is a programming paradigm in which a function definition does not include information regarding its arguments, using combinators and function composition (but not λ-abstraction) instead of variables. The simplicity behind this idea allows its use on several programming languages, such as J programming language and APL. Outside of the APL and J communities, tacit programming is referred to as point-free style, or more pithily as pointless programming. This is because of the relation between how definitions are done in pointless topology and how they are done in this style. The key idea in tacit programming is to assist in operating at the appropriate level of abstraction. That is, to translate the natural transformation given by currying: <math> \hom(A\times B, C) \equiv \hom(A,\hom)</math> into computer functions, where the left represents the uncurried form of a function and the right the curried.
  • Неявное программирование — это парадигма программирования, не требующая явного упоминания аргументов определяемой функции (программы) и использующая вместо переменных комбинаторы и композицию функций. Таким образом неявное программирование можно считать особой разновидностью функционального. Использование этой идеи упрощает подход к функциональному программированию и используется в языках J и K — современных разновидностях APL. За пределами сообщества APL на неявное программирование часто ссылаются как на бесточечный стиль (point-free style, pointless programming). Так же, по большей части, к «бесточечному стилю» относятся конкатенативные языки.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Tacit programming is a programming paradigm in which a function definition does not include information regarding its arguments, using combinators and function composition (but not λ-abstraction) instead of variables. The simplicity behind this idea allows its use on several programming languages, such as J programming language and APL. Outside of the APL and J communities, tacit programming is referred to as point-free style, or more pithily as pointless programming.
  • Неявное программирование — это парадигма программирования, не требующая явного упоминания аргументов определяемой функции (программы) и использующая вместо переменных комбинаторы и композицию функций.
rdfs:label
  • Tacit programming
  • Неявное программирование
owl:sameAs
skos:subject
foaf:page
is dbpprop:paradigm of
is dbpprop:redirect of
is owl:sameAs of