阿尔法
插件
阿尔法具有简单的插件接口,允许哈斯克尔程序员到编写插件模块,以扩展Alfa的各种核心功能方式。其目的是可以开发和分发插件独立于Alfa,但目前是插件模块必须硬连线到Alfa。(这是因为目前的哈斯克尔实现不支持动态代码加载。)
Alfa目前附带少量插件:
- GF公司
- 翻译形式证明(即阿尔法)自然语言。目前,有人支持英语、法语和瑞典语,但可以通过以下方式添加更多语言用户。(之所以称为GF,是因为它是使用语法框架,GF.)
- 年度股东大会
- 使用Alfa作为GF的备用用户界面。
- 得到
- 为数据类型生成相等关系。
- 佩斯卡
- 生成自然演绎风格的证明命题逻辑公式。
- 笨蛋
- 插件接口的简单测试。允许在Alfa中打开纯文本文件。统计数量保存并重新打开文件的时间。
其中大多数处于实验和/或未记录状态。。。激活插件模块
启动Alfa时,默认情况下不会激活任何插件。通过供应国旗-插件
,
alfa--插件
全部的插件被激活。您可以选择性地激活一些插件,方法是在-插件
标志,例如。,
alfa--插件GF:Pesca
alfa--插件派生
Alfa在以下情况下在终端窗口中宣布插件激活阿尔法开始了。插件通常也会在当整个文档已选定:
使用插件
当然,如何使用插件取决于插件。在通常,用户通过出现的额外命令与插件交互在菜单中。这些命令可以提供
- 构造/修改定义和表达式的新方法。
- 定义和表达。
- ...
此外,插件可以
- 显示有关文档所选部分的其他信息。
- 允许打开其他格式的文件并将其转换为Alfa文件。
- 将特定于插件的额外信息放入保存的文档中。
- ...