首页 文库资料 文章资讯  上传文档  发布文章  登录账户

分类

全部后端开发(3)其它语言(2)Idris(1)

语言

全部中文（简体）(3)

格式

全部PDF文档 PDF(3)
 
本次搜索耗时 0.024 秒，为您找到相关结果约 3 个.

  • pdf文档 MoonBit月兔编程语言 现代编程思想 第六课 泛型与高阶函数

    泛型和函数是⼀等公⺠的概念 数据结构堆栈与队列的实现 推荐阅读 Software Foundations 第四章 或 Programming Language Foundations in Agda 第⼗章 27
    0 码力 | 27 页 | 2.56 MB | 1 年前
    3

  • pdf文档 MoonBit月兔编程语言 现代编程思想 第三课 函数, 列表与递归

    数据结构：列表的定义与模式匹配 算法：递归的含义与运算，以及动态规划 拓展阅读 Software Foundations 前三章 或 Programming Language Foundations in Agda 前三章 《算法导论》第⼗四章 42
    0 码力 | 42 页 | 587.59 KB | 1 年前
    3

  • pdf文档 Idris 语言文档 Version 1.3.1

    奤 奩 奮 奩 奴 奩 奡奬 奩 女 奥 奡 奷 奯奲 奤 奬 奩 女 奴 奡女 奦 奯奬 奬 奯奷 女 夺 words : ?wtype words = with Vect ["idris","agda","haskell","miranda", "java","javascript","fortran","basic", "coffeescript","rust"] wtype = proof
    0 码力 | 224 页 | 2.06 MB | 1 年前
    3
共 3 条
  • 1
前往
页
相关搜索词
MoonBit编程语言编程语言现代思想第六六课第六课泛型高阶函数第三三课第三课列表递归Idris函数式编程语言HaskellOCaml