Year: 2017
Type: conference-paper
Abstract: Modern programming languages try to provide a balance between flexibility to support rapid development and implementing as much validation on the program as possible to avoid expensive runtime errors.This trade-off is reflected in the language syntax, the type system and even in the method how the program produces the runtime binary.While the balance seems to be slightly moved today from safety to effectiveness, there is still a high demand for thoroughly checked, safe, but still effective programming languages.In this paper we introduce our experimental, imperative programming language, Welltype, which is designed to demonstrate that effective development can be accommodated with increased safety.Our language design decisions are based on current real-life problems and their solutions.We describe key features such as syntax improvement, fail-safe type system, and binary compatibility via dynamic linking.
DOI: 10.15439/2017f546
Authors: Áron Baráth, Zoltán Porkoláb
Institution: Eötvös Loránd University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W2758431817