Scala'da tür çıkarımı (type inference) örneği 2

ScalaTurCikarimi2.scala

def dogru(a: String, b: Int, c: Boolean): Long = {
  // Burada Long türünde bir değer olacak.
}

// Metodun dönüş değerinin türü de çıkarımla bulunabilir çünkü gövdedeki son ifadenin değeri geri döndürülecek.
// Haliyle metodun dönüş değerinin türü de bu son ifadenin değerinin türü olacak.
// Dolayısıyla metod imzasından dönüş türünü atabiliriz.
def buDaDogru(a: String, b: Int, c: Boolean) = dogru(a, b, c)

// Bu hata verecek çünkü Scala statik türlü.
// Metod a, b, ve c ile bir şeyler yapacak. Türlerinin bilinmesi gerek.
def buYanlis(a, b, c) = {
  // Neredeyim ben? Neler oluyor?
}