您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 扫帚:一种具有一流模块和代数效果的编程语言-源码

  2. 扫帚 具有一流模块和代数效果的编程语言。 仍在进行中(即尚未使用)。 表征和计划特征 功能第一 严格评估(按价值要求) 强静态键入 参数,较高等级和强制性多态性 类型推断(但不让泛化) 模块化隐式 广义代数数据类型 ML样式的模块系统还支持递归和一流的模块 代数效应 模块和效果基于行类型 (摘要)语法 program ::= defs repl_input ::= stmts stmt ::= def | expr stmts ::= (stmt (";" stmt)*)? ";"? al
  3. 所属分类:其它

    • 发布日期:2021-02-16
    • 文件大小:305152
    • 提供者:weixin_42139042