文章 | Makabaka1880的博客

写在前面

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

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

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

结尾有Cheatsheet哈～

Makabaka18802025/3/21...大约 7 分钟

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

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

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

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

Makabaka18802025/1/2...大约 8 分钟

Makabaka18802025/4/18...小于 1 分钟

Makabaka18802025/4/13...小于 1 分钟

Makabaka18802025/4/4...小于 1 分钟

写在前面

这个实则是在学λ演算的时候发现的好东西

0x00 Introduction and Setup

Lean Prover 4 is a toolchain for

Makabaka18802025/3/31...小于 1 分钟

Makabaka18802025/3/31...小于 1 分钟

Case Study

Given $m_a, m_b, m_c \in \mathbb R$ , and $\sum_{\{a, b, c\}} m ≤ m_{\max}$ . Given $m_a, m_b, m_c$ through stdin, decide whether if m

Answer

float ma, mb, mc, mmax = 10;
cin >> ma >> mb >> mc;
cout << (ma + mb + mc < 10 ? 'true' : 'false')

Makabaka18802025/3/31...小于 1 分钟

#include <iomanip.h>

Makabaka18802025/3/21...小于 1 分钟

while (condition) {
    do_sth();
}

Makabaka18802025/3/21...小于 1 分钟