SHF:small:Functional geometry and the Traite de Lutherie: Domain-specific languages for computational thinking about the science of art

标题：SHF：Small：用于函数几何计算思维的领域特定语言该项目的目标是设计、实现和试验用于函数几何的领域特定编程语言，以及用于描述弦乐器设计的应用程序：小提琴、中提琴，特别是大提琴。这种方法是基于使用计算思维来重建17世纪几何和仪器建造技术的历史。该提议的智力优点是对特定领域语言的严格设计，对上述技术的描述性洞察和抽象，用于描述为弦乐器量身定做的基本数据结构的档案表示，以及用于生成图纸的语言构造。由于仪器制造，从概念到结构，都是建立在算法方法上的，计算思维是组织设计的自然准则，并创造了一系列技术，将平面分解成仪器形式，以及用尺子和指南针结构解决的附属几何问题。这项工作与建造大提琴融为一体，将历史和概念与实际联系起来。基础领域特定的语言，作为一个额外的和有益的影响，也可能对初中或高中阶段的几何原理教学有用。该项目更广泛的意义和重要性在于为分析仪器设计随时间的演变提供了一个描述性工具的基础。特定于领域的语言的核心是一种用于进行几何构造的尺规编程语言。语言中的高阶程序可用于在尺子和指南针步骤的“汇编语言”级别抽象出规范的几何结构，为这些轮廓是如何在历史上构思的提供了一个抽象的、完整的功能描述。这些更高层次的过程不仅可以捕捉设计过程的技术模式，还可以捕捉设计过程的概念模式。总体目标是在一个经典的、专门的建筑领域--弦乐器领域--的上下文中提供计算思维。

Title: SHF: Small: Domain-specific Languages for Computational Thinking about Functional GeometryThe goal of the project is to design, implement, and experiment with a domain-specific programming language for functional geometry with applications to describing the design of string instruments: violins, violas, and especially violoncellos. The approach is based on the use of computational thinking for historical reconstructions of seventeenth-century geometrical and instrument construction techniques. The intellectual merits of the proposal are the rigorous design of the domain specific language, descriptive insight and abstraction of the above techniques, an archival representation for describing basic data structures tailored to string instruments, and language constructs for generating drawings. Because instrument making, from conception to construction, is so founded on algorithmic method, computational thinking is a natural rubric for organizing design, and creating a hierarchy of techniques that give order to the decomposition of the plane into an instrument form, and to the ancillary geometric problems that are solved with ruler-and-compass constructions. This work is integrated with building violoncellos, connecting the historical and conceptual with the practical. The underlying domain-specific language, as an added and beneficial impact, may also be useful for teaching principles of geometry at a middle- or high-school level. The project's broader significance and importance are in providing a foundation for a descriptive tool for analyzing the evolution of instrument designs over time.The domain-specific language is, at its core, a ruler-and-compass programming language for doing geometric constructions. Higher-order procedures in the language, can be used to abstract over canonical geometric constructions at the "assembly language" level of ruler-and-compass steps, providing an abstract, yet fully functional description of how these outlines were historically conceived. These higher-order procedures may capture not only technical, but conceptual patterns of the design process. The overall goal is to provide computational thinking in the context of a classic, specialized architectural domain, that of string instruments.