文件名称:hreyfan:一种用于移动代码的编程语言
文件大小:48KB
文件格式:ZIP
更新时间:2024-05-06 07:08:58
programming-language distributed-systems mobile-code
Hreyfan —移动代码的编程语言 Hreyfan是一种分布式系统编程语言,旨在用于程序组件可以在空间上分布和移动的应用程序。 它是一种基于对象的语言,具有用于确保安全通信的面向类型状态的功能,以及用于确保安全使用移动资源的静态,模态类型系统。 名称和徽标的由来 赫雷凡(Hreyfan)是北欧人,也是冰岛人,喜欢“运动”。 它的冰岛语发音接近英语单词“ raven”。 确实,英语和北欧语单词之间有着深深的交织-维京人用乌鸦来帮助他们在海上航行,并发现新的土地:他们会在船上随身携带一些乌鸦。 一旦在海上足够远,他们就会释放一只乌鸦,注意它飞行的方向,如果乌鸦没有回来,他们可以得出一个假设,认为该方向有陆地。 乌鸦使Viking在全球范围内具有移动性,而Hreyfan使得代码在全世界范围内具有移动性。 之所以选择这种以北欧为主题的名称,是因为Hreyfan受编程语言Emerald和极大启发
【文件预览】:
hreyfan-master
----images()
--------raven.svg(121KB)
----.gitignore(1KB)
----README.md(1KB)