我有一个内部细节被隐藏的类型。我想提供某种镜头，可以在特定索引处读取所述类型的元素，但不修改它们。我的类型的实例Ixed似乎没有执行我想要的操作，因为它明确允许修改（尽管不允许插入或删除）。如果我想允许只读索引，我不确定我使用什么。
我一直在看recursion-schemes图书馆,我对prepro应该用于什么,甚至它做什么感到非常困惑.它作为'Fokkinga的prepromorphism'的描述并不是非常有用,并且签名(prepro :: Corecursive t => (forall b . Base t b -> Base t b) -> (Base t a -> a) -> t -> a)看起来非常类似于cata(catamorphism),但有一个额外的参数,其意图不明确.有人能够解释这个函数的意图吗？
假设我已导入std.algorithm.BinaryHeap,并且想要调用其removeAny方法(例如delete_min).如果我从std.algorithm自己导入方法,我可以写这样的东西:
import std.algorithm: removeAny;
alias delete_min = removeAny;
但是,我显然不能这样做,因为removeAny是一种方法BinaryHeap.我怎么能把它别名别的呢？
我试图在Emacs中使用“文档视图”来阅读PDF，但是我不知道如何使它的行为类似于许多PDF阅读器所具有的“适合宽度”命令。有内部的方法吗？
假设我有一个指向字符串结构的指针的关联数组,其中调用结构Foo; 类型将是Foo*[string].假设我还有一个带有以下签名的函数:void bar (Foo*[string] baz).将通过价值或参考baz传递bar？我没有找到任何关于此的文档,我很好奇.
我有一个程序,它使用了很多指针用于各种事情,当我运行它足够长时间(意味着大约10分钟)时,我开始消耗过多的RAM,这通常会导致它停止运行(操作系统)杀了它).这让我想知道D中的指针是否属于垃圾收集器的管辖范围.有人可以赐教吗？
假设我需要做类似的事情:
mixin(some_template!("x", "foo"));
mixin(some_template!("x", "bar"));
mixin(some_template!("x", "baz"));
mixin(some_template!("y", "foo"));
mixin(some_template!("y", "bar"));
mixin(some_template!("z", "baz"));
是否有可能创建another_template哪个是可变版本some_template,在哪里你可以提供从2到多个参数的任何地方？我的意思是我希望能够说:
mixin(another_template!("x", "foo", "bar", "baz"));
mixin(another_template!("y", "foo", "bar"));
mixin(another_template!("z", "baz"));
并将它扩展到与第一个示例扩展到的等效代码.
基本上，我正在尝试查看是否可以编写一个模式来接受数组数组，以便所有内部数组彼此具有相同的长度。例如，模式应该接受以下内容：
[[1, 2], [3, 4], [5, 6]]
[[1], [2], [3]]
[[1 2 3 4]]
但拒绝以下内容：
[[1], [2, 3], [4, 5]]
[[1 2 3 4 5], [6]]
JSON Schema 可以做到这一点，如果可以，如何做到？
我有以下gnuplot脚本:
set autoscale
unset log
unset label
set xtic auto
set ytic auto
unset title
set xlabel "Number of clusters"
set ylabel "Accuracy of classifier (%)"
plot "cluster.dat" using 1:3 title "PART" with lines, \
"cluster.dat" using 1:4 title "JRip" with lines, \
"cluster.dat" using 1:5 title "FURIA" with lines
我希望这个脚本在运行时输出SVG或EPS - 为了实现这一点,我需要添加或修改什么？