elvysh-main:用于定义替代程序入口点的标头

【文件属性】：
文件名称：elvysh-main:用于定义替代程序入口点的标头
文件大小：4KB
文件格式：ZIP
更新时间：2021-06-12 08:22:37
ATS elvysh-main 用于定义替代程序入口点的标头。 ATS提供的main入口点暴露了传统 C main接口的运行时组件，但没有提供任何方法来传递只有ATS的丰富类型系统才能表达的初始全局程序状态证明。 例如，在POSIX系统上，文件描述符0在main的开头是打开和可读的，利用ATS丰富的线性类型系统来表达这一事实会很好。 每个入口点都由一个.hats文件表示，该文件将通过#include导入。 每个都为要使用的备用main函数定义了一个原型，并且期望包含.hats文件的文件也实现新函数。 每个.hats文件都实现了main 。 可选使用的视图 在某些情况下，入口点可能想要定义一个视图，该视图可能会在程序结束之前被使用，但并非必须如此。 例如，POSIX 允许您close文件描述符0 。 may maybe-consumed.sats通过定义一个数据视图来解决这个问题，该数据视图可

【文件预览】：
elvysh-main-master
----LICENSE(1KB)
----README.md(2KB)
----include()
--------elvysh()