type-systems 相关问题

类型系统通过提供用于操作这些约束的语法方法，对可编写的程序施加约束。

A类{}类B扩展A {} void fA（A a）{} void fB（B b）{}最终地图 m = {'test'：fB};在上面的示例中，将fA分配给'test'有效，但fB生成...

dictionary inheritance dart polymorphism type-systems

回答 1 投票 0

请考虑以下静态断言：static_assert（std :: is_convertible_v ）; static_assert（STD :: is_convertible_v ）; static_assert（STD：...

c++ type-conversion typetraits type-systems

回答 2 投票 2

我正在做一个学术练习（个人成长）。我想找到一些编程语言，它们允许你定义能够接受自己的函数（即指向自己的指针）......

ocaml type-inference type-systems hindley-milner anonymous-recursion

回答 7 投票 6

我对neo4j很新，实际上这是我的第一个stackoverflow问题所以请温柔:)是否有一个优雅的解决方案如何将子图分组为新节点并首先使用这些节点...

neo4j pattern-recognition type-systems abstract-data-type subgraph

回答 1 投票 0

我注意到tuple.productIterator总是返回一个迭代器[Any]一个想知道是否不可能设置多个下界（所以它可能是最低常见超类型的迭代器）。一世 ...

scala jvm type-systems

回答 2 投票 12

我试图在OCaml中表示一组语法的产生，而存在类型对于模拟语法规则的语义动作非常有用。我一直在研究Menhir的源代码......

polymorphism ocaml type-systems gadt existential-type

回答 2 投票 2