pyDatalog中的静态类型:可能吗？
在pyDatalog中，静态类型是不可能的。pyDatalog是一个基于Python的逻辑编程库，它使用了动态类型系统。动态类型意味着变量的类型在运行时确定，而不是在编译时确定。这使得pyDatalog非常灵活，可以处理各种类型的数据。
由于pyDatalog使用动态类型，它不需要在代码中显式声明变量的类型。相反，它根据变量在运行时所引用的对象的类型来确定变量的类型。这种动态类型的特性使得pyDatalog编写起来更加简洁和灵活。
在pyDatalog中，您可以直接使用变量而无需事先声明其类型。例如，您可以将一个整数赋给一个变量，然后将同一个变量用作字符串。这种灵活性是动态类型系统的一个优势，但也可能导致一些潜在的错误。
总结起来，pyDatalog中的静态类型是不可能的，因为它使用了动态类型系统。这使得pyDatalog更加灵活和简洁，但也需要开发人员在编写代码时更加小心，以避免潜在的类型错误。
相关·内容
在下面的500 internal server error页面中，我遇到了这样的错误。
File "/usr/local/lib/python3.5/dist-packages/pyDatalog/pyParser.py", line 388, in __call__
literal = Literal.make(self._pyD_name, tuple(args), kwargs)
File "/usr/local/lib/python3.5/dist-packages/pyDatalog/pyParser.py", line 510, in m
浏览 3提问于2018-12-07得票数 1
回答已采纳
我试图使用pyDatalog操作符在==中创建谓词，但是flammableX的定义似乎无效：
from pyDatalog import pyDatalog
pyDatalog.create_terms('flammable, notFlammable, X, Y')
flammable[X] = ((X == 'wood') or (X == 'coal'))`
#TypeError: unhashable type: 'Query'
notFlammable[X] = ~flammable[X]
#This doesn&#
浏览 7提问于2014-11-25得票数 2
回答已采纳
我正在尝试使用pyDatalog.load()方法加载一个小的pyDatalog程序。例如，我从加载阶乘样本
from pyDatalog import pyDatalog
pyDatalog.create_atoms('factorial, N, F') # gives datalog capability to these words
def run_program():
N = pyDatalog.Variable()
F = pyDatalog.Variable()
file_in = open("sample_datalog_pro
浏览 14提问于2013-02-07得票数 1
回答已采纳
1回答
练习Datalog的最佳方法是什么？
我应该在pyDatalog里练习吗？还是我应该和Prolog一起去？(但对于Datalog和Prolog，语法没有不同吗？)
谢谢。
浏览 3提问于2017-10-10得票数 0
回答已采纳
1回答
如何将这种算术谓词转换为合法的pyDatalog谓词？
add(X，Y，Z)←X+Y=Z
例如：
？添加(5，7，Z)。
答案应该是: add(5，7，12)。
谢谢!
浏览 6提问于2017-06-24得票数 0
1回答
考虑以下规则：
pyDatalog.create_atoms('X')
pyDatalog.create_atoms('Y')
pyDatalog.create_atoms('a')
pyDatalog.create_atoms('b')
b(X,1) <= (X<0)
b(X,Y) <= (X==1) & (Y>0)
a(X,Y) <= b(X,Y) & (X>0)
以及找到满足以下条件的约束的问题: a(X,1)
问题是:你能用pyDatalog提供列表(X==1)吗？或
浏览 5提问于2013-05-02得票数 2
2回答
我有几个关于类型推理语言的问题。通过说类型推断，我指的是不需要在代码中显式声明数据类型的所有语言。
我认为这些语言为开发人员提供了更大的灵活性，但我想为下面的问题找到答案。
这些语言在运行时会消耗更多的时间来推断实际的数据类型吗？
这些语言可以用于企业应用程序的开发吗？它们支持可维护性和可重用性吗？
浏览 6提问于2016-09-12得票数 0
可以从字符串中创建类型为的变量吗？
示例：
*我有两种类型：
type FirstType struct {
...
}
type SecondType struct {
...
}
// also I have a string variable
var1 := "Second"
我想创建类型为- String value + "Type"的变量
var variable = []var1+"Type" // slice of "SecondType"
在本例中，预期结果如下：
var variable =
浏览 2提问于2014-10-26得票数 4
2回答
释放抽象类指针
、、、、
在C++中，我有一个包含在class B中的允许多态的抽象类指针的class A，我有另一个指向抽象class C的指针，它将一个class B子类的具体实例分配到该内存中，我需要从class C调用一个清理(见下面的问题)函数来释放我从堆中分配的class B子类占用的内存，问题是我不能保证我能够访问清理函数，因为我只有一个指向class C的指针，而这个指针不能被复制，因为当我调用需要销毁包含的class A时，它可能已经消失了。
为了解决无法访问清理函数的问题，我可以在指向子类的情况下调用class A指针上的delete吗？ new是否也存储堆块大小，比如malloc，以便您可以删除指
浏览 1提问于2011-06-29得票数 1
回答已采纳
我想写
Check: a -> b -> Bool
如果a和b具有相同的类型，则check返回true。在榆树中这是可能的吗？
浏览 0提问于2017-05-26得票数 1
1回答
虚拟调用中的C++非虚函数调用
、、、、
为什么这个程序的输出是“A类”？这不是确定为B型的吗？这不意味着这个-> g ()应该调用B类的g版本吗？
#include <iostream>
using namespace std;
class A {
private:
void g() {
cout << "CLASS A" << endl;
}
public:
virtual void f() {
g();
}
};
class B : public A {
public:
void g() {
浏览 1提问于2020-03-21得票数 1
3回答
我可以像下面的代码一样使用smth吗：
int main()
{
int* foo = new int;
double* bar = reinterpret_cast<double*>(foo);
delete bar;
}
是UB吗？
我认为我们只需要为new返回的指针调用delete操作符，但在这种情况下强制转换又如何呢？
我认为它是UB，因为reinterpret_cast不会对结果指针提供任何保证。我说的对吗？
有没有人能贴出标准中的正确引述？
浏览 2提问于2013-06-24得票数 6
回答已采纳
我做了一个私有API，它假设类中第一个成员对象的地址与类的this指针相同……这样，成员对象就可以简单地派生出指向它所属对象的指针，而不必显式地存储指针。
假设我愿意确保容器类不会从任何超类继承，不会有任何虚方法，并且执行此技巧的成员对象将是第一个声明的成员对象，那么这个假设对任何C++编译器都有效吗，或者我是否需要使用offsetof()运算符(或类似的运算符)来保证正确性？
换句话说，下面的代码在g++下做了我所期望的事情，但是它能在所有地方工作吗？
class MyContainer
{
public:
MyContainer() {}
~MyContainer() {}
浏览 0提问于2010-04-13得票数 4
回答已采纳
假设我有这两门课
abstract class Config {
abstract setName(name: string);
}
class MyConfig extends Config {
setName(name) {
// set name.
}
}
name参数在MyConfig中将按any类型。如果抽象函数的类型不被传递，那么输入抽象函数有什么意义呢？有什么方法可以在不接触MyConfig类的情况下输入它吗？我想为第三方工具做一个配置，不能期望用户输入抽象函数参数，尽管他们应该这样做。
有什么建议吗？
浏览 1提问于2017-02-21得票数 1
回答已采纳
我读过dynamic是Dart中的一种数据类型，但是称它为数据类型是正确的吗？它看起来不像数据类型，它似乎是允许变量成为任何数据类型的一种方式。
浏览 5提问于2022-06-12得票数 1
C#被认为是静态类型的语言.但是，它包含关键字，如：
var，它在编译时推断类型，以及
dynamic，它在运行时确定类型。
这是矛盾吗？
浏览 0提问于2022-12-02得票数 5
回答已采纳
2回答
单例继承
、
这里解释了单例：。我想使用单例类作为超类，并在其他应该是单例类的类中扩展它。问题是，超类是自己的一个实例，而不是子类。你知道如何让超类创建一个子类的实例吗？
class Singleton {
// object instance
private static $instance;
protected function __construct() { }
public function __clone() { }
public function __wakeup() { }
protected static function getIns
浏览 2提问于2008-11-30得票数 3
回答已采纳
1回答
我正在看苹果的指南。在动态绑定这一主题下，有三个概念：
动态绑定
后期绑定
静态绑定
我几乎理解了动态绑定和后期绑定之间的区别，但是静态绑定混淆了很多问题。有人能用目标C或C++中的例子来解释这三个概念之间的区别吗？
注意:在你考虑把这个问题标记为重复之前，没有问题可以同时描述这三件事。
浏览 2提问于2014-03-15得票数 2
回答已采纳
1回答
因此，我很好奇，GC --尤其是终结--会出现在.NET中的实例.NET上吗？
任何东西都不引用x
x具有静态DbConnection属性。
y是与x相同类的实例
y仍然被某些东西引用
在这种情况下，x可以被外部引用声明为死--但是对其执行终结可能会导致DbConnection被释放，而y仍然需要并保存对它的引用。
那么，在我描述的场景中，收集x是哪一种呢？它最后确定了吗？或者，在收集任何一个实例之前，它的类型的所有实例都需要在堆中孤立吗？会在每个实例中完成吗？
我会这样认为，遵循的一般规则是:永远不要在终结器中触摸静态或共享对象？
浏览 0提问于2014-08-27得票数 3
回答已采纳
1回答
最近，我正在学习语言的动态和静态分析。我已经阅读了一些相关的问题，比如，但我仍然有一些问题。
动态分析可以在编译和运行期间进行，并检查程序状态。通过动态分析，可以避免不需要的执行步骤。静态分析通常指的是静态类型检查系统，静态分析必须正确地预测实际的程序行为。对于静态类型系统，这意味着分配的类型必须描述程序在运行时可能计算出的所有值。我想知道，如果类型检查器将一个类型分配给一个程序，而该程序没有描述该程序计算出的所有值，会发生什么情况。有人能举个例子吗？
浏览 2提问于2017-12-12得票数 1
1回答
我正在实现一个类似箔的算法，在这个算法中，我想有效地尝试不同的假设(即子句)，同时保持其余的数据保持不变。我在想，如果不使用clear()函数，我怎么可以撤回规则呢？
浏览 3提问于2018-02-25得票数 0
回答已采纳
2回答
我有点困惑于枚举的导入语句。考虑以下片段：
UsernamePasswordAuthenticationFilter getUsernamePasswordAuthenticationFilter() {
UsernamePasswordAuthenticationFilter usernamePasswordAuthenticationFilter =
new UsernamePasswordAuthenticationFilter();
usernamePasswordAuthenticationFilter.setAllowSessionCrea
浏览 5提问于2015-04-11得票数 2
回答已采纳
我想把我的应用程序的各种数据存储在一个地方，一张地图上。在JS中，我会存储在一个JSON文件中，我想使用同样的方法，但与Dart斗争。我似乎无法处理嵌套列表或地图。
以下是我想要做的事情：
var items = {
"item1": {
"message" : "aa",
"nested1": {
"message": "bb",
"nested2" : {
"message" : "cc&
浏览 1提问于2021-08-04得票数 0
回答已采纳
2回答
c#静态构造函数保证只执行一次。因此，如果我说有十个线程访问A类的一个成员，而A的静态构造函数还没有运行，而A的静态构造函数需要10秒才能运行，这些线程将阻塞10秒。
这在我看来很神奇--这是如何在JIT/CLR中实现的？对静态字段的每次访问是否都输入一个锁，检查静态构造函数是否无效，如果不是，则初始化它吗？这不是很慢吗？
为了明确起见，我想知道规范的实现是如何实现这一点的。我知道静态构造函数是线程安全，这个问题并不是要问这个问题。它询问实现如何确保这一点，以及它是否使用遮罩下的锁和检查(这些锁不是c++中的锁，而是JIT/CLR/其他实现使用的锁)。
浏览 2提问于2018-10-26得票数 1
回答已采纳
这两个代码块都执行相同的操作吗？
class A {
public static int s;
A(){}
static A(){s = 100;}
}
和
class A {
public static int s=100;
A(){}
//static A(){s = 100;} do not use
}
他们也做同样的事吗？我也这么想。
浏览 2提问于2014-09-30得票数 4
回答已采纳
我在Rust中看到了这样一种趋势，即Result中的错误返回如下： fn do_something() -> Result<SomeType, Box<dyn std::error::Error>> {
// ...
} 为什么错误是动态的？由于我有C++背景，并且更喜欢std::variant而不是经典多态性(我对rust比较陌生)，所以我对动态分配过敏，所以我只在必要时才使用它们。我还发现Rust的枚举很棒，因为其中包含了变体。有人能解释一下为什么使用错误作为枚举不是标准的/首选的/常见的吗？
浏览 11提问于2019-09-26得票数 9
回答已采纳
2回答
假设FrameworkA使用一个FrameworkA.StandardLogger类进行日志记录。我想用另一个日志库( SuperLogger类)替换日志库。
为了实现这一点，有接口：FrameworkA将提供其他库必须实现的FrameworkA.Logger接口。
但是，如果其他库没有实现这个接口呢？FrameworkA可能是一个不受欢迎的框架，不足以使SuperLogger关心它的接口。
可能的解决办法是：
有一个标准化的接口(由JSR、PSR、.等标准定义)
写适配器
如果没有标准化的接口，如果类是兼容的，您希望避免编写无用的适配器所带来的痛苦怎么办？
在运行时，不能有另
浏览 4提问于2013-02-20得票数 2
1回答
我有一个函数，在里面我用和我的函数相同的参数调用另一个函数。类型由内部函数定义，由我想要控制它。
有没有办法像内部函数一样使用相同类型的提示呢？
我试过的
from typing import get_type_hints, Any
def inner(inner_param: int) -> int:
return inner_param
a = get_type_hints(obj=inner).get("inner_param", Any)
def outer(my_param: a) -> None:
result = inner(my
浏览 8提问于2021-10-06得票数 1
在过去的几年中，我们一直使用动态类型的PHP版本。但是，在PHP7中，我们有一个选项可以启用“严格类型”：
PHP :返回类型声明
PHP :标量类型声明
(注意:标量类型声明重复使用短语“弱类型检查”或“严格类型”与静态/动态。)
说PHP7是一种静态类型的语言是正确的吗？如果是的话，为什么？
浏览 0提问于2016-01-07得票数 8
回答已采纳
2回答
我有点困惑..。
为什么在C++中允许这样做：
static int t = 0;
class A
{
public:
A() : m(t++)
{
cout << "C:" << m << endl;
if(t >= 5)
{
A a; // <<<< ----- THIS line
thr
浏览 3提问于2014-03-19得票数 5
回答已采纳
在最近的一个问题中，海报上有一段有趣的代码：
self.view.backgroundColor = .whiteColor()
看到这个我很惊讶。我只见过用于枚举值的领先点表示法。在本例中，backgroundColor类型为UIColor?，而whiteColor是返回UIColor的UIColor上的类方法。
为什么要这么做？这是一种叫工厂方法的合法方法吗？
浏览 3提问于2015-03-01得票数 41
回答已采纳
在Dart中存在着两种类型。
运行时类型
静态型
以下是中的证明
空的静态类型是底部。
null的运行时类型是Null
静态类型的null是bottom
这意味着Dart中的对象可以有两种类型。
一个真正的类型称为static，另一个virtual类型称为runtime。
也就是说，运行时类型的null不是一个bottom，而是一个常规类Null。
class Null {
factory Null._uninstantiable() {
throw new UnsupportedError('class Null cannot be ins
浏览 2提问于2014-02-19得票数 3
在以下代码中：
using System;
namespace ConsoleApplication1
{
class Program
{
static void Main(string[] args)
{
MyChild x = new MyChild();
System.Console.ReadKey();
}
}
class MyParent
{
protected static void TestFunction()
浏览 0提问于2010-11-11得票数 2
回答已采纳
2回答
我想定义一个这样的时间接口：
public interface TimeInterface<T>
{
static T ZERO;
static T INFINITY;
// some other methods...
}
这是可能的吗?或者如何避免错误？
提前感谢！
浏览 2提问于2015-07-07得票数 10
4回答
静态类型的完整Lisp变体是可能的吗？像这样的东西存在有意义吗？我相信Lisp语言的优点之一就是定义的简单性。静态类型会破坏这一核心原则吗？
浏览 1提问于2010-07-24得票数 110
3回答
当我开始在电脑上出现一些奇怪的症状时，问题就来了。
下面是正在发生的事情:我有一个WinForms应用程序是用C# (.Net 2.0)编写的。如果我从Visual 2005 (调试或发行版)运行它，那么一切都很好。如果我试图从Windows运行它(在VS 2005中运行由调试过程生成的完全相同的可执行文件)，我将在Program上得到一个"System.TypeInitializationException“。
我在静态构造函数和Main()中添加了调试日志消息( File.AppentAllText() )。静态构造函数中的日志消息会被写入，但是Main()中的日志消息不会被写入，
浏览 4提问于2011-08-08得票数 1
我有以下问题，嵌套类(在本例中是struct)命名空间和返回类型
class Example
{
struct Node { /* with all the methods it needs */ }
Node * func();
}
现在，我想把func的实现放在类之外。所以我做的是：
Example::Node * Example::func()
{
return nullptr;
}
它工作得很好直到我做了example模板
template<typename T>
class Example {/* all the same here */}
template <t
浏览 0提问于2017-01-08得票数 4
回答已采纳
4回答
编程语言分为两大类：“动态”和“静态”。-编程语言总是这样吗?我的意思是，一种语言可以同时是动态和静态的吗？
浏览 6提问于2009-11-26得票数 3
回答已采纳
1回答
我想弄清楚.NET中的静态字段初始化器的执行时间有多松散。在在线编译器()中运行下面的代码时，我得到了一个TypeInitializationException，但在VS中的测试控制台应用程序中，我得到了预期的1输出。
代码：
using System;
using SimpleInjector;
public class Program
{
public static IFactory Factory { get; set; }
public interface IFactory { T GetInstance<T>() where T:
浏览 3提问于2021-07-25得票数 1
回答已采纳
这个问题已经被提出来讨论了与java中的静态方法相关的术语隐藏。每当在父类和子类中定义具有相同签名的静态方法时，子类方法就被认为在父类中隐藏了该方法。我的问题是关于隐藏的用法，因为我们知道静态方法将被类名访问，或者如果我们试图创建一个引用(这是一个糟糕的做法)，方法将被基于引用类型调用。那么隐藏是如何进入画面的，以下面的代码为例：
public class Animal {
public static void testClassMethod() {
System.out.println("The static method in Animal");
浏览 7提问于2018-04-28得票数 2
2回答
类型静态构造函数调用
、、、
可能重复：
在Richter的书中找到了下一个代码(我已经将它简化了一点)：
internal struct SomeValType
{
static SomeValType()
{
Console.WriteLine("This never gets displayed");
}
public Int32 X;
}
public sealed class Program
{
public static void Main()
{
SomeValType a = new SomeValT
浏览 6提问于2011-05-01得票数 1
回答已采纳
2回答
什么是“变量”/data类型？
编译器/解释器如何处理类型？
我特别关注的是在低级语言和高级语言中的不同类型。例如，在Python中，因为list非常灵活。您只需定义它，并在运行时放入您想要的任何内容。
ints
floats
strings
sets
甚至其他lists
基本上，任何类型的对象(如果我没有弄错)。
所以我认为list是一个用C编写的类，里面有很多东西，动态内存分配等等，用来处理所有这些问题。
是那么回事吗？
..and是否意味着所有的Python类型都是C类？
那么C中的类型是什么呢？
他们是“班”吗？
..or与汇编程序代码有某种联系？
PS:我不是在寻找一些精确的说明性提
浏览 0提问于2014-01-27得票数 0
3回答
什么时候，将参数作为参数传递给静态方法比让方法成为非静态方法并通过实例成员访问相同的值更快。假设该方法以只读方式访问这些成员。
在其他条件相同的情况下，调用静态方法比调用实例方法更容易实现。
在其他条件相同的情况下，调用不带参数的方法比调用带参数的方法稍微快一些。
考虑一下：
private Thing _thing;
void DoTheThing()
{
_thing.DoIt();
}
与此等效代码相比：
private Thing _thing;
// caller's responsibility to pass "_thing"
static v
浏览 3提问于2009-10-15得票数 9
这与 (将Kotlin转到JavaScript)有关：
Kotlin有一个dynamic类型，如下所示：
val dyn: dynamic ="String"
dyn.thisMethodDoesNotExist(1,2,3)
不会运行类型检查，代码将被简单地“按原样”输入到结果JS文件中。
动态最独特的特点是允许我们调用任何带有动态变量参数的属性或函数
虽然这个概念对我来说是有意义的，但我一直在想，在什么样的情况下，我们需要这个特性。有人有具体的例子或用例吗？
Kotlin允许我们编写类型安全的 JavaScript，这是利用转移溢出的原因之一，对吗？为什么我们要放弃
浏览 0提问于2017-11-24得票数 1
回答已采纳
3回答
可能重复：
为什么我们不能在java中的特定方法中定义枚举？如果我有一个场景，我将只在方法中使用这些枚举值，而不是在任何其他地方。用方法声明不是很好，而不是在全球范围内定义它吗？我是说不管是公开还是违约。
浏览 3提问于2012-06-14得票数 9
6回答
类型和OO是耦合的吗？
、、、、
试图理解类型是否意味着OO，反之亦然。
问题：
什么是类型？
红宝石中的一个类能被称为“类型”吗？
在javascript中，本机函数/对象如Array、String、Function .他们是类型吗？
C结构是类型吗？
当一种语言不支持面向对象时，它怎么能被输入呢？比如Haskell。这类语言中的类型是OOPL中对象/类中没有行为(方法)的“数据”类型吗？有类型但没有OO的langs与支持OO的langs在类型上有什么显著差异。
如果类/对象是类型，那么OO不意味着类型吗？
您能拥有一个没有OO语言中典型层次结构的类型系统吗？
因为clojure支持类型提示，
浏览 1提问于2010-10-13得票数 15
回答已采纳
2回答
如何使用字符串指定类型？我的意思是：
string s = "int";
Vector<s> vec;
我希望vec是vector<int>。这个是可能的吗？
我想创建一个类，用户可以在其中键入字符串，然后创建一个具有该类型的向量。
浏览 0提问于2011-12-21得票数 5
3回答
#include <iostream>
using namespace std;
class base
{
int a;
public:
base() {a =0;}
};
class derv :public base
{
int b;
public:
derv() {b =1;}
};
int main()
{
base *pb = new derv();
delete pb;
}
我在derv类中没有虚拟析构函数，它只删除derv对象的基本部分吗？？
浏览 0提问于2012-01-06得票数 11
回答已采纳
我特别关注的是：
在引用/依赖类中定义的、包含在外部DLL中的类中的静态变量。在我的示例中，该第三方程序集中的任何类型直到程序后期才会引用。(假设执行5分钟)。
那么，第三方程序集的静态变量会被加载吗？
谢谢，瑞
浏览 1提问于2013-10-12得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
