中国开源年会 2024
编程语言分论坛
- 🏙北京
- 🗺中关村国家自主创新示范区-会议中心，北京市海淀区新建宫门路2号
- 🚪万春厅
HVML编程语言及其应用的跨端运行技术
⏲️~
薛淑明
在万物互联的市场背景下，以智能汽车为代表的行业一直在寻找比远程桌面、CarPlay等技术更好的应用跨端运行技术方案。HVML 编程语言提出的跨端应用实现方案，不仅仅能够实现多屏同显、多屏异显，还能实现应用跨设备的热迁移。同时，HVML作为世界首款可编程标记语言，提出了独具特色的具备内存访问安全性且无垃圾回收机制的解释器实现方案。
一线程序员眼中的 C++ 反射^^
⏲️~
杨文波
从一线程序员的角度分享对即将进入 C++26 标准的大特性—反射的看法。从其概念开始，探讨反射的特性、实现和应用，特别是在 EDSL（嵌入式领域特定语言）的可能。 提纲： 1. 概念 - 引子，图灵机的纸带有反射吗？ - 其他语言(Java, Rust, Python等)中的反射 - C++ 反射的背景和上下文（编译期元编程） 2. 日常编程中的反射 - 特性介绍 - 编译器实现 [https://github.com/bloomberg/clang-p2996/tree/p2996] - 编程中的应用 3. 反射与EDSL - 基于模板的 EDSL，用模板写状态机生成器（《C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond》第10、11章例子） - P2996 带来的可能 - P3294 带来的新可能 - “土法炼钢” DSL 的利弊
Acton：原生支持分布式计算的静态类型Python变体
⏲️~
李枫
Python是一种动态类型语言，这意味着不需要显式声明变量的类型，解释器会在运行时推断类型。这给开发者带来了很大的灵活性，但也有一潜在的风险，比如不可预见的类型错误，另外这也是影响Python性能的主要原因之一。同时现在各种分布式系统与分布式应用越来越多(如Web3、区块链、分布式AI等)，这些系统/应用的开发也需要更适合的编程语言来支持，而绝大多数通用编程语言都依赖语言之上的框架/中间件来实现分布式计算，在语言层面上直接支持分布式计算的情形颇为少见，但这样做的好处也显而易见--既避免了对外部分布式计算框架/中间件的依赖，同时也使得目标分布式系统的实现代码更为精简和易于维护。 令人惊喜地是，现在恰有一种正在快速发展中的静态类型的Python变体Acton新语言--既有望在未来能满足分布式计算的需求，同时也具有不错的性能和新颖的设计，本议题将就此展开进一步的探讨, 提纲如下： 1）背景 1.1） 并发模型与分布式计算; 1.2） 我们的测试台； 2）Acton语言 (编译器/运行时主要由Haskell/C实现) 2.1) 架构与设计; 2.2) 将Actor模型加入到Python中并在语言层面直接支持分布式编程； 2.3） 静态编译的Acton; 2.4) 向ARM平台进一步移植Acton的尝试(当前Acton的官方实现原生支持X86平台与MacOS)； 2.5） 探索Acton在分布式AI中可能的应用。 议题主要涉及的技术栈相关链接如下： https://www.acton-lang.org/
