Wybe: Design of a Programming Language
Preprint
- 5 September 2025
- preprint
- Published by MDPI AG in Preprints.org
Abstract
We propose a set of design principles to guide the design of a programming language intended for general, practical use. These principles centre around supporting development of robust programs, supporting independent development and evolution of separate components of an application, and developing programs with adequate performance. We identify one key principle, interface integrity, as the most important characteristic of declarative programming languages. Following these principles has led to the development of the Wybe programming language, which provides a range of features common in functional, procedural, and logic programming languages. In particular, we argue that it provides much of the benefit of declarative programming languages, while providing much of the flexibility of imperative programming.Keywords
All Related Versions
- Version 1, 2025-09-05, Preprints
- Published version: Software, 5 (2), 14.
This publication has 16 references indexed in Scilit:
- Adtpp: lightweight efficient safe polymorphic algebraic data types for CSoftware: Practice and Experience, 2016
- Horn clauses as an intermediate representation for program analysis and transformationTheory and Practice of Logic Programming, 2015
- A Type System for Bounded Space and Functional In-Place Update—Extended AbstractLecture Notes in Computer Science, 2000
- How to declare an imperativeACM Computing Surveys, 1997
- Implementation of multiple specialization in logic programs1995
- Compile-Time Garbage Collection for Higher-Order Functional LanguagesJournal of Logic and Computation, 1992
- Multiple specialization using minimal-function graph semanticsThe Journal of Logic Programming, 1992
- Mostly parallel garbage collection1991
- Garbage collection in an uncooperative environmentSoftware: Practice and Experience, 1988
- Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networksArtificial Intelligence, 1980