省略なしの場合

def add(a : int, b : int) : int { return a + b; }

型推論で

def add(a, b) { return a + b; }

単一式returnの場合のreturn省略で

def add(a, b) { a + b; }

何か関数型言語じみてきたが、
最近の言語はおしなべて関数型言語に近づいてる感があるので問題はなかろう