JuliaLang: The Ingredients for a Composable Programming Language

栏目: IT技术 · 发布时间: 4年前

内容简介:One of the most remarkable things about the julia programming language, is how well the packages compose. You can almost always reuse someone else’s types or methods in your own software without issues. This is generally taken on a high level to be true of

One of the most remarkable things about the julia programming language, is how well the packages compose. You can almost always reuse someone else’s types or methods in your own software without issues. This is generally taken on a high level to be true of all programming languages because that is what a library is. However, experienced software engineers often note that its surprisingly difficult in practice to take something from one project and use it in another without tweaking. But in the julia ecosystem this seems to mostly work. This post explores some theories on why; and some loose recommendations to future language designers.

This blog post is based on a talk I was invited to give at the 2020 F(by) conference . Hopefully videos from that will be up soon, and I will link it here. This blog post is a bit ad-hoc in its ordering and content because of its origin as a talk. I trust the reader will forgive me.

Parts of this post are inspired by Stefan Karpinski’s “The Unreasonable Effectiveness of Multiple Dispatch” talk at JuliaCon 2019 . I recommend that video, it goes into more details on some of the multiple dispatch points, and the subtle (but important) difference between julia’s dispatch and C++’s virtual methods.

What do I mean by composable?

Examples:

  • If you want to add tracking of measurement error to a scalar number, you shouldn’t have to say anything about how your new type interacts with arrays ( Measurements.jl )
  • If you have a Differential Equation solver, and a Neural Network library, then you should just be able to have neural ODEs ( DifferentialEquations.jl / Flux.jl )
  • If you have a package to add names to the dimensions of an array, and one to put arays on the GPU, then you shouldn’t have to write code to have named arrays on the GPU ( NamedDims.jl / CUArrays.jl )

Why is julia this way?

My theory is that julia code is so reusable, not just because the language has some great features, but also because of the particular features that are weak or missing.

Missing features like:

  • Weak conventions about namespace pollution
  • Never got around to making it easy to use local modules, outside of packages
  • A type system that can’t be used to check correctness

But that these are countered by, or allow for other features:

  • Strong convention about talking to other people
  • Very easy to create packages
  • Duck-typing, and multiple dispatch, together

Julia namespacing is used in a leaky way

Common advice when loading code from another module in most language communities is: only import what you need. e.g using Foo: a, b c

Common practice in julia is to do: using Foo , which imports everything that the author of Foo marked to be exported .

You don’t have to, but it’s common.

But what happens if one has a pair of packages:

  • Foo exporting predict(::FooModel, data)
  • and Bar exporting predict(::BarModel, data) ,

and one does:

using Foo
using Bar
training_data, test_data = ...
mbar = BarModel(training_data)
mfoo = FooModel(training_data)
evaluate(predict(mbar), test_data)
evaluate(predict(mfoo), test_data)

If you have multiple using s trying to bring the same name into scope, then julia throws an error, since it can’t work out which to use.

As a user you can tell it what to use.

evaluate(Bar.predict(mbar), test_data)
evaluate(Foo.predict(mfoo), test_data)

But the package authors can solve this:

There is no name collision if both names overloaded are from the same namespace .

If both Foo and Bar are overloading StatsBase.predict everything works.

using StatsBase  # exports predict
using Foo  # overloads `StatsBase.predict(::FooModel)
using Bar  # overloads `StatsBase.predict(::BarModel)
training_data, test_data = ...
mbar = BarModel(training_data)
mfoo = FooModel(training_data)
evaluate(predict(mbar), test_data)
evaluate(predict(mfoo), test_data)

This encourages people to work together

Name collisions make package authors come together and create base packages (like StatsBase ) and agree on what the functions mean.

They don’t have to, since the user can still solve it, but it encourages the practice. Thus we have package authors thinking about how other packages might be used with theirs.

Package authors can even overload functions from multiple namespaces if you want; e.g. all of MLJBase.predict , StatsBase.predict , SkLearn.predict . Which might all have slightly different interfaces targetting different use cases.

Its easier to create a package than a local module.

Many languages have one module per file, and you can load that module e.g. via import Filename from your current directory.

You can make this work in julia also, but it is surprisingly fiddly.

What is easy however, is to create and use a package.

What does making a local module generally give you?

  • Namespacing
  • The feeling you are doing good software engineering
  • Easier to transition later to a package

What does making a julia package give you?

  • All the above plus
  • Standard directory structure, src , test etc
  • Managed dependencies, both what they are, and what versions
  • Easy re-distributivity – harder to have local state
  • Test-able using package manager’s pkg> test MyPackage

The recommended way to create packages also ensures:

  • Continuous Integration(/s) Setup
  • Code coverage
  • Documentation setup
  • License set

Testing julia code is important.

Julia uses a JIT compiler, so even compilation errors don’t arrive until run-time. As a dynamic language the type system says very little about correctness.

Testing julia code is important. If code-paths are not covered in tests there is almost nothing in the language itself to protect them from having any kind of error.

So it’s important to have Continuous Integration and other such tooling set up.

Trivial package creation is important

Many people who create julia packages are not traditional software developers; e.g. a large portion are academic researchers. People who don’t think of themselves as “Developers” are less inclined to take the step to turn their code into a package.

Recall that many julia package authors are graduate students who are trying to get their next paper complete. Lots of scientific code never gets released, and lots of the code that does never gets made usable for others. But if they start out writing a package (rather than a local module that just works for their script) then it is already several steps closes to being released. Once it is a package people start thinking more like package authors, and start to consider how it will be used.

It’s not a silver bullet but it is one more push in the right direction.

Multiple Dispatch + Duck-typing

Assume it walks like a duck and talks like a duck, and if it doesn’t fix that.

Julia’s combination of duck-typing with multiple dispatch is quite neat. It lets us have support for any object that meets the implict interface expected by a function ( duck-typing ); while also having a chance to handle it as a special-case if it doesn’t (multiple dispatch). In a fully extensible way.

This pairs to the weakness of julia in its lack of a static type system. A static type system’s benefits comes from ensuring interfaces are met at compile time. This largely makes in-compatible with duck-typing. (There are other interesting options in this space though, e.g. Structural Typing .)

The example in this section will serve to illustrate how duck-typing and multiple dispatch give the expressivity that is escential for composability.

Aside: Open Classes

Another closely related factor is Open Classes. But I’m not going to talk about that today, I recommend finding other resources on it. Such as Eli Bendersky’s blog post on the expression problem . You need to allow new methods to be added to existing classes. Some languages (e.g. Java) require that methods literally be placed inside the same file as the class. This means there is no way to add methods in another code-base, even unrelated ones.

We would like to use some code from a library

Consider I might have a type from the Ducks library.

Input:

struct Duck end

walk(self) = println(":walking: Waddle")
talk(self) = println("   Quack")

raise_young(self, child) = println(":baby_chick: :arrow_right: :droplet: Lead to water")

and I have some code I want to run, that I wrote:

function simulate_farm(adult_animals, baby_animals)
    for animal in adult_animals
        walk(animal)
        talk(animal)
    end

    # choose the first adult and make it the parent for all the baby_animals
    parent = first(adult_animals)
    for child in baby_animals
        raise_young(parent, child)
    end
end

Lets give it a try:

3 Adult ducks, 2 Baby ducks: Input:

simulate_farm([Duck(), Duck(), Duck()], [Duck(), Duck()])

Output:

:walking: Waddle
   Quack
:walking: Waddle
   Quack
:walking: Waddle
   Quack
:baby_chick: :arrow_right: :droplet: Lead to water
:baby_chick: :arrow_right: :droplet: Lead to water

Great, it works

Ok now I want to extend it with my own type. A Swan

Input:

struct Swan end

Lets test with just 1 first:

simulate_farm([Swan()], [])

Output:

:walking: Waddle
   Quack

The Waddle was right, but Swans don’t Quack .

We did some duck-typing – Swans walk like ducks, but they don’t talk like ducks.

We can solve that with single dispatch .

talk(self::Swan) = println("   Hiss")

Input:

simulate_farm([Swan()], [])

Output:

:walking: Waddle
   Hiss

Great, now lets try a whole farm of Swans:

Input:

simulate_farm([Swan(), Swan(), Swan()], [Swan(), Swan()])

Output:

:walking: Waddle
   Hiss
:walking: Waddle
   Hiss
:walking: Waddle
   Hiss
:baby_chick: :arrow_right: :droplet: Lead to water
:baby_chick: :arrow_right: :droplet: Lead to water

That’s not right. Swans do not lead their young to water.

They carry them

JuliaLang: The Ingredients for a Composable Programming Language

Once again we can solve this with single dispatch .

raise_young(self::Swan, child::Swan) = println(":baby_chick: :arrow_upper_right:    Carry on back")

Trying again:

Input:

simulate_farm([Swan(), Swan(), Swan()], [Swan(), Swan()])

Output:

:walking: Waddle
   Hiss
:walking: Waddle
   Hiss
:walking: Waddle
   Hiss
:baby_chick: :arrow_upper_right:    Carry on back
:baby_chick: :arrow_upper_right:    Carry on back

Now I want a Farm with mixed poultry.

2 Ducks, a Swan, and 2 baby swans

Input:

simulate_farm([Duck(), Duck(), Swan()], [Swan(), Swan()])

Output:

:walking: Waddle
   Quack
:walking: Waddle
   Quack
:walking: Waddle
   Hiss
:baby_chick: :arrow_right: :droplet: Lead to water
:baby_chick: :arrow_right: :droplet: Lead to water

Thats not right again.

:baby_chick: :arrow_right: :droplet: Lead to water

What happened?

We had a Duck raising a baby Swan, and it lead the baby Swan to water.

If you know about raising poultry, then you will know: Ducks given baby Swans to raise, will just abandon them.

But how will we code this?

Option 1: Rewrite the Duck

function raise_young(self::Duck, child::Any)
    if child isa Swan
        println(":baby_chick::cry: Abandon")
    else
        println(":baby_chick: :arrow_right: :droplet: Lead to water")
    end
end

Rewriting the Duck has problems

  • Have to edit someone else’s library, to add support for my type.
  • This could mean adding a lot of code for them to maintain.
  • Does not scale, what if other people wanted to add Chickens, Geese etc.

Variant: Monkey-patch

  • If the language supports monkey patching , could do it that way.
  • but it means copying their code into my library, will run into issues like not being able to update.
  • Scaled to other people adding new types even worse, since no longer a central canonical source to copy.

Variant: could fork their code

  • That is giving up on code reuse.

Design Patterns

There are engineering solutions around this. Design patterns allow one to emulate features a language doesn’t have. For example the Duck could allow for one to register behavour with a given baby animal, which is basically adhoc runtime multiple dispatch. But this would require the Duck to be rewritten this way.

Option 2: Inherit from the Duck

(NB: this example is not valid julia code)

struct DuckWithSwanSupport <: Duck end

function raise_young(self::DuckWithSwanSupport, child::Any)
    if child isa Swan
        println(":baby_chick::cry: Abandon")
    else
        raise_young(upcast(Duck, self), child)
    end
end

Inheriting from the Duck has problems:

  • Have to replace every Duck in my code-base with DuckWithSwanSupport
  • If I am using other libraries that might return a Duck I have to deal with that also
  • Again there are design patterns that can help, like using Dependency Injection to control how all Ducks are created. But now all libraries have to be rewritten to use it.

Still does not scale:

If someone else implements DuckWithChickenSupport , and I want to use both their code and mine, what do I do?

  • Inherit from both? DuckWithChickenAndSwanSupport
  • This is the classic multiple inheritance Diamond Problem .
  • It’s hard. Even in languages supporting multiple inheritance, they may not support it in a useful way for this without me writing special cases for many things.

Option 3: Multiple Dispatch

This is clean and easy:

raise_young(parent::Duck, child::Swan) = println(":baby_chick::cry: Abandon")

Trying it out:

Input:

simulate_farm([Duck(), Duck(), Swan()], [Swan(), Swan()])

Output:

:walking: Waddle
   Quack
:walking: Waddle
   Quack
:walking: Waddle
   Hiss
:baby_chick::cry: Abandon
:baby_chick::cry: Abandon

Are there real-world use cases for Multiple Dispatch ?

Turns out there are.

The need to extend operations to act on new combinations of types shows up all the time in scientific computing. I suspect it shows up more generally, but we’ve learned to ignore it.

If you look at a list of BLAS methods you will see just this encoded in the function name E.g.

SGEMM
SSYMM
ZHBMV

And turns out people keep wanting to make more and more matrix types.

  • Block Matrix
  • Banded Matrix
  • Block Banded Matrix (where the band is made up of blocks)
  • Banded Block Banded Matrix (where the band is made up of blocks that are themselved banded).

That is before other things you might like to do to a Matrix, which you’d like to encode in its type:

  • Running on a GPU
  • Tracking Operations for AutoDiff
  • Naming dimensions, for easy lookup
  • Distributing over a cluster

These are all important and show up in crucial applications. When you start applying things across disciplines, they show up even more. Like advancements in Neural Differential Equations, which needs:

  • all the types machine learning research has invented,
  • and all the types differential equation solving research has invented,

and wants to use them together.

So its not a reasonable thing for a numerical language to say that they’ve enumerated all the matrix types you might ever need.

Inserting a human into the JIT

Basic functionality of an Tracing JIT:

  • Detect important cases via tracing
  • Compile specialized methods for them

This is called specialization.

Basic functionality of julia’s JIT:

  • Specialize all methods on all types that they are called on as they are called

This is pretty good: it is a reasonable assumption that the types are going to an important case.

What does multiple dispatch add on top of julia’s JIT?

It lets a human tell it how that specialization should be done. Which can add a lot of information.

Consider Matrix multiplication.

We have

  • *(::Dense, ::Dense) :
    • multiply rows by columns and sum.
    • Takes $O(n^3)$ time
  • *(::Dense, ::Diagonal) or *(::Diagonal, ::Dense) :
    • column-wise/row-wise scaling.
    • $O(n^2)$ time.
  • *(::OneHot, ::Dense) or *(::Dense, ::OneHot) :
    • column-wise/row-wise slicing.
    • $O(n)$ time.
  • *(::Identity, ::Dense) or *(::Dense, ::Identity) :
    • no change.
    • $O(1)$ time.

Anyone can have basic fast array processing by throwing the problem to BLAS, or a GPU.

But not everyone has Array types that are parametric on their scalar types; and the ability to be equally fast in both.

Without this, your array code, and your scalar code can not be disentangled.

BLAS for example does not have this. It has a unique code for each combination of scalar and matrix type.

With this seperation, one can add new scalar types:

  • Dual numbers
  • Measument Error tracking numbers
  • Symbolic Algebra numbers

Without ever having to touch array code, except as a late-stage optimization.

Otherwise, one needs to implement array support into one’s scalars, to have reasonable performance at all.

It is good to invent new languages

People need to invent new languages. It’s a good time to be inventing new languages. It’s good for the world. It’s good for me because I like cool new things.

I’d just really like those new languages to please have:

  • Multiple dispatch, to:
    • allow for extension via whatever special case is needed in seperate packages . (E.g. The Duck will lead a baby duck to water, but will abandon a baby swan)
    • Include allowing domain knowledge to be added (Like the matrix multiplication examples)
  • Open classes:
    • so you can create new methods in your package for types/functions declared in another package
  • Array types that are parametric on their scalar types, at the type level
    • So that array-code and scalar-code do not need to be entangled for performance.
  • A package management solution built-in, that everyone uses.
    • because it makes for consistent tooling and a multiplicative effect on software standard.
    • Like everyone in the julia community writing tests and using CI.
  • Not jumping straight onto 1 namespace per file, isolate everything, bandwagon.
    • Namespace clashes are not that bad
    • Its worth considering what the value of namespaces is: not just “Namespaces are one honking great idea – let’s do more of those!”

Thanks to Cormullion, Jens Adam, Casey Kneale, and Mathieu Besançon for proof reading.


以上所述就是小编给大家介绍的《JuliaLang: The Ingredients for a Composable Programming Language》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

演算法圖鑑

演算法圖鑑

石田保輝、宮崎修一 / 陳彩華 / 臉譜 / 2017-12 / TWD450

★日本超人氣演算法學習書 ★逾50萬次下載量,「Apple年度最佳APP」書籍化! ★隨書附贈獨家贈品「圖形搜尋和排序圖解記憶表」 ★★ 讀再多文字解說都看不懂?沒關係,全部畫給你看,一次弄懂演算法到底是什麼!★★ ●直觀理解,從基礎開始學習,一用就上手的演算法專書! ●全圖像化step by step,完整拆解制霸AI時代的演算法精髓! ●詳解演算法的奧妙、執......一起来看看 《演算法圖鑑》 这本书的介绍吧!

在线进制转换器
在线进制转换器

各进制数互转换器

html转js在线工具
html转js在线工具

html转js在线工具