返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • OCaml语言编程基础教程 陈钢,张静 著 著作 专业科技 文轩网
  • 新华书店正版
    • 作者: 陈钢,张静 著著
    • 出版社: 人民邮电出版社
    • 出版时间:2018-06-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    文轩网图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

         https://product.suning.com/0070067633/11555288247.html

     

    商品参数
    • 作者: 陈钢,张静 著著
    • 出版社:人民邮电出版社
    • 出版时间:2018-06-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2018-06-01
    • 字数:460千字
    • 页数:314
    • 开本:16开
    • 装帧:平装
    • ISBN:9787115471215
    • 国别/地区:中国
    • 版权提供:人民邮电出版社

    OCaml语言编程基础教程

    作  者:陈钢,张静 著 著作
    定  价:79
    出 版 社:人民邮电出版社
    出版日期:2018年06月01日
    页  数:314
    装  帧:平装
    ISBN:9787115471215
    主编推荐

    当前,函数式语言和函数式编程掀起了一股新的热潮,人们用函数式语言开发出越来越多的应用和系统。OCaml就是一种函数式程序设计语言。本书是学习OCaml语言的入门读物,重点讲解函数式编程的基础知识以及OCaml语言编程技巧,同时兼顾应用软件开发的需求。本书注意将OCaml编程方式同其他语言的编程方式进行比较,便于熟悉其他语言的程序员理解OCaml的特点。书中给出了很多示例代码,并且在每章末尾给出了一些练习题,以帮助读者掌握所学的知识。附录部分给出了部分练习题的解答。本书适合想要了解函数式语言原理和学习OCaml程序设计的读者阅读参考。本书包括以下内容:★ 函数式控制结构及OCaml语言基础;★ 函数式数据结构;★ 模块化程序设计;★ 命令式程序设计;★ 模块化图形程序设计;★ 移植OCaml图形程序到F#;★ 多语言联合程null

    内容简介

    OCaml语言是一种函数式程序设计语言。本书重点介绍函数式编程的基础知识以及OCaml程序设计的技巧,同时兼顾应用软件开发的需求。全书共8章,前5章讲解OCaml语言的函数式控制结构、数据结构、模块化程序设计、命令式程序设计和图形程序设计;第6章介绍如何把OCaml移植到F#,第7章介绍通过C#开发的用户界面调用OCaml或F#程序,第8章介绍面向对象程序设计。本书适合想要学习OCaml程序语言或者想要学习函数式编程的读者阅读参考。

    作者简介

    陈钢航天科工集团三院304所国家千人计划专家,中国计算机学会会员。本科毕业于浙江大学数学,硕士毕业于北京大学计算机系,并在法国巴黎第七大学获得计算机博士学位。在OCaml语言和COQ定理证明器发源地受过专业训练,是靠前初次开展COQ定理证明工作及其在集成电路中的应用的学者,曾在上海交大、南澳大学、波士顿大学、摩托罗拉公司工作。2013年加入航天科工集团三院304所,从事基于定理证明的AES加密算法验证与FPGA实现研究、缺陷分析软件评估研究和形式化飞行控制数学研究。2017年组织了计算机学会“形式化工程数学”研讨会。张静 东北大学计算机专业本科毕业。在北京京航计算通讯研究所工作期间,跟随陈钢老师学习OCaml和COQ,并从事程序缺陷分析软件的评估工作。目前在中石油新疆油田从事信息系统管理工作。

    精彩内容

    目录
    第 1章  函数式控制结构 11.1  OCaml解释器  21.2  表达式和let定义  31.3  let局部定义  61.4  基本类型  81.4.1  整数类型int  91.4.2  浮点类型float  111.4.3  字符类型char  131.4.4  unit类型和简单输入输出  141.4.5  字符串类型string与  printf函数  151.4.6  bool类型和if表达式  181.5  乘积类型和模式匹配初步  211.6  函数和函数类型  231.6.1  简单函数  231.6.2  函数表达式  281.6.3  function和fun比较  301.6.4  高阶函数  311.6.5  递归函数  331.6.6  相互递归函数  361.6.7  模式匹配表达式  361.7  多态类型  401.7.1  类型变量  401.7.2  类型推导  421.8  λ演算对函数式语言的影响  441.9  中缀操作符与前缀操作符  451.10  同构函数和柯里化  461.11  循环迭代函数  471.12  本章小结  511.13  练习  52第  2章 函数式数据结构  552.1  函数式数据类型和自动存储管理  552.2  类型的显式定义  592.3  记录类型  612.3.1  记录类型和记录的创建  622.3.2  函数的记录参数  632.3.3  记录字段的重名  632.3.4  记录的部分重建  642.3.5  记录字段简写  652.3.6  多态记录类型  652.4  联合类型  652.4.1  带参数的构造子  672.4.2  由单个构造子构成的联合类型  682.4.3  递归类型  682.4.4  带多态变量的联合类型  702.4.5  表  702.4.6  值的递归定义  712.4.7  多态变体  712.5  表的编程技术  732.5.1  表的基本操作  732.5.2  定义表处理函数  752.5.3  线性表的同态映射  782.5.4  快速排序算法  802.6  函数运行时间分析  832.7  程序文件的解释执行和编译执行  852.8  和C语言比较执行效率  882.9  尾递归  902.10  option类型和关联表  912.11  带标签的函数参数以及  可选参数  922.11.1  标签参数  922.11.2  可选参数  932.11.3  标签参数和可选参数的显式类型说明  942.11.4  高阶函数与标签参数和可选参数  952.11.5  带标签的标准库  962.12  延迟求值  962.13  本章小结  982.14  练习  99第3章  模块化程序设计  1023.1  基于无序表的集合  1033.2  基于有序表的集合  1053.3  模块和接口  1063.4  函子  1113.5  函子的接口  1153.6  用Set库构造专用集合模块  1193.7  生成质数集合  1213.8  异常处理  1253.8.1  异常表达式  1253.8.2  异常捕获  1263.8.3  几个常见的异常  1283.9  模块的层次结构  1293.9.1  多层模块  1293.9.2  模块和文件  1303.9.3  自动模块化编译ocamlbuild  1323.9.4  多参数函子  1333.9.5  模块局部打开和模块包含  1343.10  模块用做表达式  1363.11  抽象类型  1383.11.1  抽象类型的作用和限制  1383.11.2  私有抽象类型  1393.11.3  局部抽象类型  1413.12  动态构造模块接口  1423.12.1  用接口构造接口  1433.12.2  从模块推导接口  1443.13  本章小结  1443.14  练习  146第4章  命令式程序设计  1494.1  引用变量和赋值语句  1504.2  可更改的记录分量  1534.3  数组  1554.4  字符串和字节序列  1604.5  弱类型变量和多态函数的部分作用  1634.6  Printf库和格式化输出  1654.7  Scanf库和格式化输入  1684.8  文件输入输出  1714.9  命令式控制结构  1744.9.1  赋值语句  1744.9.2  顺序控制  1754.9.3  操作符“|>”  1764.9.4  循环控制  1774.9.5  修改输入参数的函数  1784.10  编程案例:四向链表  1784.11  散列表、栈、队列及  命令式模块  1854.12  本章小结  1894.13  练习  190第5章  模块化图形程序设计  1925.1  生成带图形库的OCaml解释器  1935.2  图形窗口  1935.3  图形窗口初始化及参数设置  1965.4  事件循环  1985.5  颜色设置  1995.6  模块化图形编程  2005.7  文本数字环及字符串绘制  2045.8  端点小环及图形填充  2085.9  端点连接线及弧线绘制  2125.10  命令行参数  2175.11  电机接线图的完整代码  2205.12  本章小结  2255.13  练习  226第6章  移植OCaml图形程序到F#  2296.1  打开窗体  2306.2  窗体初始化  2326.3  在窗体中间画圆  2346.4  基本作图模块  2356.5  文本数字环  2396.6  端点小环  2426.7  连接线  2446.8  F#版电机接线图完整代码  2456.9  怎样提高OCaml代码的可移植性  2526.10  本章小结  2536.11  练习  254第7章  多语言联合程序设计  2557.1  软件总体架构  2557.2  C#调用OCaml命令行作图程序  2577.3  C#调用F#动态共享DLL作图程序库  2597.4  C#调用Access数据库  2617.5  本章小结  264第8章  面向对象程序设计  2658.1  类和对象  2668.2  基于对象方法画电机圆  2688.3  类的继承  2698.4  多重继承  2718.5  多重继承中的同名方法  2728.6  同名方法的延迟绑定  2758.7  私有方法  2758.8  虚拟类和子类型  2768.9  类中的多态类型  2798.10  多态类的继承  2838.11  二元方法  2878.12  子类型与子类  2888.13  类的类型  2928.14  对象之间的相等关系  2938.15  面向对象的电动机接线程序  2948.16  本章小结  3038.17  练习  305附录  部分习题参考答案  307参考文献  315

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购