Commentaires sur : Interêt du Type Symbol en Scala http://www.scala-fr.org/interet-du-type-symbol-en-scala/ communauté francophone autour du langage Scala Thu, 29 Apr 2010 17:26:48 +0200 http://wordpress.org/?v=2.8.4 hourly 1 Par : Maxime Biais http://www.scala-fr.org/interet-du-type-symbol-en-scala/comment-page-1/#comment-10 Maxime Biais Sat, 10 Oct 2009 08:01:00 +0000 http://www.scala-fr.org/?p=160#comment-10 @Alexandre : Merci pour ton commentaire. J'ai seulement modifié le début de la phrase pour qu'elle soit plus explicite. Le reste de l'article est correct et va dans le même sens que tes remarques. L'instance est bien unique pour une chaine donnée (doc officielle : "This class provides a simple way to get unique objects for equal strings"). @Alexandre : Merci pour ton commentaire. J’ai seulement modifié le début de la phrase pour qu’elle soit plus explicite. Le reste de l’article est correct et va dans le même sens que tes remarques. L’instance est bien unique pour une chaine donnée (doc officielle : « This class provides a simple way to get unique objects for equal strings »).

]]> Par : betehess http://www.scala-fr.org/interet-du-type-symbol-en-scala/comment-page-1/#comment-9 betehess Sat, 10 Oct 2009 01:44:00 +0000 http://www.scala-fr.org/?p=160#comment-9 "Le type Symbol est un type particulier intégré au langage Scala. Il permet de façon simple de créer un objet unique pour une chaîne de caractères particulière. La comparaison de 2 symbols est une simple comparaison de références." Il y a *plusieurs* bourdes dans cette phrase : * le type Symbol n'est absolument pas un "type" particulier. Il s'agit simplement de la classe scala.Symbol * la syntaxe "symbolLiteral ::= ‘’’ idrest" n'est que du sucre syntaxique pour l'instanciation d'un objet de cette classe (cf. §1.3.7 du manuel de référence) * l'objet n'est absolument pas unique et est instancié * le système de type n'a pas un comportement particulier pour les symboles. Ils sont typés comme n'importe quelle autre classe * bien entendu, la comparaison ne se fait pas par référence. D'ailleurs, "==" n'est pas un opérateur mais une fonction comme une autre, correspondant à la méthode equals de Java. Pour prouver tout ça, il suffit de vérifier tout ça dans l'interpréteur : scala> Symbol("to"+"to") == Symbol("toto") res1: Boolean = true scala> Symbol("toto") == 'toto res2: Boolean = true Alexandre. « Le type Symbol est un type particulier intégré au langage Scala. Il permet de façon simple de créer un objet unique pour une chaîne de caractères particulière. La comparaison de 2 symbols est une simple comparaison de références. »

Il y a *plusieurs* bourdes dans cette phrase :
* le type Symbol n’est absolument pas un « type » particulier. Il s’agit simplement de la classe scala.Symbol
* la syntaxe « symbolLiteral ::= ‘’’ idrest » n’est que du sucre syntaxique pour l’instanciation d’un objet de cette classe (cf. §1.3.7 du manuel de référence)
* l’objet n’est absolument pas unique et est instancié
* le système de type n’a pas un comportement particulier pour les symboles. Ils sont typés comme n’importe quelle autre classe
* bien entendu, la comparaison ne se fait pas par référence. D’ailleurs, « == » n’est pas un opérateur mais une fonction comme une autre, correspondant à la méthode equals de Java.

Pour prouver tout ça, il suffit de vérifier tout ça dans l’interpréteur :

scala> Symbol( »to »+ »to ») == Symbol( »toto »)
res1: Boolean = true

scala> Symbol( »toto ») == ‘toto
res2: Boolean = true

Alexandre.

]]> Par : asayn http://www.scala-fr.org/interet-du-type-symbol-en-scala/comment-page-1/#comment-8 asayn Sat, 03 Oct 2009 21:25:56 +0000 http://www.scala-fr.org/?p=160#comment-8 Les Symbols peuvent être très utile lors de l'implémentation d'un DSL interne (internal Domain Specific Language). L'exemple suivant en fait un usage intéressant: http://blog.fogus.me/2009/03/26/baysick-a-scala-dsl-implementing-basic/ Les source sont dispos ici: http://github.com/fogus/baysick Les Symbols peuvent être très utile lors de l’implémentation d’un DSL interne (internal Domain Specific Language).
L’exemple suivant en fait un usage intéressant:
http://blog.fogus.me/2009/03/26/baysick-a-scala-dsl-implementing-basic/

Les source sont dispos ici:
http://github.com/fogus/baysick

]]>