Welcome to my blog!
I am a Chinese college student in Wuhan Univ. Intereted in topics of a wide range including FP, PLT, Architecture, UI/UX and a lot more. Know something about C#, TypeScript, Haskell, Rust and frameworks related.
Posts
21 Apr 2025
Syntax itself is the free model for signature.
12 Feb 2025
Nix Should Focus on the Static
Nix is good at describing something as static.
6 Sep 2024
Recursion is something that uses itself to define itself.
20 Jun 2024
Web components should be the foundation, not the framework.