Discussion :

[hegros]

Je mettrais tout de même un bémol à ce type de liste. Autant il est globalement assez simple de séparer les langages dans deux catégories typage statique/typage dynamique, autant les catégoriser en typage faible/fort me semble plus difficile.

Je mettrais aussi un bémol pour la séparation des langages sur le critère typage statique ou dynamique quand on voit ce qu'apporte de nouveaux langages comme le C#, qui possède du typage statique ET dynamique, cela ne m'étonnerait pas que d'autres langages s'en inspirent à l'avenir et que se soit monnaie courante (en même temps les langages à typage statique me semble plus disposés à introduire du typage dynamique que l'inverse)

[_skip]

Si tu veux parler du mot-clé "var" en C#, il s'agit d'inférence de type et ce n'est qu'une histoire de syntaxe, le type étant dès lors connu à la compilation.

[gl]

quand on voit ce qu'apporte de nouveaux langages comme le C#, qui possède du typage statique ET dynamique

Je ne suis pas très familier avec C# et encore moins avec ces évolutions récentes.
Peux-tu donc décrire un peu plus précisément ce dont tu parles ?

[hegros]

Oui il y a de l'inférence et de la réflexion mais je ne parle pas que de "var" mais aussi de dynamic et il y a aussi il me semble InvokeMember/InvokeMethod, tout cela dans C# 4

[hegros]

Je ne suis pas très familier avec C# et encore moins avec ces évolutions récentes.
Peux-tu donc décrire un peu plus précisément ce dont tu parles ?

Un petit exemple (le type n'est connu qu'à l'exécution)

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
public static void AfficherUneValeur(dynamic maVar)
{
 MessageBox.Show('Ma variable dynamique est de type ' + maVar.GetType() + ' et vaut ' + maVar);
}

public static void TesterLeTypageDynamique()
{
   string myString = 'une string';
   int myInt = 10;
 AfficherUneValeur(myString);
 AfficherUneValeur(myInt);
}

[gl]

Un petit exemple (le type n'est connu qu'à l'exécution)

C'est de la programmation "générique" (proche de ce que l'on peut faire avec le generic en Java ou les templates en C++). Pas réellement du typage dynamique.

En outre le type peut être connu à la compilation.

[yamashi]

En quoi c'est nouveau ca ?
En C++ :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
template <class T>
void foo(T&& type)
{
std::cout << "type est du type " << typeid(T).name();
}

[hegros]

C'est de la programmation "générique" (proche de ce que l'on peut faire avec le generic en Java ou les templates en C++). Pas réellement du typage dynamique.

En outre le type peut être connu à la compilation.

Je suis plutôt d'accord avec toi mais c'est comme cela que le mot clé dynamic est vendu dans C# 4 (comme du typage dynamique) même si dans la msdn on trouve que dynamic est un type static et qu'il bypass les vérifications statique de type

Avec les génériques on écrirait plutôt

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
public void AfficherUneValeur <T>(T t)
		{
 			MessageBox.Show("Ma variable est de type " + t.GetType() + " et vaut " + t);
		}

		public void TesterLeTypageDynamique()
		{
			string myString = "une string";
			int myInt = 10;
			AfficherUneValeur(myString);
			AfficherUneValeur(myInt);
		}

On remarque bien que les 2 codes que j'ai donné sont différents (un avec générique et un sans) Avec les génériques oui le type est connu à la compilation (comme en C++ et en C# d'ailleurs) mais avec 'dynamic' c'est manifestement à l'exécution que le type est connu

[gl]

On remarque bien que les 2 codes que j'ai donné sont différents (un avec générique et un sans) Avec les génériques oui le type est connu à la compilation (comme en C++ et en C# d'ailleurs) mais avec 'dynamic' c'est manifestement à l'exécution que le type est connu

Dans ce cas, le type n'est résolu qu'à l'exécution ? C'est surprenant comme choix, mais pourquoi pas.

[_skip]

Espérons juste qu'usage n'en sera fait que pour des situations qui l'exige.

[beekeep]

la presentation du dynamic en c# est vers la fin de cette vidéo pour ceux que ça intéresse :

http://www.microsoft.com/france/visi...0-40bfffb96599

[nemesisTHEone]

Je pense que l'exemple en haut (pour les dynamic) est mauvais car il ne montre pas réellement que c'est du dynamic.

La différence entre l'exemple (en haut) et des méthodes généric c'est qu'avec une méthode généric il faut que les objets utilisés en argument implémente une interface (ou hérite d'une classe abstraite) commune alors qu'avec les dynamic le programme marchera et la vérification se fera a l'exécution donc on peut avoir une truc du style:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
class A { public void maMethod(); } Class B { public void maMethod(); }

Class C { public static void Test(dynamic maVar) { maVar.maMethod(); } }

C.Test(new A() );
C.Test(new B() );

L'utilité des Dynamic réside dans le faite qu'on peut utiliser directement (dans du code en c# ) des objets provenant d'autre langage notamment des scripts (exemple python).

[hegros]

Dans ce cas, le type n'est résolu qu'à l'exécution ? C'est surprenant comme choix, mais pourquoi pas.

Oui la résolution se fait pendant l'exécution, et c'est une évolution majeure, la programmation dynamique, de C# 4.

Je ne trouve pas surprenant pour un langage d'avoir un typage statique ET dynamique fort, c'est plutôt un avantage, et c'est très pratique et utile, l'exemple dans la vidéo avec le XML est très parlant je trouve.

Le code C# de nemesisTHEone est plus parlant que le mien, d'ailleurs je suis persuadé qu'en php cela se coderait de la même façon le dynamic en moins et le $ en plus

Et tout cela n'est pas possible en C++ ou en Java.

[Tommy31]

Et tout cela n'est pas possible en C++ ou en Java.

Mais il l'est en Groovy et son principe de cristallisation.

[hegros]

Mais il est en Groovy et son principe de cristallisation.

Oui groovy est un autre langage qui permet le typage statique et dynamique

La différence, mais je me trompe peut-être, c'est que le C# a une dominante statique et groovy dynamique

[gl]

Je ne trouve pas surprenant pour un langage d'avoir un typage statique ET dynamique fort

Ce n'est pas le fait d'avoir du typage statique ou dynamique qui me surprend. C'est plutôt de faire à l'exécution une résolution qui pourrait être faite bien avant (comme c'est le cas dans l'exemple donné ici) dans un langage qui justement est plutôt à typage statique.
Maintenant c'est plus dans le cas de l'exemple donné que cela me surprend. Il doit être possible de trouver des cas où il y a un vrai gain.

[hegros]

C'est plutôt de faire à l'exécution une résolution qui pourrait être faite bien avant (comme c'est le cas dans l'exemple donné ici) dans un langage qui justement est plutôt à typage statique.
Maintenant c'est plus dans le cas de l'exemple donné que cela me surprend. Il doit être possible de trouver des cas où il y a un vrai gain.

C'est probablement lié dans cet exemple à l'architecture .NET qui a évolué pour supporter nativement les langages dynamiques avec sa DLR. La résolution est faite au finale il me semble de façon statique (par sa CLR) à l'exécution.


On pourrait en dire autant avec PHP, il y a des tas de codes où la résolution pourrait se faire avant l'exécution.

[fixit]

Ouhn le jolie troll IRL

[Paul TOTH]

je ne sais pas s'il faut être un "faux" programmeur pour faire ça, mais moi je ne l'aurais pas codé comme ça :

Code php :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
<?php
var_dump(0 == "a"); // 0 == 0 -> true
var_dump("1" == "01"); // 1 == 1 -> true
var_dump("10" == "1e1"); // 10 == 10 -> true
var_dump(100 == "1e2"); // 100 == 100 -> true
 
switch ("a") {
case 0:
    echo "0";
    break;
case "a": // jamais évalué parce que "a" est déjà trouvé avec 0
    echo "a";
    break;
}
?>

http://php.net/manual/fr/language.op...comparison.php

ben oui ça fait tout drôle de voir que le teste suivant passe

Code php :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
 
<?php
  $value = 0;
// ...
  if ($value == 'janvier') {
    echo "nous sommes en janvier ?!";
  }
?>

[medmosoft]

je crois qu'il a tout simplement utilisé son intelligence et si ce qu'il dit n'est pas de l'ironie je crois que l'informatique a alors beaucoup de surprise résérvées.