Glossary index

Technology, science and the universe

+57,000terms
19galaxies
2languages
Dailynew terms from the radar
Software development

Tuple Type

A tuple type is a compound type that groups multiple values. In programming languages, tuples allow combining different data types into a single entity, which facilitates the organization and…

Software development

Tuple Unpacking

Tuple unpacking in programming languages is a feature that allows assigning the elements of a tuple to multiple variables in a single statement. This simplifies the code and enhances its readability…

Software development

Turbo Pascal

Turbo Pascal is an integrated development environment (IDE) and compiler for the Pascal programming language, designed to facilitate the creation of software applications. Released by Borland in…

Artificial intelligence

Turing Test

The Turing Test is an evaluation designed to determine a machine's ability to exhibit intelligent behavior indistinguishable from that of a human. Proposed by mathematician and logician Alan Turing…

Software development

Tux Paint

Tux Paint is a drawing program designed especially for young users, combining a friendly interface with creative tools that encourage artistic expression. This open-source software allows users to…

Software development

TuxPaint

TuxPaint is a drawing program designed especially for children, characterized by its intuitive and friendly interface. This software features Tux, a cute penguin mascot, who guides young users…

Software development

Tweak Commit

Amend Commit in Git refers to the ability to make minor modifications to an existing commit. This process is essential for maintaining a clean and coherent change history, allowing developers to…

Software development

Two-way Binding

Two-way binding in modern JavaScript frameworks allows for automatic synchronization of data between the model and the view. This means that any changes made to the model are instantly reflected in…

Software development

Type-safe Enum

The 'Type-Safe Enum' is a design pattern that allows for the definition of enumerations in a way that ensures type safety in programming. This approach is particularly useful in programming languages…

Software development

Type=notify

Type=notify is a unit type in systemd that allows services to send a notification to the system when they have completed their startup process. This unit type is particularly useful for services that…

Software development

Type=oneshot

Type=oneshot is a unit type in systemd that indicates that the service executes a single task and then exits. This unit type is particularly useful for scripts or programs that perform a specific…

Software development

Type=scope

Type=scope is a unit type in systemd that represents a group of processes managed together. This unit type allows for grouping processes that share a common context, facilitating their management and…

Software development

Type=simple

Type=simple is a unit type in systemd that indicates a service is considered started immediately after the service's main process has been launched. In this context, no additional actions are…

Software development

Type=socket

Type=socket is a unit type in systemd that represents a socket that can activate a service. This mechanism allows services to start on demand, optimizing resource usage on the system. When a defined…

Software development

Type Alias

A type alias allows you to create a new name for an existing type, improving code readability. In programming languages such as TypeScript and others, type aliases are particularly useful for…

Software development

Typealias

A typealias defines an alternative name for an existing type in programming languages like Swift, Kotlin, and others. This feature allows developers to create more readable and meaningful identifiers…

Software development

Type Annotation

Type annotation in Java is a feature that allows developers to add metadata to data types, such as classes, interfaces, and enumerations. This metadata does not alter the program's behavior but…

Software development

Type Argument

A type argument is a parameter passed to a field or query in GraphQL. These arguments allow developers to specify additional details about the information they want to retrieve or manipulate. In…

Software development

Type Assertion

Type assertion in TypeScript is a technique that allows developers to explicitly indicate to the compiler that a variable should be treated as a specific type, regardless of its original type. This…

Software development

Type Bound

The 'Type Bound' in Kotlin refers to a restriction applied to the types that can be used as type parameters in generic functions and classes. This feature allows developers to specify that a type…

Software development

Type Casting

Type casting is the process of converting a variable from one type to another, allowing data to be manipulated and used more flexibly in programming. This process is fundamental in programming…

Software development

Type Checking

Type checking is the process of verifying the type of a variable in a program, either at compile time or at runtime. This process is fundamental in programming as it ensures that operations performed…

Software development

Type Checking Operator

The type checking operator in Kotlin is a fundamental tool that allows developers to check the type of an object at runtime. This operator, represented by the keyword 'is', facilitates the…

Software development

Type Class

A type class is a construct of the type system that supports ad-hoc polymorphism, allowing functions to operate on different types. In the context of programming, this means that a function can be…