Arrows in Elm's method signature

Let's look at the documentation of length function of String in Elm.

It's here and it looks like this.

1length : String -> Int
2
3> String.length "Hello World"
411 : Int
Copy

If we look at the similar feature in Ruby world then we get length method.

1length -> integer
Copy

Methos signature in ruby's documentation and Elm's documentation is quite similar. Both return an integer.

In Elm's world method definitions are called "Type Annotations". Going forward that's what I'm going to use in this blog.

Now let's look at method definition of slice method in Ruby.

It looks like this.

1slice(start, length) -> new_str or nil
2
3irb(main):006:0> "snakes on a plane!".slice(0,6)
4=> "snakes"
Copy

In Elm world it looks like this.

1slice : Int -> Int -> String -> String
2
3> String.slice  0  6 "snakes on a plane!"
4"snakes" : String
Copy

Questions is what's up with all those arrows.