Likanug // lab

个人博客

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

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

目前已发布 302 篇文章。

筛选结果

找到的文章

共 25 篇

当前筛选分类：书籍翻译清除筛选
书籍翻译

Get Programming with Haskell-18

到目前为止，我们已经讨论了类型如何像数据一样被加和乘。 像函数一样，类型也可以接受参数。类型通过在其定义中使用类型变量来接受参数（因此它们的参数总是其他类型）。使用参数定义的类型称为参数化类型。参数化类型在 Haskell 中扮演着重要的角色，因为它们允许你定义可以与各种现有数据一起使用的通用数据结构。

#函数式编程#Haskell
书籍翻译

Get Programming with Haskell-17

组合两个事物意味着什么？这里有一些例子：你可以连接两个列表得到一个新的列表，你可以合并两个文档得到一个新的文档，你可以混合两种颜色得到一种新的颜色。在许多编程语言中，每种组合类型的方法都有其自己独特的操作符或函数。与几乎每种编程语言都提供将类型转换为字符串的标准方法非常相似，Haskell 提供了一种将相同类型的实例组合在一起的标准方法。

#函数式编程#Haskell
书籍翻译

Get Programming with Haskell-16

你将更仔细地研究一些我们已经介绍过的类型。你这样做是为了更多地了解 Haskell 类型的独特之处以及如何使用类型设计程序。到目前为止，你所看到的大多数类型都是代数数据类型。代数数据类型是通过组合其他类型而形成的任何类型。理解代数数据类型的关键在于准确地知道如何组合其他类型。幸运的是，只有两种方法。你可以使用“与”组合多种类型（例如，一个名字是一个 String 与另一个 String），或者你可以使用“或”组合类型（例如，一个 Bool 是一个 True 数据构造器 或一个 False 数据构造器）。通过使用“与”组合其他类型而形成的类型称为积类型（product types）。使用“或”组合而形成的类型称为和类型（sum types）。

#函数式编程#Haskell
书籍翻译

Get Programming with Haskell-15

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

#函数式编程#Haskell
书籍翻译

Get Programming with Haskell-13

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

#函数式编程#Haskell

主题索引

按主题浏览

展开全部标签
#开发 74#Rust 52#函数式编程 38#Java 33#Haskell 28#Python 26#并发编程 24#Web开发 23#算法 21#数据库 18#思考 15#Web 13#C/C++ 12#Nodejs 12#全栈 12#Go 11#Zig 10#工具 10#架构设计 10#Clojure 8#Elixir 8#JavaScript 8#React 7#SpringBoot 7#Vert.x 7#网络协议 7#iroh 6#Kafka 6#前端 6#操作系统 6#编程原理 6#编程语言 6#运维 6#JVM 5#P2P 5#Web3 5#消息中间件 5#Database 4#Spring 4#信息安全 4#数据结构 4#系统设计 4#设计模式 4#http 3#TypeScript 3#分布式系统 3#异步编程 3#测试 3#网络 3#AI 2#GUI 2#Lisp 2#Postgresql 2#Solidity 2#SQL 2#Vue 2#包管理器 2#思考原则 2#推荐 2#爬虫 2#错误处理 2#Actix 1#API设计 1#BaaS 1#Base64 1#Cargo 1#ClojureScript 1#Docker 1#egui 1#Git 1#Github 1#Hadoop 1#HashMap 1#Hash表 1#json 1#Kotlin 1#MySQL 1#NAT 1#Nextjs 1#OAuth2 1#QUIC 1#Relay 1#RustRover 1#SpringCloud 1#sqlx 1#tauri 1#UDP 1#WebSocket 1#二叉树 1#云原生 1#健康 1#前端架构设计 1#前缀和 1#双指针 1#回溯 1#大数据 1#字符串 1#定时任务 1#密码学 1#序列化 1#建站 1#心理 1#授权 1#数据分析 1#数组 1#文件系统 1#日志 1#栈和队列 1#浏览器 1#消息推送 1#界面设计 1#程序设计原理 1#统计 1#编程模型 1#网络中继器 1#网络安全 1#网页 1#路由器 1#运行时 1#鉴权 1#链表 1