登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 鲶鱼之怒：日本大众文化中的天灾·疫病·怪异 》 售價：NT$ 352.0 《 经典译林：罗生门 》 售價：NT$ 199.0 《 现场：细读《史记》 》 售價：NT$ 250.0 《 传奇与绝技：木拱桥里的中国营造智慧 》 售價：NT$ 398.0 《 正史纂修与重建史观：辽金元的视角（博雅史学论丛中国史系列） 》 售價：NT$ 607.0 《 英国工业革命：经济的质变、世界工厂的建成与海洋霸主地位的确立 陆海书系 》 售價：NT$ 434.0 《 汉亡哲思录：儒家思想与东汉三国关系新解 》 售價：NT$ 500.0 《 汉字东渡：日本汉字趣味谈 》 售價：NT$ 398.0

建議一齊購買： + NT$ 514 《Python应用开发实战》 + NT$ 514 《图解数据结构--使用Python》 + NT$ 579 《现代编译原理 C语言描述 修订版》 + NT$ 319 《HTTP/2基础教程》 + NT$ 497 《函数式算法设计珠玑》 + NT$ 518 《Haskell函数式程序设计》 編輯推薦： 当前，函数式语言和函数式编程掀起了一股新的热潮，人们用函数式语言开发出越来越多的应用和系统。OCaml就是一种函数式程序设计语言。 本书是学习OCaml语言的入门读物，重点讲解函数式编程的基础知识以及OCaml语言编程技巧，同时兼顾应用软件开发的需求。本书注意将OCaml编程方式同其他语言的编程方式进行比较，便于熟悉其他语言的程序员理解OCaml的特点。书中给出了很多示例代码，并且在每章末尾给出了一些练习题，以帮助读者掌握所学的知识。附录部分给出了部分练习题的解答。 本书适合想要了解函数式语言原理和学习OCaml程序设计的读者阅读参考。 本书包括以下内容： ★ 函数式控制结构及OCaml语言基础； ★ 函数式数据结构； ★ 模块化程序设计； ★ 命令式程序设计； ★ 模块化图形程序设计； ★ 移植OCaml图形程序到F#； ★ 多语言联合程序设计； ★ 面向对象程序设计。 本书深入浅出，循序渐进，非常适合初学者从零起步阅读和学习。另一方面，书中不仅讨论了大量语言特征的情况和编程技术问题，也介绍了一些背景和相关理论问题，以帮助读者更清晰地理解函数式编程的思想、技术和方法。本书的出版将大大 內容簡介： 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，并从事程序缺陷分析软件的评估工作。目前在中石油新疆油田从事信息系统管理工作。

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2025 （香港）大書城有限公司　All Rights Reserved.