这一篇延续前面的话题，聊聊控制流

这是系列文章的第一篇，介绍我对任务的理解

这次准备用Scala来写GTK程序并用flatpak发布，先积累些技术

重读范畴论，看到了代数类型的内容，记录一下

最近在调研各类前端的模式，包括MVC、MVP、MVVM、FRP等，在这里略略记录一下。

这几天在研读ActivityPub的标准。标准一开头便提到他们使用JSON-LD格式来交换数据。搜了搜JSON-LD，发现是基于JSON的RDF语法。RDF是我几年前学的，已经有些遗忘，于是今天又复习了一下，在此略做记录。

近来马斯克收购了推特，欧盟入驻了Mostodon。借此机会聊聊联邦式服务。

这里指在Linux环境下使用Kate编辑器开发Haskell程序

Tagless Final也是一个有趣的想法，记录一下

可逆编程与双向编程是两个比较有趣的概念，在这里粗浅介绍一下。