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