# Mary

> programming language

**Wikidata**: [Q6778754](https://www.wikidata.org/wiki/Q6778754)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Mary_(programming_language))  
**Source**: https://4ort.xyz/entity/mary-q6778754

## Summary
Mary is a programming language developed by SINTEF, created in 1971. It is an imperative language characterized by strong and static typing, influenced by the ALGOL 68 language.

## Key Facts
- **Developer:** SINTEF
- **Inception:** 1971
- **Instance of:** Programming language
- **Programming Paradigm:** Imperative programming
- **Typing Discipline:** Strong typing, Static typing
- **Influenced by:** ALGOL 68
- **Wikipedia Title:** Mary (programming language)
- **Available Languages:** Arabic, English, Norwegian

## FAQs
### Q: Who developed the Mary programming language?
A: Mary was developed by SINTEF, a research organization based in Norway.

### Q: When was the Mary programming language created?
A: Mary was created in 1971.

### Q: What are the main technical characteristics of Mary?
A: Mary is an imperative programming language that utilizes both strong and static typing disciplines. It was influenced by ALGOL 68.

## Why It Matters
Mary serves as a historical example of early programming language development during the 1970s. Emerging from SINTEF in 1971, it represents the era's exploration of robust software architecture, specifically through its implementation of strong and static typing. These features were designed to enforce rigorous error checking and memory safety, distinguishing it from less strictly typed languages of the time.

By drawing influence from ALGOL 68, Mary contributed to the evolution of imperative programming structures. While it may not have the widespread adoption of modern languages, its design reflects the academic and industrial priorities of its time: creating reliable, machine-efficient instructions based on the algebraic and structural innovations of the ALGOL family. Its existence highlights the regional contributions to computer science history made by European research institutions.

## Notable For
- **Strong Typing:** Implements a strong typing discipline, which was a significant structural feature for languages of that era.
- **ALGOL Lineage:** Distinctly influenced by ALGOL 68, placing it within one of the most important family trees of programming languages.
- **SINTEF Development:** Stands as a notable output from SINTEF, a prominent research institute.
- **Imperative Paradigm:** Utilizes the imperative programming paradigm, utilizing statements that change a program's state.

## Body
### Origin and Development
The programming language Mary was established in 1971. Its development is credited to SINTEF, a major research institute. The language is classified strictly as a programming language intended for communicating instructions to a machine.

### Technical Specifications
Mary operates within the **imperative programming** paradigm, meaning it uses statements to change a program's state. A defining characteristic of Mary is its **typing discipline**. It employs both **strong typing** and **static typing**. Static typing means that variable types are known at compile time rather than at runtime, while strong typing implies that the language enforces strict rules on how different types of data can interact, preventing type errors.

### Design Influences
The architecture and syntax of Mary were directly influenced by **ALGOL 68**. ALGOL 68 was known for its complex syntax and extensive features, and Mary adopted principles from this lineage to create its own set of instructions for computation.