打开镜像下载：上海交通大学镜像搜索 elan下载elan和gleanelan 下载路径 elan/elan/releases/download/eager-resolution-v2打开上面下载的 elan-init ，然后输入 1 选择使用 default将 glean 解压放到用户目录下的 .lean/bin 目录下搜索lean找到下面这个git/lean4-packages/mathematics_in_lean然后右键复制链接 {代码.....

检查旧版本 {代码...} {代码...} 卸载旧版本 {代码...} 下载安装包 {代码...} 安装 erlang {代码...} 安装 elixir {代码...} 配置 PATH {代码...} 添加路径到PATH {代码...} 如果要配置文件立即生效，还需要source一下配置文件 {代码...} 查看版本： {代码...} mix ok & install rebar3配置mix hex和rebar3 {代码...} 如...

项目总结本教程带大家一起实现了一个 Todo List 程序，包含基础的增删改查功能，和用户登录认证。这也是 Web 开发中最常见的需求。我画了一张思维导图，帮助你从宏观的角度来概览 Todo List 程序，加深你对 Web 开发的理解。Todo List项目整体思路参考 MVC 设计模式。有意设计 utils/ 目录专门用来存储一些工具方法，这...

HTTP 协议是无状态的，这意味着每个完整的 HTTP 请求 —— 响应过程都是相对独立的，Web 服务器无法分辨前后两次连续请求是否为同一个用户（客户端）发送过来的。为了让服务器能够记住用户，就有了一种叫作 Cookie 的技术。我画了一张图来描述 Cookie 的工作过程：

通过前几章的学习，我们完成了 Todo List 程序的 todo 管理部分，实现了对 todo 的增、删、改、查基本操作，这也是几乎所有 Web 程序都具备的功能。我们当然可以按照目前的思路继续来实现用户管理部分，在 models.py 中编写用户相关的模型，在 templates/ 目录下新建用户相关 HTML，在 controllers.py 中编写用户相关的...

这一章，我们来完成 todo 管理功能的剩余部分：新增、修改和删除功能。新增 todo首先实现 Todo List 程序的新增功能。新增 todo 的逻辑如下：在首页顶部的输入框中输入 todo 内容。然后点击新建按钮。将输入框中的 todo 内容通过 POST 请求传递到服务器端。服务器端解析请求中的 todo 内容并存储到文件。重新返回到程序...

由于我们实现的模板引擎不支持直接将 CSS 嵌入在 HTML 中的写法，所以要将 CSS 独立出来。在 todo/ 目录下新建 static/ 目录，专门用来存储 CSS、JavaScript、图片等静态文件，在 static/ 目录下新建 css/ 目录用来存储 CSS 样式。我们把之前在 todo/templates/index.html HTML 页面中写的 CSS 移动到 todo/static/css/ ...

上一章中为了尽快让 Todo List 程序跑起来，并没有完全按照 MVC 模式编写程序。这一章就让我们一起实现一个完整的 MVC 模式 Todo List 程序首页。

Todo List 程序介绍我们将要编写的 Todo List 程序包含四个页面，分别是注册页面、登录页面、首页、编辑页面。以下分别为四个页面的截图。注册页面：注册登录页面：登录首页：首页编辑页面：编辑程序页面非常简洁，甚至有些 Low。但这足够我们学习开发 Web 服务器程序原理，页面样式的问题并不是我们本次学习的重点，所...

要编写 Web 服务器，需要用到一个 Python 内置库 socket。Socket 是一个比较抽象的概念，中文叫套接字，它代表一个网络连接。两台计算机之间要进行通讯，大概分为三个步骤：建立连接，传输数据，关闭连接。而 socket 库为我们提供了这个能力。

Web 开发技术一直在高速发展，各种新奇概念与框架层出不穷，尤其在 Web 前端领域，几年前还是 jQuery 的天下，而如今在 Vue、React 等框架面前也显得廉颇老矣。