保存此搜索
使用可扩展数据类型的泛型编程:或者,减少特殊可扩展数据的特殊性 我们提出了一种在可扩展数据类型上进行泛型编程的新方法。 行类型捕获记录和变量的结构,并可用于表示记录和变量子类型、记录扩展和案例分支的模块化组合。。。 研究论文 2022年8月 线性限定类型:功能和唯一性的泛型推理 线性参数必须在其函数体中使用一次。 当将资源(如文件句柄和手动管理的内存)声明为线性参数时,线性类型系统可以验证这些资源的使用是否安全。 然而。。。 研究论文 2019年1月 抽象可扩展数据类型:或按任何其他名称提取行 我们提出了一种用于可扩展数据类型的新型类型化语言,对现有的行类型系统和行多态性进行了概括和抽象。 可扩展数据类型是对传统函数式编程语言的有力补充,可以捕捉思想。。。 研究论文 2016年9月 两全其美:不折不扣的线性函数编程 我们提出了一种线性函数演算,它既具有可用线性类型表示的安全保证,又具有函数编程提供的丰富的组合子和组合语言。 与以前线性类型和函数的组合不同。。。 另发布于: ACM SIGPLAN通知:第51卷2016年9月9日发布 研究论文 2010年9月 实例链 :没有重叠实例的类型类编程 类型类在Haskell程序中有着广泛的用途,从简单的操作符重载(例如等式或排序)到用于实现类型安全异类列表或有限子类型的复杂不变量。 不幸的是,许多。。。 另发布于: ACM SIGPLAN通知:第45卷,2010年9月9日发行 -
研究论文 2008年9月 功能依赖的语言和程序设计 八年前,函数依赖(一个来自关系数据库理论的概念)被提出,作为避免Haskell中多参数类型类常见问题的机制。 在这种情况下,函数依赖提供了。。。 另发布于: ACM SIGPLAN通知:第44卷第2期2009年2月 第条 2007年10月 带有子效果限定符的通用用法分析 共享分析和唯一性类型是静态分析,旨在确定程序的哪个对象最多使用一次。 这两种形式的使用分析有很多共同点。 我们通过……使他们的联系更加精确。。。 另发布于: ACM SIGPLAN通知:第42卷2007年9月9日发行 第条 2006年9月 函数语言中的强类型存储区编程系统级数据结构 现代函数式语言提供了一些吸引人的特性,以支持可靠和安全软件的开发。 然而,在我们努力将Haskell用于系统编程任务(包括设备驱动程序和操作系统构造)时,我们已经。。。 第条 2005年9月 低级表示的高级视图 本文解释了函数式语言中数据类型的高级处理(使用构造函数和模式匹配等功能)如何与 位数据 。我们使用这个术语来描述数据的位级表示。。。 另发布于: ACM SIGPLAN通知:第40卷2005年9月9日发行 第条 2005年9月 MLF的合格类型 MLF是一种类型系统,它扩展了一种具有非独立秩的函数语言- n个 多态性。 类型推断仍然是可能的,只有在某些明确定义的情况下,才需要局部类型注释。 限定类型是一个通用概念。。。 另发布于: ACM SIGPLAN通知:第40卷2005年9月9日发行 第条 2002年9月 主要类型专业化 类型专业化 是一种与 二者都 一个程序及其类型,以生成每个程序的专门版本。 由于它结合了许多强大的功能,它似乎是一个很好的自动程序生成框架。。。