Crystal For Rubyists
Search…
Know Ruby? Enter Crystal!
book
Chapter 1: Why Crystal?
Chapter 2: Installing Crystal
Chapter 3: Writing Your First Crystal Program
Chapter 4: Creating a new project
Chapter 5: Testing
Chapter 6: FizzBuzz
Chapter 7: Types and Method Overloading
Chapter 8: Concurrency and Channels
Chapter 9: Macros and Metaprogramming
Chapter 10: C Bindings
Powered By GitBook
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.
book - Previous
Chapter 6: FizzBuzz
Next - book
Chapter 8: Concurrency and Channels
Last modified 2yr ago
Copy link
Contents
Method Overloading