你好，世界！
- 👋 我是xiaoshihou514。
- 💻 我对函数式和命令式编程都得心应手，目前单推 Scala。
- 💪 我会数学分析和其他一些应用类高数。
- 📚 我很喜欢编程语言！！我对类型理论、程序验证／编程语言规范和并发编程感兴趣！
- 📖 数学那边，我比较喜欢分析和离散数学，比如群／环／范畴论。
- 📝 我主要用Neovim进行开发。
- 👀 我在有空的时候会开发我认为有趣或实用的项目，我喜欢开发编程语言工具链和精致的App，最近正在学习 Qt 开发。
- ✍️ 偶尔会在这个博客记录学习心得。
- 🏃 我喜欢慢跑、游泳这些单人运动。
- 💇♂️ 我会做饭，还会给自己剪头。
- 📫 联系方式：
- QQ: 3023063973
- 邮件