julia - julia包中不可变名称的含义

Question

我刚刚将 RandomMatrices.jl 包下载到 julia，因为我需要计算 Tracy-Widom 密度。然而，文档对我理解它的含义没有多大帮助:

immutable TracyWidom <: ContinuousUnivariateDistribution
end

这个 TracyWidom 名称是什么类型？我应该提供什么才能对函数进行一些测试

pdf(d::TracyWidom, t::Real)

包含在 TracyWidom.jl 中？

Answer 1

包定义了一个TracyWidom类型，它没有字段。您可以创建 TracyWidom 的新实例输入 TracyWidom() .

计算 TracyWidom 的 PDF分布、使用 pdf(TracyWidom(), 0.5) .

您可以从 pdf 中算出这一点类型签名:第一个参数应该是 TracyWidom 类型的对象, 第二个类型 Real .

Julia 有一个 rich type system ，但与此处相关的是:abstract ，无法创建，immutable ，创建后不可修改，type这是“正常”的那种。

在Distributions.jl ，这是基于的，有为每个分布定义的类型，例如正态分布是

immutable Normal <: ContinuousUnivariateDistribution
    μ::Float64
    σ::Float64
    # Some other stuff...
end

这更有意义，因为它由这两个参数定义 - TracyWidom不需要任何参数，但我们仍然遵循相同的样式。 <: ContinuousUnivariateDistribution意味着 Normal和 TracyWidom都是ContinuousUnivariateDistribution s，这是一个抽象类型。