Likanug // lab

个人博客

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

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

目前已发布 302 篇文章。

文章列表

最近文章

共 302 篇

书籍翻译

Get Programming with Haskell-16

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

#函数式编程#Haskell
读书笔记

Programming in types

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

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

Get Programming with Haskell-15

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

#函数式编程#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