AICon 上海站|90%日程已就绪,解锁Al未来! 了解详情
写点什么

深度 deepin 开源自研编程语言 Unilang

  • 2022-09-20
    北京
  • 本文字数:963 字

    阅读完需:约 3 分钟

深度deepin开源自研编程语言 Unilang

近日,深度deepin正式公开了自研全新通用目的编程语言——Unilang,包括相关的文档和一个解释器。

 

deepin 方面表示,虽然业界虽然已经有了很多较为成熟的桌面应用开发方案,例如 Qt、Electron、PySide 和 Flutter 等,但各个方案均有着各自的痛点,没有任何一种现有方案能兼顾各种不同的问题,而成为没有疑义、众望所归的桌面开发首选方案。

 

造成这种局面的一个技术理由是,许多方案设计过于专注具体需求而缺乏考虑语言长期演进的普遍因素,使其在预期目标领域之外的适用性急剧下降,通用性不足。当应用领域和预期略有偏差或暴露原有设计的局限性时,用户即便懂得如何改进一个语言,也会在语言二次开发上遇到困难,从而被迫放弃。

 

因此,deepin 希望有一种语言可以尽快解决各个方案中存在的痛点,能极大程度帮助到因语言二次开发遇到困难而被迫放弃的开发者,以更深刻的方式、真正实现“通用性”。

 

于是在 2020 年 4 月,deepin 决定开发“自己的语言”,进一步往上做 GUI 框架;2020 年 6 月,经调研分析后,deepin 创建 Unilang 仓库,提交了第一行代码;2021 年 3 月,deepin 基本实现了 2020 年决定设计的主要特色内容,着手研究目标代码生成方案;今年 9 月,deepin 正式公开了全新的通用目的编程语言 Unilang。

 

根据官方介绍,Unilang 的主要特点包括:

 

  • 作为动态语言,提供相对其它语言更强的语言层次上的可扩展性。

  • 支持类似 C++ 的对象模型和(当前不被检查的)不安全所有权语义。

  • 不要求全局 GC ,同时语言的一个子集允许和 C++ 同等层次的“不安全”但能确保确定性的资源分配。

  • 支持正式意义上的 PTC ,而不需要用户程序内对栈溢出等未定义行为进行变通。

  • 使用隐式的潜在类型(latent typing) 而非显式的清单类型(manifest typing) 。

 

为了保持通用性,Unilang 不内建提供 GUI 功能,而通过库提供相关 API 。当前计划中,Unilang 将会支持基于 Qt 绑定的库,以便衔接过渡现有的一些桌面应用项目。Unilang 的语言设计保持足够的抽象能力和可扩展性,未来支持直接实现 GUI 框架。

 

另外,Unilang 在语言特性的层次上被设计为能支持不同的应用开发场景,但原则上对这些场景保持中立。这意味着,它可以同时支持服务端和客户端应用的开发,不需要用户切换思维范式或者大幅更改对语言的使用习惯。

 

更多资料:

https://github.com/linuxdeepin/unilang/blob/master/README.zh-CN.md

2022-09-20 15:003528

评论 2 条评论

发布
用户头像
谁用谁知道
2022-09-21 08:31 · 浙江
回复
用户头像
牛!去试试
2022-09-20 16:59 · 北京
回复
没有更多了
发现更多内容

80% 的程序员忽略的那些事 - 架构师常干的那些事

郎哲158

学习 极客大学架构师训练营

架构师训练营-作业-第一周

Max2012

极客大学架构师训练营

你附近的人都有谁,这个功能是怎么实现的?

老胡爱分享

redis geo

第一周学习总节

兵长

80%的程序员忽略的那些事-架构师是干什么的

郎哲158

学习 程序员 工程师 架构师 极客大学架构师训练营

第一周作业二:学习总结

登顶计划

极客时间架构师训练营第一周学习总结

Jacky.Chen

食堂就餐卡系统设计

orchid9

食堂就餐卡系统设计

星辰大海

学习

架构师训练营第 1 期-第一周学习总结

Todd-Lee

极客大学架构师训练营

第一周-学习总结

Yangjing

极客大学架构师训练营

就餐卡系统设计-UML图

scorpion

架构一期第一周作业

Airs

课程作业

店长:是新零售系统落地的核心环节

boshi

数字化 标准化 新零售

架构师培训第一节课学习总结

happy

架构师训练营 Week1 - 食堂就餐卡系统设计

极客大学架构师训练营

架構師訓練營第 1 期 - 第 01 周作業

Panda

架构师训练营第 1 期 第一周总结

张建亮

第一周学习总结

Croesus

食堂就餐卡系统设计

Yangjing

极客大学架构师训练营

架构师第一期作业(第一周)

Cheer

课程练习

架构师训练营第 1 期 命题作业

张建亮

系统用例图,组件图,组件时序图,部署图

Croesus

食堂就餐卡系统设计

蓝黑

极客大学架构师训练营

食堂就餐卡系统UML图

Jacky.Chen

目标:创业团队组织搭建的内在逻辑

boshi

创业 团队组织

食堂就餐卡系统设计

fmouse

第一周总结

fmouse

极客大学架构师训练营

架构师第一期作业

happy

架构师学习课程第一周学习总结

orchid9

第一周学习总结

崔方剑

极客大学架构师训练营

深度deepin开源自研编程语言 Unilang_文化 & 方法_褚杏娟_InfoQ精选文章