Bizarre Type Mismatch dans Scala

Question

J'espère que cette question n'a pas encore été répondue ailleurs. Je n'ai pas trouvé de réponse ici.

Dans mon système de localisation que j'ai une classe nommée Langue

class Language(val name:String, dict:HashMap[String, String]) { 
    def apply(key: String):String = (dict get key) match { 
    case None => "°unknown°" 
    case Some(s) => s 
    } 

    //DO SOME OTHER THINGS 
} 

et un objet nommé LanguageCentral

object LanguageCentral { 
    private var lang:Option[Language] = None 
    //SOME OTHER PRIVATE MEMBERS 

    def language = lang 

    def language_=(l:Option[Language]) = l match { 
    case None => {} 
    case Some(l) => setLanguage(l) 
    } 

    def setLanguage(l:Language) { 
    lang = Some(l) 
    //DO SOME OTHER THINGS 
    } 

    //DO LOTS OF OTHER THINGS 
} 

Je n'ai pas écrit un code qui est en utilisant encore ce cadre, mais essayer dans une session interactive a révélé une erreur de type que je ne comprends pas vraiment:

scala> val l = new LanguageCreator("Languages.csv").getLanguage("English") 
l: Option[Language] = Some(Language@7aeb46d) 

scala> LanguageCentral.language=l           
<console>:23: error: type mismatch; 
found : Option[Language] 
required: Option[Language] 
     LanguageCentral.language=l 
           ^

scala> LanguageCentral setLanguage (l getOrElse null)      
<console>:24: error: type mismatch; 
found : Language 
required: Language 
     LanguageCentral setLanguage (l getOrElse null) 
            ^

Je n'ai vraiment aucune idée de ce qui ne va pas. Mais d'après mon expérience avec Haskell, je suppose que la solution n'est qu'un changement mineur.)
Quelqu'un pourrait m'aider? THX.

P.S .: Scala utilisant 2.8.0.final

Answer 1

Pour moi, il semble qu'il y ait deux classes de langues distinctes définies. Une façon que cela se produise sur REPL est comme ceci:

class Language 
class LanguageCreator // using Language 
// Oops, there's something that needs fixing on Language 
class Language 
object LanguageCentral // refers to a different Language altogether 

En dehors REPL, ils pourraient juste être dans des emballages différents. Il existe un moyen de faire en sorte que REPL imprime des types entièrement qualifiés, mais je n'ai pas trouvé l'incantation pour le moment.

EDIT

Du côté du compilateur, vous pouvez utiliser -uniqid et -explaintypes pour obtenir de meilleurs messages d'erreur. J'utilise toujours ce dernier, en fait. Si vous ne pouvez pas les comprendre, veuillez mettre à jour votre question avec eux, et je vais y jeter un coup d'œil. En outre, -Xprint-types peut être utile, bien que ce soit beaucoup d'informations, donc je préfère l'éviter si possible.