这里记载着我的一些编程记录。仅供参考。 图片来自Unsplash，Artem Sapegin摄 编程 使用Scala编写GTK程序（一） 这次准备用Scala来写GTK程序并用flatpak发布，先积累些技术 编程 代数类型 重读范畴论，看到了代数类型的内容，记录一下 编程 Model View Whatever 最近在调研各类前端的模式，包括MVC、MVP、MVVM、FRP等，在这里略略记录一下。 编程 语义化网络 这几天在研读ActivityPub的标准。标准一开头便提到他们使用JSON-LD格式来交换数据。搜了搜JSON-LD，发现是基于JSON的RDF语法。RDF是我几年前学的，已经有些遗忘，于是今天又复习了一下，在此略做记录。 编程 浅谈联邦式服务 近来马斯克收购了推特，欧盟入驻了Mostodon。借此机会聊聊联邦式服务。 编程 使用Kate开发Haskell 这里指在Linux环境下使用Kate编辑器开发Haskell程序 编程 Tagless Final Tagless Final也是一个有趣的想法，记录一下 编程 浅谈可逆编程与双向编程 可逆编程与双向编程是两个比较有趣的概念，在这里粗浅介绍一下。 编程 面向语言编程 我们经常听说面向对象编程，偶尔会听说面向切片编程。那么面向语言编程又是什么呢？ 编程 自行搭建制品库并发布 使用Reposilite来搭建制品库，并且通过SBT发布Scala包 «« « 1 2 3 » »»