/ TheLittleTyper
TheLittleTyper
TheLittleTyper
Anintroductiontodependenttypes,demonstratingthemostbeautifulaspects,onestepatatime.Aprogram'stypedescribesitsbehavior.Dependenttypesareafirst-classpartofalanguage,andaremuchmorepowerfulthanotherkindsoftypes;usingjustonelanguagefortypesandprogramsallowsprogramdescriptionstobeaspowerfulastheprogramstheydescribe.TheLittleTyperexplainsdependenttypes,beginningwithaverysmalllanguagethatlooksverymuchlikeSchemeandextendingittocoverbothprogra妹妹ingwithdependenttypesandusingdependenttypesformathematicalreasoning.ReadersshouldbefamiliarwiththebasicsofaLisp-likeprogra妹妹inglanguage,aspresentedinthefirstfourchaptersofTheLittleSchemer.ThefirstfivechaptersofTheLittleTyperprovidetheneededtoolstounderstanddependenttypes;theremainingchaptersusethesetoolstobuildabridgebetweenmathematicsandprogra妹妹ing.Readerswilllearnthattoolstheyknowfromprogra妹妹ing-pairs,lists,functions,andrecursions-canalsocapturepatternsofreasoning.TheLittleTyperdoesnotattempttoteacheitherpracticalprogra妹妹ingskillsorafullyrigorousapproachtotype.Instead,itdemonstratesthemostbeautifulaspectsassimplyaspossible,onestepatatime. 本软件ID:10911681
Anintroductiontodependenttypes,demonstratingthemostbeautifulaspects,onestepatatime.Aprogram'stypedescribesitsbehavior.Dependenttypesareafirst-classpartofalanguage,andaremuchmorepowerfulthanotherkindsoftypes;usingjustonelanguagefortypesandprogramsallowsprogramdescriptionstobeaspowerfulastheprogramstheydescribe.TheLittleTyperexplainsdependenttypes,beginningwithaverysmalllanguagethatlooksverymuchlikeSchemeandextendingittocoverbothprogra妹妹ingwithdependenttypesandusingdependenttypesformathematicalreasoning.ReadersshouldbefamiliarwiththebasicsofaLisp-likeprogra妹妹inglanguage,aspresentedinthefirstfourchaptersofTheLittleSchemer.ThefirstfivechaptersofTheLittleTyperprovidetheneededtoolstounderstanddependenttypes;theremainingchaptersusethesetoolstobuildabridgebetweenmathematicsandprogra妹妹ing.Readerswilllearnthattoolstheyknowfromprogra妹妹ing-pairs,lists,functions,andrecursions-canalsocapturepatternsofreasoning.TheLittleTyperdoesnotattempttoteacheitherpracticalprogra妹妹ingskillsorafullyrigorousapproachtotype.Instead,itdemonstratesthemostbeautifulaspectsassimplyaspossible,onestepatatime. 本软件ID:10911681
文件下载
资源详情
-其它
评论信息
其他资源
- 测量液体的液位(内含原理图、源代码、实物照片)
- 7COMSOL电磁模拟教学
- 学生高考成绩管理系统
- 综合类网课市场研讨：2021年K12在线教育行业分析报告.pdf
- 编程精粹:编写高质量C语言代码(高清PDF中文版)
- 智能优化算法及其MATLAB实例（第2版）源代码
- 武汉大学微机系统与接口技术
- 黑苹果技嘉B360MAORUSPRO小雕EFI
- rollSlide-demo.zip
- 2020年网络工程师下半年考试真题Word版本，空白
- inthehand.net.personal.zip
- 网上酒店管理系统JSP+Servlet+JDBC
- 广东省30米DEM
- 汽车租赁管理系统
- Spire.Pdf-FE_2.6.3.zip
- LC-3Editor以及LC-3Simulator
- CS61a--功课
- vc桌面屏幕小精灵源代码.visualc++
- AD7927驱动法度圭表标准
- 2020杭电计网交换机实验
免责申明
【好快吧下载】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【好快吧下载】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【好快吧下载】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，8686821#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，8686821#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明