The Little Typer

The Little Typer

作者：Daniel P. Friedman

出版社：MIT Press

出版年：2018-10-16

评分：9.9

ISBN：9780262536431

所属分类：行业好书

书刊介绍

内容简介

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursions-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to type. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

作者简介

Daniel P. Friedman is Professor of Computer Science in the School of Informatics, Computing, and Engineering at Indiana University and is the author of many books published by the MIT Press, including The Little Schemer and The Seasoned Schemer (with Matthias Felleisen); The Little Prover (with Carl Eastlund); and The Reasoned Schemer (with William E. Byrd, Oleg Kiselyov, and J...

(展开全部)

相关推荐

最新典籍

热门典籍

精品推荐

合作伙伴

宝贝日记 抖音代运营 游戏攻略 秦皇岛人才网 周易 易经 代理招生 范文网 二手车 游戏推荐 网络推广 PS修图 宝宝起名 零基础学习电脑 电商设计 产业库 服装服饰 律师咨询 河北信息网 搜救犬 Chat GPT中文版 范文网 旅游攻略 工作总结 精雕图 非物质文化遗产 二手车估价 情侣网名 经典范文 培训招生 石家庄点痣 养花 名酒回收 石家庄代理记账 戏曲下载 男士发型 女士发型 搜搜作文 唐山人才网 关键词优化 读后感 玄机派 企业服务 法律咨询 chatGPT国内版 文玩 chatGPT官网 励志名言 儿童文学 公司注册 抖米无垠 游戏攻略 网络知识 品牌营销 商标交易 承德人才网 沐盛传媒 小本创业项目 癖好 游爱网 风信子 大可如意 庄里人 下真题 知识星宿 游峰网 大可如意 书单号 万能实习生 国学网 鲁迅 短视频剧本 标准件 石家庄论坛 书包网 采购批发网 心理测试 商务英语培训 箱包网 电地暖 在线新华字典 雅思培训 ps素材库 石墨烯地暖 钢琴入门指法教程 英语培训机构 宠物交易 黄金回收 ps素材库 电商网 宠物网 宠物猫 宠物狗 宠物用品 宠物托运 宠物美容 石家庄黄金回收 黄金回收价格 ps教程 photoshop 广告设计 海报设计 内容电商 直播电商 电商运营 电商之家 电商运营 自定义网址导航 精雕图 精雕图下载 精雕教程 易经网 周易网 六十四卦 六十四卦详解 易学网 易经入门 易经全文 鲜花速递网 同城鲜花 网上订花 鲜花 鲜花礼品 女性健康 女性购物 女性时尚 化妆护肤 女性世界 女性网 铜雕 石雕 不锈钢雕塑 雕塑网 雕刻网 浮雕 雕塑艺术 玻璃钢雕塑 景观雕塑 钢琴谱 钢琴指法教程 钢琴曲 钢琴入门简单曲子 钢琴入门指法教程 钢琴考级 石家庄去痣哪里好 石家庄祛痣 石家庄点痣价格 石家庄点痣 二手车买卖市场 事故车出售 二手车 事故车 二手车交易网 二手车报价 二手车估价 个人二手车 周易 易经 易学网 汉语字典 英语词典 国学网 词典 成语 宝宝起名 男孩起名 女孩取名 周易取名 男孩取名 宝宝取名 周易起名 女孩起名 名学网 道德经 道德经原文 婚姻挽救咨询师 人格心理测试 心理咨询中心 免费在线心理测试 心理健康测试 免费心理测试 书包网 书包品牌十大排名 儿童书包品牌排行榜 儿童书包 小学生书包 书包品牌 女生书包 旅行箱 拉杆箱 奢侈品包包 单肩包 托特包 专业配音 ai语音转换 文字转语音 智能语音 在线配音 真人配音 免费配音 配音神器 戏曲视频下载 河南豫剧大全下载 戏曲下载 黄梅戏下载 豫剧下载 资治通鉴 资治通鉴翻译 资治通鉴在线阅读 苗木网 最新苗木供应信息 苗木求购信息 园林绿化苗木价格 银杏供应求购信息 河北石墨烯发热线 河北发热线厂家 河北石墨烯地暖 河北地暖安装厂家 吉林石墨烯发热线 吉林发热线厂家 吉林石墨烯地暖 吉林地暖安装厂家 辽宁石墨烯发热线 辽宁发热线厂家 辽宁石墨烯地暖 辽宁地暖安装厂家 黑龙江石墨烯发热线 黑龙江发热线厂家 黑龙江石墨烯地暖 黑龙江地暖安装厂家 山东石墨烯发热线 山东发热线厂家 山东石墨烯地暖 山东地暖安装厂家 河南石墨烯发热线 河南发热线厂家 河南石墨烯地暖 河南地暖安装厂家 内蒙古石墨烯发热线 内蒙古发热线厂家 内蒙古石墨烯地暖 内蒙古地暖安装厂家 江苏石墨烯发热线 江苏石墨烯地暖 江苏地暖安装厂家 四川石墨烯发热线 四川发热线厂家 四川石墨烯地暖 四川地暖安装厂家 中医养生 春季养生 保健食品 中药材 茶叶批发网 诗词 鲜花 汉语词典 暖通,电地暖 苗木网 道德经 红楼梦 中国机械网 美文欣赏 好玩的手机游戏推荐 女性健康 手机游戏推荐排行榜 雕塑网 舟舟培训 艺术培训 成语大全 资格考试 少儿培训 英语培训 职业培训 网赚 包装网 苗木供应 短视频培训 IT教程 安卓手机游戏 单机游戏大全 手机游戏下载 手机软件下载 创业赚钱 绿色软件 民间借贷律师 养生 成语 互联网资讯 工商注册 网络游戏 云南旅游网 抖音带货 代理记账 奇石 雕塑 雕龙客 易学网 优秀个人博客 短视频运营 抖音运营 在线题库 散文 诗词网
Email咨询
Q Q咨询
微信咨询
返回顶部
微信二维码