小编jun*_*hee的帖子

在阅读matt写的文章时,我看到了以下的意见.

经验丰富的程序员擅长将正确性约束直接编码到Haskell类型系统中

有人可以解释这句话的意思或提供一个简短的例子吗？

我想将 Halide 用于带有霓虹灯矢量化的 ARM A53(aarch64) 目标。

但我不知道如何创建 Target 对象。另外，我在Target.h中找不到具有 neon 功能的 aarch64 目标。

我测试过的以下代码在 A53 目标上运行，但生成的代码不包含 neon 指令。

Target target("arm-64-linux"); // is it right?
Buffer<uint16_t> input(640,480);

Var x,y;
Func brighter("brighter");
brighter(x,y) = input(x,y) + 100;
brighter.estimate(x, 0, 640).
         estimate(y, 0, 480);

Pipeline p(brighter);
p.auto_schedule(target);
p.compile_to_static_library("./lib_dummy", {input}, "", target);