当前位置:首页 > 电子书 > 电子书下载 > 程序设计 >
Real World OCaml(真实世界的OCaml) Real World OCaml(真实世界的OCaml)
码农之家

码农之家 提供上传

资源
34
粉丝
38
喜欢
205
评论
10

    Real World OCaml(真实世界的OCaml) PDF 中文版

    OCaml电子书
    • 发布时间:2019-10-02 09:09:10

    给大家带来的一篇关于OCaml相关的电子书资源,介绍了关于真实世界、OCaml方面的内容,本书是由中国电力出版社出版,格式为PDF,资源大小58.4 MB,闵斯基编写,目前豆瓣、亚马逊、当当、京东等电子书综合评分为:8.5。

  • Real World OCaml(真实世界的OCaml) PDF 下载
  • 下载地址:https://pan.baidu.com/s/1d0714Fpmi6SIINE_TZj48
  • 提取码:4rv7
  • Real World OCaml(真实世界的OCaml)PDF

    Real World OCaml(中文版)将带你快速认识一种工业强度级的编程语言——OCaml,这是为实现表达性、安全性和高速度而设计的一种语言。通过书中提供的丰富的例子,你会很快了解OCaml是怎样能够脱颖而出,并用来编写快速、简洁和可读的系统代码的。

    本书将轻松地带你了解这种语言的基本要领,然后帮助你学习有关的工具和技术,正是这些工具和技术使OCaml成为一个有效而且实用的工具。在本书的第三部分,你会深入学习编译器工具链以及OCaml简单而有效的运行时系统的详细内容。

    学习OCaml语言的基础知识,如高阶函数、代数数据类型和模块。
    研究OCaml的高级特性,如仿函数、首类模块和对象。
    充分利用Core,这是面向OCaml的一个全面的通用标准库。
    设计有效而且可重用的库,保证OCaml大多数方法的抽象性和模块性。
    解决各种实际的编程问题,从命令行解析到异步网络编程都涵盖在内。
    利用GNU gdb等工具分析性能测试和交互式调试技术。

    目录

    • 第一部分语言概念
    • 第1章导览旅行
    • 第2章变量和函数
    • 第3章列表和模式
    • 第4章文件、模块和程序
    • 第5章记录
    • 第6章变体
    • 第7章错误处理
    • 第8章命令式编程
    • 第9章仿函数
    • 第10章首类模块
    • 第11章对象
    • 第12章类
    • 第二部分工具和技术
    • 第13章映射和散列表
    • 第14章命令行解析
    • 第15章处理JSON数据
    • 第16章用OCamllex和Menhir完成解析
    • 第17章利用S-表达式实现数据串行化
    • 第18章利用Async实现并发编程
    • 第三部分运行时系统
    • 第19章外部函数接口
    • 第20章值的内存表示
    • 第21章了解垃圾回收器
    • 第22章编译器前端:解析和类型检查
    • 第23章编译器后端:字节码和原生代码

    上一篇:3D游戏与计算机图形学中的数学方法

    下一篇:决战大数据:驾驭未来商业的利器

    展开 +

    收起 -

     
    OCaml 相关内容
    CSS世界
    CSS世界 完整版

    本书从前端开发人员的需求出发,全面且深入地讲解前端开发人员必须了解和掌握的大量的CSS知识点,是一本CSS深度学习的书,介绍了大量许多前端开发人员都不知道的CSS知识点

    立即下载
    极限创新:35岁之前改变世界的全球科技精英
    极限创新:35岁之前改变世界的全球科技精英 高质量原版

    英国國家工程院院士、斯坦福学校终身教授张首晟,国家能源委员会专家咨询联合会委员会李俊峰倾情强烈推荐。谷歌创始人拉里佩琦,百度网前总裁生物学家吴恩达,麻省理工大学专家教授

    立即下载
    我的Python世界(Minecraft我的世界)
    我的Python世界(Minecraft我的世界) 超清完整版

    Python是一种表述型、面向对象编程、动态性数据类型的gao级编程语言,它具备丰富多彩和强劲的库,可以把用别的語言(特别是在是C/C++)制做的各种各样控制模块很轻轻松松地联接一起。这

    立即下载
    数据不说谎:大数据之下的世界
    数据不说谎:大数据之下的世界 原书扫描版

    专业数据分析团队“城市数据团”全新力作,“团支书”结合社会热点,用大数据和数据挖掘分析数据背后的故事。趣味性强,语言幽默,知识丰富,教会读者用大数据做出正确的判断。

    立即下载
    人工智能:改变世界,重建未来
    人工智能:改变世界,重建未来 原版超清版

    为什么只有在有限公司范畴应用的弱人工智能忽然越来越聪明起来?有着人们的想像力、拷贝人们的逻辑思维、与人们恩爱人工智能到底能走多远?大数据时代,人们的工作中、使用价值、逻

    立即下载
    学习笔记
    网友NO.881979

    Java/Android 获取网络重定向文件的真实URL的示例代码

    前言: 今天在测试使用第三方提供的URL进行文件下载的时候,得到了一个被重定向的url。很不幸的是这个URL对于我来说没办法进行文件下载。这时候就需要获得重定向文件的真实URL。 问题分析 : 其实Java 使用HttpURLConnection下载的的时候,会自动下载重定向后的文件,但是我们无法获知目标文件的真实文件名,文件类型,用下面的方法可以得到真实的URL 解决方案 : 需要注意的是在Android 4.0之后网络请求不能在主线程执行 new Thread(new Runnable() { @Override public void run() { String str = "http://118.31.73.173:8080/magnet/play.m3u8?code=4459d2600da1379a9b06967edf518c05f0c9b43177cf28d9a70070264c228693e3888b2ab265521e01e6034c807bebdf02da4ebbf208065fd4b2d0062a3e3d83abe2c0659500dc168a9c0ba6a9098320ee4040ce57e7c57d9e1ec3f03900f631c84df0e6f38669d73ad6102fd0169b2907c3707cc2b71f5de6d789"; URL url = null; try { url = new URL(str); HttpURLConnection conn = (HttpURLConnection) url.openConnection(); conn.getResponseCode(); final String realUrl = conn.getURL().toString(); conn.disconnect(); Log.e("asd", "真实URL:" + realUrl); } catch (MalformedURLException e) { e.printStackTrace(); } catch (IOException e) { e.printStackTrace(); } } }).start(); 最后不要忘了添加网络权限 uses-permission android:name="android.permission.INTERNET"/ 以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持码农之家。 ……

    网友NO.692146

    python获取文件真实链接的方法,针对于302返回码

    使用模块requests 方式代码如下: import requests url_string="https://******" r = requests.head(url_string, stream=True) print r.headers['Location'] 扩展: 设置属性:allow_redirects = True ,则head方式会自动解析重定向链接,requests.get()方法的allow_redirects默认为True,head方法默认为False url_string="https://******" r = requests.head(url_string, stream=True, allow_redirects=True) # print r.headers['Location'] print r.headers["Content-Length"] 使用requests.get()方法,该方法会自动解析重定向的链接. 实例: import requests url_string="https://******" r = requests.get(url_string, stream=True) print r.headers["Content-Length"] 以上这篇python获取文件真实链接的方法,针对于302返回码就是小编分享给大家的全部内容了,希望能给大家一个参考,也希望大家多多支持码农之家。 ……

    网友NO.944068

    python爬虫 使用真实浏览器打开网页的两种方法总结

    下面为大家分享一篇python爬虫 使用真实浏览器打开网页的两种方法总结,具有很好的参考价值,希望对大家有所帮助。一起过来看看吧 1.使用系统自带库 os 这种方法的优点是,任何浏览器都能够使用, 缺点不能自如的打开一个又一个的网页 import os os.system('C:/Program Files/Internet Explorer/iexplore.exe http://www.baidu.com') 2.使用python 集成的库 webbroswer python的webbrowser模块支持对浏览器进行一些操作,主要有以下三个方法: import webbrowser webbrowser.open(url, new=0, autoraise=True) webbrowser.open_new(url) webbrowser.open_new_tab(url) 他们虽然是三个方法, 其实还是一个方法, 只是传递的参数不同 webbrowser.open(url, new=0, autoraise=True) 在系统的默认浏览器中访问url地址,如果new=0, url会在同一个 浏览器窗口中打开;如果new=1,新的浏览器窗口会被打开;new=2 新的浏览器tab会被打开 其他的两个函数 webbrowser.open_new(url),webbrowser.open_new_tab(url)其实都是返回了webbrowser.open() 这个方法 只是他们没有其他的两个参数了。 在调用其他的浏览器的时候需要提前注册, 否则打开页面的是默认浏览器 import webbrowser chromePath = r'你的浏览器目录' # 例如我的:D:\Google\Chrome\Application\chrome.exe webbrowser.register('chrome', None, webbrowser.BackgroundBrowser(chromePath)) #这里的'chrome'可以用其它任意名字,如chro……

    网友NO.603435

    Python数据分析之真实IP请求Pandas详解

    前言 pandas 是基于 Numpy 构建的含有更高级数据结构和工具的数据分析包类似于 Numpy 的核心是 ndarray,pandas 也是围绕着 Series 和 DataFrame 两个核心数据结构展开的 。Series 和 DataFrame 分别对应于一维的序列和二维的表结构。pandas 约定俗成的导入方法如下: from pandas import Series,DataFrameimport pandas as pd 1.1. Pandas分析步骤 1、载入日志数据 2、载入area_ip数据 3、将 real_ip 请求数 进行 COUNT。类似如下SQL: SELECT inet_aton(l.real_ip), count(*), a.addrFROM log AS lINNER JOIN area_ip AS a ON a.start_ip_num = inet_aton(l.real_ip) AND a.end_ip_num = inet_aton(l.real_ip)GROUP BY real_ipORDER BY count(*)LIMIT 0, 100; 1.2. 代码 cat pd_ng_log_stat.py#!/usr/bin/env python#-*- coding: utf-8 -*- from ng_line_parser import NgLineParser import pandas as pdimport socketimport struct class PDNgLogStat(object): def __init__(self): self.ng_line_parser = NgLineParser() def _log_line_iter(self, pathes): """解析文件中的每一行并生成一个迭代器""" for path in pathes: with open(path, 'r') as f: for index, line in enumerate(f): self.ng_line_parser.parse(line) yield self.ng_line_parser.to_dict() def _ip2num(self, ip): """用于IP转化为数字""" ip_num = -1 try: # 将IP转化成INT/LONG 数字 ip_num = socket.ntohl(struct.unpack("I",socket.inet_aton(str(ip)))[0]) except: pass finally: return ip_num def _get_addr_by_ip(self, ip): """通过给的IP获得地址""" ip_num = self._……

    电子书 编程教程 文档 软件 源码 视频

    Copyright 2018-2020 xz577.com 码农之家

    本站所有电子书资源不再提供下载地址,只分享来路

    免责声明:网站所有作品均由会员网上搜集共同更新,仅供读者预览及学习交流使用,下载后请24小时内删除

    版权投诉 / 书籍推广 / 赞助:QQ:520161757