标签分类
当前位置:首页 > 程序设计电子书 > OCaml电子书网盘下载
Real World OCaml(真实世界的OCaml) Real World OCaml(真实世界的OCaml)
码小辫

码小辫 提供上传

资源
39
粉丝
2
喜欢
100
评论
14

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

    OCaml电子书
    • 发布时间:

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

  • Real World OCaml(真实世界的OCaml) PDF 下载
  • 下载地址:https://pan.baidu.com/s/1d0714Fpmi6SIINE_TZj48g
  • 分享码:4rv5
  • 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游戏与计算机图形学中的数学方法  下一篇:学习JavaScript数据结构与算法

    展开 +

    收起 -

    码小辫二维码
     ←点击下载即可登录

    OCaml相关电子书
    学习笔记
    网友NO.349966

    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.213845

    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.595840

    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.708395

    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-2019 xz577.com 码农之家

    版权责任说明