Blogs

• Lambda calculus typer from scratch - ML and algorithm W，2025-12-2
• Lambda calculus typer from scratch - bindings and recursion, 2025-11-18
• Kotlin lists, 2025-11-30
• Lambda calculus typer from scratch - Part 2, 2025-11-8
• Lambda calculus typer from scratch - Part 1, 2025-11-3
• WTF is HKT，2025-10-31
• Install Nvidia drivers on Fedora, 2025-3-21
• Comparison between for loops and pattern matching for FP beginners, 2024-10-21
• Parsley and dynamic parsers based on the state, 2024-8-25
• Writing context sensitive parsers with parsley, 2024-7-15