Crystal For Rubyists
Search…
book
Chapter 7: Types and Method Overloading
Crystal is like Ruby, but it’s not Ruby!
Unlike Ruby, Crystal is a statically typed and compiled language. Most of the time you don’t have to specify the types and the compiler is smart enough to do
type inference.So why do we need types? Let’s start with something simple.
1
def add(x, y)
2
x + y
3
end
4
5
add 3, 5 # 8
Copied!
This is the same in Ruby! We just defined a method that adds two numbers. What if we try to add a number to a string?
1
add 3, "Serdar"
Copied!
First let’s do that in Ruby.
1
types.cr:2:in `+': String can't be coerced into Fixnum (TypeError)
2
from types.cr:2:in `add'
3
from types.cr:5:in `<main>'
Copied!
What??? We just got a
TypeError but we don’t have to care about types in Ruby ( or not :)). This is also a runtime error meaning that your program just crashed at runtime (definitely not good).Now let’s do the same in Crystal.
1
Error in ./types.cr:5: instantiating 'add(Int32, String)'
2
3
add 3, "Serdar"
4
^~~
5
6
in ./types.cr:2: no overload matches 'Int32#+' with types String
7
Overloads are:
8
- Int32#+(other : Int8)
9
- Int32#+(other : Int16)
10
- Int32#+(other : Int32)
11
- Int32#+(other : Int64)
12
- Int32#+(other : UInt8)
13
- Int32#+(other : UInt16)
14
- Int32#+(other : UInt32)
15
- Int32#+(other : UInt64)
16
- Int32#+(other : Float32)
17
- Int32#+(other : Float64)
18
- Int32#+()
19
20
x + y
21
^
Copied!
Okay, that’s quite a scary output but actually it’s great. Our Crystal code didn’t compile and also told us that there’s no overload for
Int32#+ and showed us the possible overloads. This is a compile time error meaning that our code didn’t compile and we catch the error before running the program. Lovely!Now let’s add some types and restrict that method to only accept
Numbers.1
def add(x : Number, y : Number)
2
x + y
3
end
4
5
puts add 3, "Serdar"
Copied!
Run it.
1
Error in ./types.cr:5: no overload matches 'add' with types Int32, String
2
Overloads are:
3
- add(x : Number, y : Number)
4
5
puts add 3, "Serdar"
6
^~~
Copied!
Awesome! Our program didn’t compile again. And this time with shorter and more accurate error output. We just used
type restriction on x and y. We restricted them to be Number and Crystal is smart enough to stop us from using the method with a String.Method Overloading
We just saw a lot of overloads. Let’s talk about
Method Overloading.Method overloading is having different methods with the same name and different number of arguments. They all have the same name but actually they are all different methods.
Let’s overload our
add method and make it work with a String.1
def add(x : Number, y : Number)
2
x + y
3
end
4
5
def add(x: Number, y: String)
6
x.to_s + y
7
end
8
9
puts add 3, 5
10
11
puts add 3, "Serdar"
Copied!
Let’s run it.
1
$ crystal types.cr
2
8
3
3Serdar
Copied!
Now, that’s method overloading in action. It figured out that we are calling the method with a Number and String and called the appropriate method. You can define as many overload methods as you wish.
Last modified 2yr ago
Copy link
Contents
Method Overloading