使用 OCaml 中的 Polymorphic Variant 类型

MartinLwx 发布于 2024-11-24 收录于类别 Programming-Languages

引言

我已经学习并使用了 OCaml 有段时间了，但是一直搞不清楚 Polymorphic variant 有什么用。最近在看 Yojson 的时候又看到了这种用法，一番搜索之后发现并没有看到关于 Polymorphic variant 的比较好的文章（官方介绍在我看来有点难懂），只看到一些相关的回答¹²。经过仔细学习之后，我决定写一篇文章，希望能对你有所帮助 :)

为什么需要 Applicative Functor

MartinLwx 发布于 2024-10-20 收录于类别 Programming-Languages

信息

阅读本文之前，我假设你对 Functor 有很好的理解

为啥需要 Applicative Functor

在学习 Applicative Functor 之前，首先是一个关键的问题，为什么有了 Functor 我们还需要 Applicative Functor？

在 Neovim 里面使用 vim-fugitive 的工作流

MartinLwx 发布于 2024-10-11 收录于类别 Vim-Neovim Git

引言

最近在使用 Git + Neovim 的时候，发现我的工作流还是有一些不那么顺畅的地方。我习惯性退出 Neovim，然后在命令行写 Git 相关的命令，并且在提交代码变更前我习惯用 delta 查看 diff 信息。为了减少要打的字符，我还开启了 Oh My Zsh 的 git 插件，这样我就可以用一堆缩写了，比如 ga = git add、gcmsg = git commit -m

Tree-sitter 以及它的 Query 功能

MartinLwx 发布于 2024-09-07 收录于类别 Program-Analysis

引言

Tree-sitter 是一个 Parse Generator，也就是用来生成 Parser 的。除此之外，它还提供了一些额外的功能，比如今天要聊到的 Tree-sitter Query ，Query 提供了一套基于 S 表达式的 DSL（Domain Specific Language），可以查询 AST，获得你想要的信息，在正式学习如何使用 Query 前，我们先讲一些相关的背景知识，好让这个文章尽量是 Self-contained 的

@dataclass 简明教程（Python3.7）

MartinLwx 发布于 2024-08-17 收录于类别 Programming-Languages

引言

Python 的 tuple 很好用，它可以让我们快速地将不同类型的值封装在一起，作为一个整体进行管理，自带的排序规则也十分直观，简单易用。但实际用下来我发现，一旦 tuple 的字段比较多，我就被迫要自己写一下注释注明一下不同位置的字段的具体含义是啥，比如

使用 GitHub Actions 自动化 Hugo 博客部署

MartinLwx 发布于 2024-07-29 收录于类别 Software-Engineering

前言

最近在学习 GitHub Actions，GitHub Actions 是 GitHub 提供的一个特性，可以用来自动化执行一些步骤。在软件开发中，最常见的需要自动化的场景可能就是构建了。对于编译型的编程语言（比如 C/C++）编写的软件，通常需要编写对应的构建的脚本，软件构建的过程涉及到：环境准备、依赖下载、启动构建等。不过，利用 GitHub Actions 来自动化软件构建过程并不是本文的主题。在我思考我可以将 GitHub Actions 用于何处的时候，我想到了：利用 GitHub Actions 来自动化 Hugo 博客的部署。因为 Hugo 博客的部署也涉及到不少一系列固定的步骤 :)