Scholarlink

<p>Structural pattern matching as a language feature has become more common in programming languages over the past decade. This paper will consider more generally the challenge of adding pattern matching as a programming language feature, from the points of view of language design, rigorous static error detection, and effectiveness. In this context, a pattern-matching language feature can be seen as providing a more rigorous approach to handling the complex conditionals that arise in processing highly structured input.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Rigorous pattern matching as a language feature

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年4月22日

查看全文
  • S. Tucker Taft

摘要

Structural pattern matching as a language feature has become more common in programming languages over the past decade. This paper will consider more generally the challenge of adding pattern matching as a programming language feature, from the points of view of language design, rigorous static error detection, and effectiveness. In this context, a pattern-matching language feature can be seen as providing a more rigorous approach to handling the complex conditionals that arise in processing highly structured input.