个人博客

把正在理解的事,写成可以回访的记录。

关于软件、系统设计与持续学习。文章由 Notion 写作并在这里发布。

目前已发布 302 篇文章。

筛选结果

找到的文章

38

当前筛选标签:#函数式编程清除筛选

Programming in types

Haskell 中的类型允许你将程序视为一系列的转换。你可以将转换视为一种更抽象的函数思考层面。在 Haskell 中解决问题时,你可以首先将它们视为一系列抽象的转换。

Get Programming with Haskell-15

每个人都喜欢能与朋友秘密通信的想法。在这个总结项目中,你将运用你对类型和类型类的知识,构建几个示例密码。密码(cipher)在密码学中是一种对信息进行编码的方法,使他人无法阅读。密码是密码学的基础,但它们本身也非常有趣、值得玩味。你将首先接触一个容易实现也容易破解的密码,然后进一步了解字符加密的基础知识,最后你将构建一个不可破解的密码!

Get Programming with Haskell-13

你将学习 Haskell 类型系统中的一个重要抽象——类型类(Type classes)。类型类允许你根据共享的行为对类型进行分组。乍一看,类型类类似于大多数面向对象编程语言中的接口。类型类声明了一个类型必须支持哪些函数,就像接口规定了一个类必须支持哪些方法一样。但类型类在 Haskell 中扮演的角色,比在 Java 或 C# 等语言中的接口更为重要。主要的区别是,当你深入学习 Haskell 时,你会发现类型类通常要求你以越来越强大的抽象形式进行思考。在许多方面,类型类是 Haskell 编程的核心。

主题索引

按主题浏览

展开全部标签