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

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

关于配置交叉编译后的Gtk Rust的资源文件

关于如何在Linux上交叉编译Gtk Rust

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

使用Reposilite来搭建制品库，并且通过SBT发布Scala包

Monad什么的其实也没那么恐怖。这篇文章希望能稍稍做到怯魅化。另外Cats提供了很多辅助类，理解起来其实也没那么难。

更新一下之前的内容，并且用下最新的Scala 3的特性

用矩阵乘法计算最短路径对，基于半环，用Scala实现

当Scala check遇到Leetcode

使用Scala写React前端

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

Monad什么的其实也没那么恐怖。这篇文章希望能稍稍做到怯魅化。另外Cats提供了很多辅助类，理解起来其实也没那么难。

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

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

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

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

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

我们经常听说面向对象编程，偶尔会听说面向切片编程。那么面向语言编程又是什么呢？

我们经常听说面向对象编程，偶尔会听说面向切片编程。那么面向语言编程又是什么呢？

使用Reposilite来搭建制品库，并且通过SBT发布Scala包

Monad什么的其实也没那么恐怖。这篇文章希望能稍稍做到怯魅化。另外Cats提供了很多辅助类，理解起来其实也没那么难。

Monad什么的其实也没那么恐怖。这篇文章希望能稍稍做到怯魅化。另外Cats提供了很多辅助类，理解起来其实也没那么难。

用矩阵乘法计算最短路径对，基于半环，用Scala实现

最近看到了Web Component的东西，来玩玩

更新一下之前的内容，并且用下最新的Scala 3的特性

使用Scala写React前端

更新一下之前的内容，并且用下最新的Scala 3的特性

使用Scala写React前端

算是我读EOPL的时候的一点理解的记录

算是我读EOPL的时候的一点理解的记录

算是我读EOPL的时候的一点理解的记录

关于配置交叉编译后的Gtk Rust的资源文件

关于如何在Linux上交叉编译Gtk Rust

关于配置交叉编译后的Gtk Rust的资源文件

关于如何在Linux上交叉编译Gtk Rust

关于配置交叉编译后的Gtk Rust的资源文件

关于如何在Linux上交叉编译Gtk Rust

当Scala check遇到Leetcode

当Scala check遇到Leetcode

作为程序员，不自己动手是不可能的

主要介绍如何建立最简单的Hugo博客。

始终在虚拟机上跑总是会有限制，不如使用树莓派作为单独的服务器