#代数
An Introduction to Geometric Algebra(arxiv.org)
2020-11-30 5:48下载PDF摘要：这是对几何代数的介绍，它是传统矢量代数的替代方法，它以两种方式在其上进行扩展：1.除了标量和矢量之外，它还定义了表示任意维子空间的新对象。 2.它定义了一种受几何图形强烈驱动并且可以在任何两个对象之间进行测试的产品。例如，以一定方式获取的两个向量的乘积表示它们的公共平面。该系统是由威廉·克利福德（Wi......
From object algebras to tagless-final interpreters(oleksandrmanzyuk.wordpress.com)
2020-10-7 8:8
上周六，我在基辅：：Fprog Meetup上做了一次演讲。我真的很喜欢这次活动，借此机会我要感谢弗拉基米尔·基里洛夫(Vladimir Kirillov)组织这次活动。
演讲的幻灯片可以在这里找到，但我想我也可以把它写在博客上。
我将描述两种设计模式，“对象代数”和“最终无标记解释器”，它们是由面向对象和函数社区为......
2020-7-17 7:39
副作用在命令性代码中是不可能避免的，但是它们会使对程序行为的推理变得非常困难。F#允许我们使用命令性副作用，但通常最好不要使用。我们如何在执行有效需求的同时避免副作用？
作为一个例子，让我们举一个非常简单和常见的有效例子：日志记录。假设我们正在编写一个函数，该函数根据直角三角形的另两条边的长度计算直角三角形斜边的长度......
A Guided Tour of the Plane-Based Geometric Algebra PGA(bivector.net)
2020-7-8 16:55
PGA是一种基于平面的几何代数，非常适合于三维欧几里德几何中运算的描述和计算。在真实的框架中，它自然包含高效的运动表示，如齐次坐标和双四元数，与面向对象模型完全集成。PGA对四坐标块中的基元和运算符的编码使其非常适合快速GPU实现。为了满足2019年关于PGA的SIGGRAPH演示引起的好奇心，Leo Dorst决定......
2020-6-19 0:2
唯一的依赖项是Boost/预处理器。如果您在类UNIX系统上，只需运行以下脚本：
由于poica是一个仅包含头文件的库，因此您可以随意将必要的文件复制到您的项目中，并使用#include<；poica.h>；导出其API(使用-i编译器选项)。就这些。
通常在C语言中，我们使用联合来告诉编译器我们将以不同的方......
Racket is 25 years old(blog.racket-lang.org)
2020-5-10 22:22POPL过去是从周一到周三中午的事情。科马克·弗拉纳根(Cormac Flanagan)在那里发表了他未来的论文(关于如何消除隐含触摸操作的静态分析；还有臭名昭著的费莱森-瓦德勒(Felleisen-Wadler)论文)。星期三晚上，科马克和我要飞回休斯顿。在返回的航班上，科马克问了一个看似简单的问题：
我们整个航班......