ina:实验计算介质和支持工具 源码
在一个 该平台的目标和预期收益 大多与主机平台无关在通用浏览器中运行或在通用操作系统下本机运行 适用于所有内容的高级通用数据格式 所有数据均可访问且易于处理 所有程序都可以轻松地相互通信 “编程”是互动的主要形式 随时随地评估任何事物,并立即获得反馈 计算轻量级:精确控制资源消耗 功能安全默认情况下,所有程序都可以安全运行 数据/平台的任何子集的独立包装/迁移 一切都是网络感知的 任何事物的任何子集都可以分布 任意拓扑,典型的是无服务器对等 安全的通信和签名 隐私感知的协作工作区 一切都是“版本控制”的,并且所有依赖项都被跟踪 没有真正的版本,只有可以共存的替代品 持久的依赖关系解决方案(没有地狱,没有bitrot,没有“升级后悔”) 您所依赖的事物永远不会隐式更新/替换/移除 识别潜在的依赖性更改,可以显式传播识别可能是由于出处和/或模式匹配 安全地进行推测性更改,原件不被破坏依赖关系
文件列表
ina-master.zip
(预估有个99文件)
ina-master
bootstrap
term.rkt
682B
substitution.rkt
3KB
operation.rkt
6KB
unsafe2.rkt
16KB
unsafe0.rkt
2KB
parsing.rkt
5KB
denotation.rkt
5KB
stage0.html
47KB
暂无评论