krantz-xrf / krantz-xrf.github.io Goto Github PK

https://krantz-xrf.github.io/2019/11/06/pybind11.html

PyBind11底层其实就是CPython的各个API调用，但使用C++做了良好的封装。

https://krantz-xrf.github.io/2020/10/09/haskell-operators.html

今天的《计算概论（A）：函数式程序设计》课上讲到了运算符和运算符部分应用（operator sectioning）。这里将详细介绍Haskell中和运算符有关的一切，作为补充和备忘。

https://krantz-xrf.github.io/2020/02/01/heavy-destinies.html

本文是2019秋季学期《金庸小说研究》课程的期末作业，是细读金庸《连城诀》的报告。在作品的整体结构上，通过与《安德的游戏》的对比，希望能够展现不同的人物性格、社会环境如何影响主角同悲剧命运的抗争；从读者的角度，这些不同又如何影响我们对这命运悲剧的审美。在典型情节“万震山砌墙”上，通过与《黑猫》的对比，讨论这一情节...

https://krantz-xrf.github.io/2020/10/16/list-comprehensions.html

上一周《计算概论（A）：函数式程序设计》课上讲到了列表生成式（list comprehensions），可以理解成是Haskell语言的一个语法糖（syntactic sugar）。这里我们将介绍Haskell 2010 Report(1)中给出的一种转译方案（translation strategy），可以用来...

https://krantz-xrf.github.io/2020/09/25/windows-install-stack-ghc.html

由于本学期北京大学开设《计算概论（A）：函数式程序设计》课程，很多同学在Windows下安装Haskell开发环境遇到困难。这里我们描述在Windows上使用stack安装Haskell开发环境的方法。

https://krantz-xrf.github.io/2019/10/24/to-start.html

这个博客终于配置好了，从今天开始将会发表一些东西出来。

https://krantz-xrf.github.io/2019/11/09/history-and-hero.html

“英雄后来如何”，这是鲁迅先生留给我们的永恒话题之一。

https://krantz-xrf.github.io/2019/10/24/tvm-workflow.html

最近看了很多TVM/VTA后端代码生成的代码，现在就把近日所得总结一下，以备有需求的朋友参考。