Fatal编程技术网
  • types/
  • Types 朱莉娅的类型图是什么样子的？

Types 朱莉娅的类型图是什么样子的？

types julia

Types 朱莉娅的类型图是什么样子的？,types,julia,dispatch,Types,Julia,Dispatch,我刚开始看起来像茱莉亚。我感兴趣的是它如何完成多个分派，特别是它如何确定在多个分派中使用的类型 在《公约》导言中，各国： Julia中的所有值都是具有属于单个完全连接类型图的类型的true对象，该类型图的所有节点都是与类型相同的一级节点 我的问题是：类型图是如何连接的 例如，Integers的数组可以放在哪里？它是数组的子类型还是整数的子类型？两者都有 复杂的数字怎么样？我可以拥有Rational的Arrays（2x1）和整数的Duples（2元组）都是复数吗 # This is my firs

我刚开始看起来像茱莉亚。我感兴趣的是它如何完成多个分派，特别是它如何确定在多个分派中使用的类型

在《公约》导言中，各国：

Julia中的所有值都是具有属于单个完全连接类型图的类型的true对象，该类型图的所有节点都是与类型相同的一级节点

我的问题是：类型图是如何连接的

例如，
Integer
s的
数组
可以放在哪里？它是数组的子类型还是整数的子类型？两者都有

复杂的数字怎么样？我可以拥有
Rational
的
Array
s（2x1）和
整数的
Duples
（2元组）都是
复数吗


# This is my first Julia code ever. It is probably wrong.
abstract type Rational <: Number end
abstract type Integer <: Rational end
abstract type Complex <: Array{Integer, 2} end
abstract type Complex <: Tuple{Rational, Rational} end
(1, 2)::Complex * (1, 2)::Complex



#这是我有史以来的第一个Julia代码。这可能是错误的。

抽象类型Rational这里是从
这个链接也是一个很好的首读



在类型层次结构中，您可以看到：


    

  • 抽象类型-这些类型用于定义总体类型结构。在Julia中，只能从抽象类型继承。因此，此树中的所有分支类型都是抽象的
    • 

  • 具体类型-这些都是树叶
    • 

  • 参数化类型。这些是
    {}
    之后的值<代码>T。谢谢你，@phipsgabler。对于本文的其他读者，《文摘》指出：“本文提供了朱莉娅子类型关系的第一个正式定义，并推动了其设计。”