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

职务名称：SHF：小号：该项目的目标是设计，实现和实验一个特定于领域的编程语言的功能几何与应用程序来描述弦乐器的设计：小提琴，中提琴，特别是大提琴。 该方法是基于使用计算思维的历史重建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.