分享
VIP会员
作者：CSDN
出版社：CSDN《程序员》
ISBN：1111111111117
VIP会员免费
（仅需0.8元/天）
¥ 40000.0
温馨提示： 价值40000元的1000本电子书，VIP会员随意看哦！
电子书推荐
-
-
[Haskell] 真实世界的Haskell (英文版) 评分:
☆ 资源说明：☆ [奥莱理] 真实世界的Haskell (英文版) [奥莱理] Real World Haskell (E-Book) ☆ 出版信息：☆ [作者信息] Bryan O'Sullivan, John Goerzen, Don Stewart [出版机构] 奥莱理 [出版日期] 2008年12月01日 [图书页数] 714页 [图书语言] 英语 [图书格式] PDF 格式
上传时间：2013-08 大小：3.44MB
9KBrealworldhaskell:真实世界 Haskell 的练习
2021-06-03#真实世界哈斯克尔 我正在完成一书的练习。
- 272KB
book-real-world-haskell：真实世界的Haskell源代码
2021-02-04book-real-world-haskell：真实世界的Haskell源代码
- 167KB
RealWorldHaskell:真实世界的Haskell源代码-Source code world
2021-03-25真实世界 解析器，用于获取“真实世界haskell”（ ）一书中的代码示例。 （当然）是用haskell编写的。 由于不同的原因，代码示例不完整。 例如：有时文件的部分不按升序排列。 此仓库的目的是允许轻松访问/减少对本书中编写的代码的复制/粘贴。 一些源需要修复才能被编译/工作。 在这种情况下，原始文件保存在以下位置：file.hs-> file.orig.hs 档案 parse-code.hs-页面/程序列表的下载/解析器 * .orig.hs-需要修复的已解析程序列表 else * .hs-解析的程序列表
- 12KB
software-design-in-haskell:Haskell 中的软件设计。 一组结构化的材料。 如何在 Haskell 中构建真实世界的应用程序
2021-08-04真实世界的编程指南| 塞拉诺，亚历杭德罗真实世界 Haskell | 布莱恩·奥沙利文、唐·斯图尔特、约翰·戈尔岑最新的真实世界 Haskell | 布莱恩·奥沙利文、唐·斯图尔特、约翰·戈尔岑、泰·桑多瓦尔Haskell 设计...
- 29KB
real-world-haskell-chapter-10:真实世界Haskell第10章演练
2021-04-30真实世界Haskell是一本学习Haskell的好书，但其中一章（第10章）因给初学者带来困难而臭名昭著。 它以一种非常round回的方式介绍了重要的概念，并且在某些情况下甚至无法运行复杂的代码示例。 而且，它充满了无法按...
- 163KB
zero-bullshit-haskell：学习Haskell，不用废话
2021-02-04这次是真实的。 :rocket:目录练习指数初学者 工作正在进行中介绍Haskell是一门美丽的语言。 虽然这不是一种容易学习的语言。 尤其是如果您在面向对象/命令式编程方面具有多年经验，那么进入Haskell可能会有些痛苦。...
- 18KB
SemanticsRealWorldDebugging:PLDI 论文“Algorithmic Debugging of Real-World Haskell Programs 中的可执行语义”
2021-06-02真实世界 Haskell 程序的算法调试：从成本中心堆栈导出依赖项 这是在 PLDI 2015 上发表的 Maarten Faddegon 和 Olaf Chitil 论文“真实世界 Haskell 程序的算法调试：从成本中心堆栈派生依赖关系”中描述的可执行...
- 6.57MB
Functional-Programming:通过实践和考试的完整Haskell教程
2021-05-18功能编程通过实践完成Haskell教程： 练习1•主题：Haskell基础知识，函数定义•强制性阅读：learnyouahaskell.com章节“婴儿的第一个函数”•进一步阅读：真实世界中Haskell的章节“类型和函数” 练习2•主题：数据...
7.26MB《真实世界的生态学：大尺度长期案例研究与方法》英文版
2016-12-13《真实世界的生态学：大尺度长期案例研究与方法》英文版
- 1KB
chiroptical:流进度，想法和项目
2021-05-31真实世界 Haskell 书籍（潜在） 功能设计和架构 中级 Haskell （可能永远不会发布） 计算机程序的结构和解释不是 Haskell，但我们可以转换它？ 从 C到 Haskell 的动手网络编程？ 不是 Haskell，但我们可以转换它？ ...
- 19KB
henk:纯类型系统语言-将henk 2000移植到megaparsec，非常漂亮
2021-05-04用于函数式编程的纯类型系统 参见 我们提出了一种基于纯类型系统（PTS）的函数式编程语言。... 这种程序的“真实世界”示例是通用Haskell函数的专业化到Haskell函数的映射。 与西蒙·佩顿·琼斯（Simon
- 121KB
仆人光束真实世界示例应用程序：由Servant和Beam支持的示例性全栈Medium.com克隆
2021-02-04仆人光束真实世界示例应用程序：由Servant和Beam支持的示例性全栈Medium.com克隆
- 2KB
xfb2xfb:由前Facebook人士撰写，针对前Facebook人士-相似技术和服务的查询表
2021-05-18灵感来源： ， ， 技术Facebook内部开源/真实世界云/商业笔记巴克，，小兔子， 夺旗Codemod 配置器崩溃报告 立体主义数据群空气流动三角肌Google优化FBNet NSOT FBNet FCR FCR FB推FB推FBTrace Jaegar ， Zipkin ，...
64.70MBScala函数式编程
2019-03-18“里面的练习有些挑战，很有趣，对你在真实世界中使用它很有益。” ——Chris Nauroth， Hortonworks “边干边学，而非只是阅读。” ——Douglas Alan、Eli和Edythe L. Broad，哈佛和麻省理工学院
- 121KB
浅析Nginx配置文件中的变量的编写使用
2021-01-11nginx 的配置文件使用的就是一门微型的编程语言，许多真实世界里的 Nginx 配置文件其实就是一个一个的小程序。当然，是不是“图灵完全的”暂且不论，至少据我观察，它在设计上受 Perl 和 Bourne shell 这两种语言的...
- 5KB
ruby-props:使用 ruby 和 rantly 进行基于属性的测试
2021-07-13#Ruby 中基于属性的测试运行示例： bundle installbundle exec rake基于属性的测试QuickCheck 来自 Haskell 的世界您创建输入的 assamptions(properties) 以保存真实陈述您让该工具为您测试的方法生成输入您发现了...
0BQt 5实现串口调试助手 （源工程文件、0积分下载）
2021-12-06基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
- 47.24MB
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
2021-02-25SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 function逻辑电路 33 task时序电路 35 动态 静态变量 39 1.3 设计例化和连接 45 第二章 验证的方法 393 动态仿真 395 静态检查 397 虚拟模型 403 硬件加速 405 效能验证 408 性能验证 410 第三章 SV组件实现 99 3.1 接口 100 什么是interface 101 接口的优势 108 3.2 采样和数据驱动 112 竞争问题 113 接口中的时序块clocking 123 利于clocking的驱动 133 3.3 测试的开始和结束 136 仿真开始 139 program隐式结束 143 program显式结束 145 软件域program 147 3.4 调试方法 150 第四章 验证的计划 166 4.1 计划概述 166 4.2 计划的内容 173 4.3 计划的实现 185 4.4 计划的进程评估 194 第五章 验证的管理 277 6.1 验证的周期检查 277 6.2 管理三要素 291 6.3 验证的收敛 303 6.4 问题追踪 314 6.5 团队建设 321 6.6 验证的专业化 330 第六章 验证平台的结构 48 2.1 测试平台 49 2.2 硬件设计描述 55 MCDF接口描述 58 MCDF接口时序 62 MCDF寄存器描述 65 2.3 激励发生器 67 channel initiator 72 register initiator 73 2.4 监测器 74 2.5 比较器 81 2.6 验证结构 95 第七章 激励发生封装：类 209 5.1 概述 209 5.2 类的成员 233 5.3 类的继承 245 三种类型权限 protected/local/public 247 this super 253 成员覆盖 257 5.4 句柄的使用 263 5.5 包的使用 269 第八章 激励发生的随机化 340 7.1 随机约束和分布 340 权重分布 353 条件约束 355 7.2 约束块控制 358 7.3 随机函数 366 7.4 数组约束 373 7.5 随机控制 388 第九章 线程与通信 432 9.1 线程的使用 432 9.2 线程的控制 441 三个fork...join 443 等待衍生线程 451 停止线程disable 451 9.3 线程的通信 458 第十章 进程评估：覆盖率 495 10.1 覆盖率类型 495 10.2 功能覆盖策略 510 10.3 覆盖组 516 10.4 数据采样 524 10.5 覆盖选项 544 10.6 数据分析 550 第十一章 SV语言核心进阶 552 11.1 类型转换 552 11.2 虚方法 564 11.3 对象拷贝 575 11.4 回调函数 584 11.5 参数化的类 590 第十二章 UVM简介 392 8.2 UVM简介 414 8.3 UVM组件 420 8.4 UVM环境 425
- 131.54MB
AutoSAR标准协议4.2.2
2020-01-19AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
- 2.13MB
光伏-储能并网系统仿真.rar
2021-12-31该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
- 35KB
NPPJSONViewer.zip
2022-01-17NodePad++ JSON格式化插件
- 339KB
GD32替换STM32注意事项.pdf
2020-04-12GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
- 1.50MB
XCP协议的规范文档
2020-01-19XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
- 5.0MB
VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi
2021-08-06vs2015.iso包安装，不然会卡在安装包丢失或损坏
- 2KB
CANoe通过CAPL脚本实现自动测试
2020-12-12现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。
- 8.81MB
蓝牙BLE协议中文版.pdf
2020-06-16蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致
- 1KB
BaiduOCR.zip
2021-06-27按键精灵百度文字识别 自定义库 使用说明参考：https://blog.csdn.net/sinat_22215253/article/details/118272746
