Zero Calorie Drink Shop

A childless azukisan lady who is miserable at her own live.

That is me. Only a nihilistic phantom.

[Feed] [GitHub]

小数据的时候 `std::vector<int>` 删除首元素比 deque 和 list 还快

链表可以当成双端队列来使用——至少在渐进时空复杂度上,它们是相同的。

但在现代化的 CPU 的支持下,std::vector 由于内存的连贯性,在小规模数据下甚至可以做到比 std::deque 更好的性能,更别提在随机访问上 std::vector 有巨大优势了。

所以这个 Monads 到底是什么啊之让我学学

简单的说单子(Monad)就是自函子范畴上的一个幺半群 👀 你说这个谁懂啊

PFPL 笔记 - VI Dynamic Types

笔记 6
最详细的一集,因为我要讲解这部分(摊手
但是读得很开心!这章真是让我受益匪浅啊!

PFPL 笔记 - V Infinite Data Types

笔记5

PFPL 笔记 - IV Finite Data Types

Practical Foundations for Programming Languages 是 Robert Harper 的一本书,而这是我写的笔记 4

PFPL 笔记 - III Functional Types

Practical Foundations for Programming Languages 是 Robert Harper 的一本书,而这是我写的笔记 3

2025-02-09

陪伴我 4 年的及腰长发其实都到臀部了今日卒,谨以此发文对其表达深切的悼念()

更好的 C 语言:Zig 初体验

久闻 Zig 语言大名,作为一众底层语言的有力竞争者,Zig 被常常认为是 better C。Zig 自己也说,“Zig 与 C 竞争,而不是依赖于它”。前天用 Zig 写了一个简单的命令行跨平台贪吃蛇游戏,也算是体验了一下 Zig 的有趣功能。

PFPL 笔记 - II Statics and Dynamics

Practical Foundations for Programming Languages 是 Robert Harper 的一本书,而这是我写的笔记 2

Not so nerdy WWW guidelines for bloggers

A blogging guide, built for minimalists who aren’t quite as nerdy.

Next