slug: real-world-example-for-julia-typing datepublished: 2019-02-23T22:45:53 dateupdated: 2019-02-23T22:45:53 tags: JuliaLang, English Posts –-
Picture by me of the blood moon!
This quarter I'm taking a physics/programming class where we learn numerical methods in the context of physics(high energy more or less) with python. We've covered some interesting tools and numerical approaches such as Markov Chain Monte Carlo, Bayesian inference etc.
Naturally, we would use
numpy in python extensively since the vectorized nature makes it very easy to manipulate arrays. To people who're less familiar, this is what I mean:
import numpy as np xs = np.linspace(1,10,10) #[1,2,3,...,10] ys = np.power(x,2) #[1,4,9....,100]
The problem occurs when a
numpy function can handle both
array (also overide
*). Continuing the example above, now image I have a function:
def integrate(u): ary = np.exp(-ys) + u # this is array because ys is array return np.sum(ary) # this will sum the above array s = [integrate(x) for x in xs] s = integrate(xs) # these two will yield different result
This is because when passing
xs to integrate, python has no way of knowing if I wans it to treat it as
array. Of course, this is not too nasty because expand list comprehension is easy. But it took me too long to realize this is the bug.
In contrast, in
julia I could have made clear in the definiton of the
integrate(u) for example:
function integrate(u::Number) ... end
Initially I tried to google how to force typing in python and then realize that's the opposite of python philosophy. This is also reflected in the ugly
__mul__(self, other) magic function in making a
class in python. In that case, you would have to write multiple
if isinstance(other, <something>): clauses to make things workd, where in
julia I could have the blessed super/sub type to figure out what method to use when executing the function.