#PL 题外话，这篇博文还会讲到 Lexical Scoping 和 Dynamic Scoping 的区别，其实 PL 爱好者们偶尔也会讨论这些问题，不过有时候入门的话纠缠不清... 这里讲得可以说是很友好了

懒得整理了，就用这个（接近 5 个月之隔

https://start.spring.io/

如果弄好了，那就临时以一个早已死去的并且不会进化的早期 #GeekApk 的名义（反正我也算是早期成员吧，呵呵）自己部署然后试用，寒假可能会稍微包装一点拿来暂时用一下（H2O2 能用之前）

我以为我现在的工程能力，包括 Trumeet 那个 MiPushTester Vertx Server 我都完全能理解，并且流程我都会走，Future（就是 Promise） 、HTTP、JSON 之类的都不是事（而且部分技巧我现在还不需要会，只是 trivial 的描述一下模型和要做什么就可以了）... 和 Dockerfile 一样，即学即用，比 Haskell 的自动 HM 类型推导算法好学『使用』多了


说的也是，JavaEE 一直以来的问题就是难以开启一个新项目（不是我说的，这可是 JBoss 项目的某个 dalao 的看法）
Spring Boot 可以说是完全解决了这个问题，非常的简单，实现上面那个 pdf 里的服务需要什么模式一条消息文本长度限制内都可以解说明白

生成的项目模板

正在准备

先准备测试用数据库（指 Postgres

sudo /usr/bin/postgresql-setup --initdb
sudo systemctl start postgresql.service
sudo su postgres
psql

CREATE USER geekapk WITH PASSWORD '1234567';
CREATE DATABASE geekapk;
GRANT ALL PRIVILEGES ON DATABASE geekapk TO geekapk;

(((((

数据库 pg 还要调整一些客户端连接鉴权的策略...

写了一点 Model 层的东西，然后发现懒得写视图（因为太花时间

发现一个规律：每次我要写实际应用的时候都会熬夜一个通宵... #life 🤔

写出如此模式化的代码，羞愧，不过我觉得能抓到老鼠就是好猫，优化后来可以谈。

这个应用我对它的预期就是起个头，它基本就是参照上面的那个 SpecShort 实现的，只有些许修改，然后就是那种典型的 MVC（不过，没有 View 只有 Model 和 Controller）应用程序，真的是没什么技术含量相当模式化
今天是继续完善模型

预计今天内能上线，不过没有客户端（

对了，现在这个项目已经度过最开始编写基础代码的时期，可以在 GitHub duangsuse/GeekApk 访问了（虽然我是写了两天

目前代码基础已经有了，正在编程控制器来驱动测试和模型层 Repository 们的完善（模型层我希望是能做到 JPA 里的不要专门给 Controller 设计辅助函数，毕竟 JPA 这个名字就很『大』嘛）

欢迎大佬们前来指导实践。（尤其是曾经写过 SpringMVC 的，我现在发现我作为一个 #PL 爱好者居然连 #Java 里 enum 有 enum VS { int a; String b; Constructor(int i, String s) { a = i; b = s; } Constructor(1, "1") } 这种语法都不知道

真是岂有此理 😡

类似这样，当然都是很模式化的代码不必说

顺便提一下，因为要 AOP 动态生成具体的 AOP 子类，这些 @Controller 什么的标记的类都必须不能是 sealed 的，我用了 Kotlin 编译器插件 all-open 所以不必显式把 open keyword(modifier) 写上

期待寒假它，希望它真的能用...
目前看来好像是稳定发展，写的时候都是体力活

（不过 Spring 果然是重量级框架，和 IDEA 经常弄卡死，看来我得用那些轻量级的东西了... #sysadmin 正在安装

sudo dnf install i3

#PL #PLT #Proof

#game #security #China #tencent 🌚 这个...

不过 J2EE 开始早期那些 XML 配置都不用写了，符合时代潮流，程序员不用切出思维来做 DevOps 一类的事情，爽炸

现在非专业的服务器系统管理，不弄集群不配置磁盘阵列、数据恢复什么的... 都会把一些本来比较 trivial 的事情做得很到位... 比如编译啥啥啥东西...

其实嘛... 我觉得 #sysadmin 像我们这种业余的（其实业余和专业也就是取向不同而已，智商需求都差不多的）好好写点配置步骤指南、配置条目指南就可以了... 有些东西好像没太大价值？