欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SuperCollider
SuperCollider 是一门编程语言和声音编程环境(IDE),主要用于实时声音合成和算法作曲。
SuperCollider 编程语言是一个类似于 Smalltalk 的动态类型、垃圾回收、单继承的面向对象和函数式编程语言,它的语法类似 Lisp 或者 C 语言。它的架构是在实时计算需求和抽象语言的灵活、简洁性之间的折衷。