- type-free language
- язык без определения типов данных
Большой англо-русский и русско-английский словарь. 2001.
type-free language
Смотреть что такое "type-free language" в других словарях:
Context-free language — In formal language theory, a context free language is a language generated by some context free grammar. The set of all context free languages is identical to the set of languages accepted by pushdown automata. Contents 1 Examples 2 Closure… … Wikipedia
Deterministic context-free language — A deterministic context free language is a formal language which is defined by a deterministic context free grammar.[1] The set of deterministic context free languages is called DCFL[2] and is identical to the set of languages accepted by a… … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Language game — A language game (also called secret language or ludling) is a system of manipulating spoken words to render them incomprehensible to the untrained ear. Language games are used primarily by groups attempting to conceal their conversations from… … Wikipedia
Free UCS Outline Fonts — (also known as freefont) is a project for developing fonts by collecting characters from other free fonts and joining them in one package. It aims to provide a set of free high quality outline (OpenType, Truetype, PostScript (Type 0)) UCS fonts,… … Wikipedia
Free response — is a type of question used in tests in education, workplace, and government. Most free response questions ask or require the test taker to state a belief, opinion, or write a short essay and support it with facts, examples, or other evidence.… … Wikipedia
Free trade debate — Free trade is one of the most debated topics in economics of the 20th and 21st century Fact|date=December 2007. Arguments over free trade can be divided into economic, moral, and socio political arguments. The academic debate among economists is… … Wikipedia
.free — Introduced Not officially introduced; proposed in 2010 TLD type Proposed top level domain Status Unofficial proposal Registry dotFree Group s.r.o. Sponsor dotFree Group s.r.o Intended use … Wikipedia
Free On-line Dictionary of Computing — (FOLDOC) URL foldoc.org Commercial? No Type of site Internet encyclopedia project … Wikipedia
Free Company of Volunteers of Catalonia — Compañía Franca de Voluntarios de Cataluña Active 1767 1815 Country … Wikipedia
Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science … Wikipedia
