沿路径采样点
Sampling points along a path
假设我有 type Path a = Double -> a。这描述了给定类型 a 中 "path" 的一些概念。在我的例子中，我想用它在二维 space 中绘制一条曲线。我用 diagrams so let a = P2 Double (P2).
我正在寻找的是一种对任何路径进行采样的（通用）方法 p :: Path (P2 Double)，这样我就可以生成平滑的曲线。目前，我只是生成了一组固定的 Doubles，我对 p 进行了采样。但是，这仅在 p 相对平滑 w.r.t 时才有效。采样率。
无法完成。如果你想要一个函数的 "good" 样本，你必须假设 某事 关于函数的平滑度；没有任何假设的函数可能会非常奇怪。例如，Weierstrass 函数处处连续，处处可微；理性指标有界但处处不连续；事实上，根据任何理智的衡量标准，绝大多数函数甚至都不可计算，更不用说对于一组 "representative" 输入很容易查询了。
所以做一些假设，或者要求用户告诉你如何采样。
假设我有 type Path a = Double -> a。这描述了给定类型 a 中 "path" 的一些概念。在我的例子中，我想用它在二维 space 中绘制一条曲线。我用 diagrams so let a = P2 Double (P2).
我正在寻找的是一种对任何路径进行采样的（通用）方法 p :: Path (P2 Double)，这样我就可以生成平滑的曲线。目前，我只是生成了一组固定的 Doubles，我对 p 进行了采样。但是，这仅在 p 相对平滑 w.r.t 时才有效。采样率。
无法完成。如果你想要一个函数的 "good" 样本，你必须假设 某事 关于函数的平滑度；没有任何假设的函数可能会非常奇怪。例如，Weierstrass 函数处处连续，处处可微；理性指标有界但处处不连续；事实上，根据任何理智的衡量标准，绝大多数函数甚至都不可计算，更不用说对于一组 "representative" 输入很容易查询了。
所以做一些假设，或者要求用户告诉你如何采样。