sempl

Sempl is a hypothetical programming language used in computer science education to illustrate language design principles. It is designed to be readable and approachable for beginners while offering features common to modern languages, such as static typing, modularity, and safe memory management. The name sempl is derived from the word "simple" with an unconventional spelling to emphasize its educational intent. Although not tied to a single real-world project, sempl has been discussed in academic papers and open educational resources as a teaching aid.

In design, sempl aims for a small, orthogonal core with a straightforward syntax. Variables are declared with the let keyword, and types include int, float, bool, string, and composite types like list[T] and map[K,V]. Functions are defined with the fn keyword and support type annotations and type inference. The language emphasizes explicit control flow constructs and predictable resource usage. Memory management can be automatic via a built-in garbage collector or can be configured for manual memory management in constrained environments.

Implementations exist primarily as teaching interpreters or reference VMs, often written in languages such as Python, Java, or C. Sempl is used in introductory courses to demonstrate compilation, interpretation, and basic optimization concepts, as well as to illustrate safe coding practices through immutable data and explicit error handling through result types.

As a teaching tool, sempl remains a niche option compared with general-purpose languages, valued for its simplicity and clarity but limited by its synthetic status and lack of a broad industrial ecosystem. The concept highlights how language design choices influence learnability, reliability, and the transfer of skills to more complex programming environments.