技术栈
haskell
Lupino
3 天前
haskell
第十章:范畴之巅与逻辑的终点
恭喜道友!你能来到这里,说明你已历经九重天劫,神识已能穿透表象的业务逻辑,直抵宇宙的本源规律。今日,我们将迈入终章:渡劫升仙与万法归一(Category Theory & The Tao of Code) 。在这一境界,代码不再是字符,类型不再是约束,它们化作了数学的纯粹美感。
Lupino
3 天前
haskell
第八章:万流归宗与开宗立派
欢迎道友来到第八章。经过“炼虚期”对无限与惰性的感悟,你已经能够在那虚无缥缈的 Thunk 中捕捉真理。然而,一个人的修行终究是孤独的。想要炼制出震动九天的“绝世仙阵”(大型工程),你不能凡事都亲力亲为。
Lupino
3 天前
haskell
第六章:化神之境与万法同源
欢迎道友来到第六章。经历了第五章“元婴期”Monad 天劫的洗礼,想必你已经领悟了如何处理那些带着“因果气息”的盒子。然而,Monad 虽强,却有时显得过于沉重——每次都要“打开盒子、取出宝贝、重新装盒”,是否让你感到一丝繁琐?
Lupino
3 天前
haskell
第九章:类型黑魔法与推演天机
欢迎道友来到第九章。你能走到这里,说明你的道心已坚如磐石。在之前的境界中,你已经掌握了逻辑的组合、因果的传递以及无限的操控。但那大多还是在“值(Value)”的层面腾挪。
Lupino
3 天前
haskell
第五章:元婴天劫与单子(Monad)法阵
欢迎道友来到第五章。如果说之前的筑基与结丹只是对“术”的磨练,那么这一章,我们将正式迎来修仙路上最著名的天劫——元婴期:Monad(单子)悟道。
Lupino
3 天前
haskell
第七章:虚空造物与无尽真言
恭喜道友!你已步入第七章,踏入了修仙界最为玄妙、也最让凡间程序员百思不得其解的境界——炼虚期:惰性求值(Lazy Evaluation) 。
Lupino
3 天前
haskell
第三章:高阶法宝与无名法印
欢迎来到第三章。在上一章中,你已经在“递归禁地”中历经磨难,学会了如何用灵魂的自我重叠来处理数据。今天,我们要走出禁地,前往宗门的**“万宝阁”**。在这里,你将继承 λ 门传承万载的三件大威力法宝:Map (造化术) 、Filter (法眼术) 和 Fold (归一术) 。掌握了它们,你将不再需要手动驱动递归,只需祭出法宝,万千数据便会自化其形。
Lupino
3 天前
haskell
第四章:天道位格与诸法契约
恭喜道友!你已完成筑基,气海充盈,法宝熟练。现在,我们要迈入修仙路上的一个关键转折点——结丹期。在这一章,你将领悟 Haskell 的**“天道授位”系统:Typeclasses(类型类)**。这决定了你的类型(灵根)在宇宙法则中究竟拥有何种“特权”。
Lupino
3 天前
haskell
☁️ Haskell 程序员的修仙境界
在程序员的江湖里,如果说 Python 是平易近人的“武林秘籍”,Go 是简洁干练的“军中刀法”,那么 Haskell 便是那传说中深藏在雪山之巅、唯有通过极高悟性才能修得的**“太上感应篇”**。
Lupino
3 天前
haskell
第二章:递归禁地与法相化生
欢迎来到第二章。在第一章中,你已经完成了“引气入体”,习惯了不可变的数据与严苛的类型。现在,我们要进入 λ 门最著名的试炼之地——递归禁地(The Forbidden Grounds of Recursion) 。在这里,你将彻底忘掉凡间的“循环”,学会如何用灵魂的自我重叠来操纵时空。
Lupino
3 天前
haskell
第一章:入山与灵根测试(类型之美)
欢迎来到λ门(Lambda Sect) 。既然你已决定踏上 Haskell 的修仙之路,便要做好“洗髓伐骨”的准备。
Lupino
3 天前
windows
·
haskell
实战记录:使用 Haskell.nix 交叉编译 Haskell 项目至 Windows
在 Haskell 开发中,使用 Nix 进行构建能带来极大的便利,尤其是涉及跨平台交叉编译时。本文记录了将一个基于 haskell.nix 的项目(haskell-periodic)配置为支持 Windows (mingwW64) 交叉编译的全过程。
Lupino
5 天前
go
·
haskell
从 Haskell 到 Go:记一次 RSA 加密协议移植与“字节陷阱”排查实录
本次任务的目标是将一个用 Haskell 编写的加密传输协议(Metro.TP.RSA)移植到 Go 语言中,并封装为标准的 net.Conn 接口,以便替换原有的 XORConn 实现。
Lupino
6 个月前
后端
·
haskell
Haskell Scotty 网络编程指南-路由与请求
Scotty 提供了简洁的路由定义语法,支持所有标准 HTTP 方法:使用到的方法如 get, post, put, delete, options 等方法
Lupino
6 个月前
后端
·
haskell
Haskell Scotty 网络编程指南-前言和基础入门
函数式 Web 开发精要在现代软件开发中,函数式编程正在重新定义我们构建应用程序的方式。Haskell 作为纯函数式编程语言的代表,其强大的类型系统和数学优雅性为 Web 开发带来了新的可能性。Scotty 框架以其简洁的 API 和强大的功能,成为 Haskell Web 开发的理想选择。
窗户
1 年前
排列组合
·
函数式
·
haskell
·
scheme
排列和组合的实现
每当学一门计算机语言,质数表、汉诺塔可以作为早期测试的话题之一。随着深入,都很想快速提高一下对这个语言的把握。这个时候,我觉得排列、组合是合适的。不仅排列、组合的程序相对复杂一些,而且在很多问题的解决上,排列、组合往往是解决中的一部分。以下我们的讨论都是针对有限集。
许野平
2 年前
开发语言
·
后端
·
rust
·
haskell
比较Rust和Haskel
在比较Rust和Haskell时,我们可以从多个维度来分析它们各自的优势。以下是Rust相对于Haskell的优势,以及Haskell相对于Rust的优势:
想进大厂的小王
2 年前
linux
·
运维
·
服务器
·
haskell
Haskell 的 自定义类型(data、type)
在 Haskell 中,type 和 data 关键字都用于定义新的数据类型,但它们有着不同的作用和语法。
globalcoding
2 年前
ruby
·
perl
·
delphi
·
haskell
·
语言
·
visual basic
五个衰落的编程语言
编程语言为开发人员提供了一种与计算机交互的方式。然而,随着技术的发展,一些编程语言的使用范围越来越窄,或者被其他语言替代。
亿牛云爬虫专家
2 年前
网络爬虫
·
网络编程
·
数据采集
·
爬虫代理
·
动态代理ip
·
haskell
·
图片分析
Haskell网络编程:从数据采集到图片分析
爬虫技术在当今信息时代中发挥着关键作用,用于从互联网上获取数据并进行分析。本文将介绍如何使用Haskell进行网络编程,从数据采集到图片分析,为你提供一个清晰的指南。我们将探讨如何使用亿牛云爬虫代理来确保高效、可靠的数据获取,并使用Haskell的强大功能来分析和处理数据。本文还将介绍如何使用Haskell的HTML解析库和图片处理库来提取和分析图片链接。