标签: dynamic-typing

我正在学习Haskell,并试图掌握Haskell类型系统究竟是如何工作的,重新确定事物的类型:动态,静态,手动设置,推断？

语言我知道一点:

• C,Java:由程序员手动设置,在编译时验证,如int i;强类型(从字符串中减去整数是编译错误).典型的静态类型系统.

• Python:运行时自动推断的类型(动态类型),强类型(int从str引发异常中减去).

• Perl,PHP:在运行时自动推断类型(动态类型),弱类型.

• Haskell:类型通常在编译时自动推断(在编译时,程序员明确设置此类型或类型),强类型.

Haskell的类型系统真的值得描述"静态"吗？我的意思是自动类型推断不是(经典的)静态类型.

我遇到了一个我无法理解的非常奇怪的行为.我有一个Texture类型contentWidth属性的类int.此类包含在Image具有width类型属性的类中int.所述width的Image计算简单地作为contentWidth底层质地:

- (int) width
{
    return texture.contentWidth;
}

现在Image由Button想要读取图像大小的类(通过合成,而不是继承)使用:

// image is of type ‘id’
int width = [image width];
int height = [image height];

问题是height变量设置得很好,而width变量包含NaN(-2147483648).我检查了尺寸 - 它们大约是200×100左右,没有接近int极限.此外,Xcode调试器工具提示Texture正确显示两个属性,只有在宽度通过两个访问器后,数字才会出现乱码.对象未释放.我错过了什么？

更新:我已经扩展了Image类中的访问器以查看问题的来源:

- (int) width
{
    const int w = texture.contentWidth;
    return w;
}

现在,当我在第一行中断时,w获得正确设置.我跳过,执行返回到调用函数:

- …

正如标题所示,我想将可变数据类型传递给模板类.像这样的东西:

frmExample = New LookupForm(Of Models.MyClass) 'Works fine

Dim SelectedType As Type = InstanceOfMyClass.GetType() 'Works fine
frmExample = New LookupForm(Of SelectedType) 'Ba-bow!
frmExample = New LookupForm(Of InstanceOfMyClass.GetType()) 'Ba-bow!

LookupForm<Models.MyClass> frmExample;
Type SelectedType = InstanceOfMyClass.GetType();
frmExample = new LookupForm<SelectedType.GetType()>(); //Ba-bow
frmExample = new LookupForm<(Type)SelectedType>(); //Ba-bow

我假设它与在编译时处理的模板有关,但即使我在那里没有标记,它也无法解决我的问题.我找不到有关使用Reflection实例模板类的任何相关信息.

(如何)我可以在运行时创建动态类型存储库的实例吗？

是否可以在纯ANSI-C中复制通用数组？

我有这个结构,它包含一个数组(目前用于浮点数)和一些变量,如数组中的变异大小和容量.

typedef struct _CustomArray
{
    float* array; //the array in which the objects will be stored
    int size; //the current size of the array
    int capacity; //the max capacity of the array
} CustomArray; 

我使用这个结构,所以我可以在纯C中创建一个数组,我可以在其中添加/删除项目,在需要时动态扩展数组大小等所有"标准"数组所做的事情,除了它只用C制作.现在我想这样做,这样当你初始化这个结构时,你可以设置它应该保存的元素的数据类型,此时它只能存储浮点数据类型,但我想使它能够存储任何数据类型/其他结构.但我不知道这是否可行.

此时制作此数组的函数是:

CustomArray* CustomArray_Create(int initCapacity, /*type elementType*/)
{
    CustomArray* customArray_ptr; //create pointer to point at the structure
    float* internalArray = (float*)malloc(sizeof(float) * initCapacity); //create the internal array that holds the items
    if(internalArray != NULL)
    {
        CustomArray customArray = { internalArray, 0, initCapacity }; //make the …

我需要将返回值强制转换为我需要保持动态的特定类型,例如

let cellType = "CellTypeToBeResolved"
cell = (tableView.dequeueReusableCellWithIdentifier("myID") as? CellTypeToBeResolved)!

这怎么可能在Swift 2.0中？日Thnx!

我有

data D t = ...
data SomeStuff = forall a (Typeable a, ...) => SomeStuff a

在某些时候，我得到了一个 SomeStuff，a我想尝试将其内部转换为D t（任何类型t都可以，我只对这部分感兴趣）。一些（在伪 Haskell 中）看起来像：D

case someStuff of
  SomeStuff (_ :: a) -> case eqT :: Maybe (a :~: (exists t. D t)) of
    Just Refl -> -- proven that `exists t. a ~ D t`
    Nothing -> -- nothing to do here