跳至主要內容
λ演算入门

写在前面

学这个主要是因为我们社团准备要规范一些写代码的习惯以及结构 确定了OOP以及函数化编程后在寻找适合函数化编程的伪代码规范的时候决定恶补一下底层知识

本文适合对于计算机科学与代数有一定了解的同学 最好是python 我文中就先用py的lambda expression来做的implementation

我自己做了个λ\lambda-calculus的演算器，可以来玩玩 网站 GitHub

结尾有Cheatsheet哈～

Makabaka18802025/8/11...大约 9 分钟
永别老爸

一切从小时候的一个发现说起。

那时，常看到爸妈坐在一个嗡嗡作响的大盒子旁，盯着一个发光的屏幕，手里握着一个小小的黑色盒子。
满心好奇，问老爸：“这是什么呀？”他笑着回答：“这是电脑啊。”一下子来了兴趣，脱口而出：我也想要一个！

没过多久，客厅里真的多了一个用纸壳做的大盒子。老爸把发光的屏幕摆到我面前，又递给我那个小黑盒子。我好奇地摆弄着显示器，而他和妈妈站在一旁，满脸笑意地看着我。

自此之后，老爸也给我打造了各式各样的好玩的“电器”，我的房间很快也被这个纸壳王国吞噬了。

Makabaka18802025/8/11...大约 8 分钟
程序语言理论 - 类型系统

写在前面

作为一名软件开发者，或多或少会遇到过各种各样的类型系统。虽然说当今的编程语言大多已经十分完善且安全，但每个语言还是有自己的不足，需要学习类型理论来进行特定类型的实现。同时，类型理论的额学习也可以帮助软件开发者更好的写出更加优雅、稳定、且安全的代码，利人利己。我个人认为PLT是计算机科学里面最美的分支了可以用各种神奇的模型来描绘一些我们从来没法想到过的模型，来完成一下完全想不到的壮举。本系列就是为了方便初学者来快速入门类型论、程序语言理论、多范式编程、及范畴论等在传统软件工程领域被严重忽视的理论计算科学。

欢迎大佬帮忙指出错误，我也在学习，大家一起进步～

Makabaka18802025/8/11...大约 4 分钟
你好陌生人👋～

我是一名普普通通的上海初中牲

在学习各种奇奇怪怪的东西的时候也会时常有各类笔记
之前一只找不到很好的整理方式，正好最近想整个博客，所以也就把所有东西搬上来了

Makabaka18802025/8/11...小于 1 分钟
文学区

你说我怎么个理工男为啥要开怎么个专区捏?

前两天清电脑硬盘的时候发现了好多好多之前的阅读笔记

从罗密欧与朱丽叶到安德的游戏

怎么说呢 又不舍得删 但这也太占空间了

所以我就决定把这么多资源都上传上来

也当是给各位一些更多的参考资料了吧

Makabaka18802025/8/11...小于 1 分钟
罗密欧与朱丽叶

提示

这是24年暑假学校让准备的共读书目, 当时给学期初考做的备考资料. 有一些是GPT, 我也检查过一遍, 去掉了所有事实性错误

Prologue/Act 1, Scene 1

1. In which town is the play set? In what country do you suppose this town exists?

  • The play is set in Verona, a real city in Italy.
Makabaka18802025/8/11...大约 18 分钟
Copyright © 2025 Makabaka1880