摘要：We often give proper names to variables in programs based on their types, usages, and means, and the regularity and there are several kinds of conventions for variable-naming in programming languages. For example, we use variables i, j, k or i1, i2, i3 for thevariables of integer type. In this paper, we propose let-binding mechanism by which you can declare multiple variables simultaneously using regular expressions. We formalize this variable binding mechanism in the framework of the lambda calculus: we propose a lambda calculus with the regular expression let-bindings and a simple type system to the calculus in the style of Curry. We then study the calculus and the type system from the theoretical viewpoint.
其他关键词：Programming language design, functional programming language, regular expression, variable declaration.
