[Squeak-fr] Re: BackTalk (suite)

[Noury Bouraqadi]

Salut Cédric,

On 21 oct. 08, at 14:52, Cédrick Béler wrote:

> Noury, peux tu me donner quelques infos ? J'ai actuellement deux  
> versions dans mon image, l'ancienne (BT-ggf.30) et la nouvelle (BTNG- 
> noury.2).
>
BT est buggué à mort. Guillaume (alias ggf) a passé du temps sur la  
version VisualWorks pendant son portage à Squeak, mais elle était  
buggué. D'après les auteurs de BT, la version que nous avons eu n'est  
pas la dernière, mais ils n'ont pas trouvé la version finale.  
Finalement, nous avons décidé de jeter l'éponge et j'ai commencé BTNG.  
D'autant plus qu'il y avait usage de variables globales qui  
interdisent d'avoir deux instances de CSP en même temps.

> Est ce que les plans sont de "porter" au fur et a mesure les  
> éléments de l'ancienne implémentation sur la nouvelle ? As tu fait  
> des choix de conception différent ?
>
J'ai tout jeté et j'ai commencé par écrire des tests. L'idée est de  
partir du papier et de s'affrancehir de l'implantation existante. Je  
n'ai rien repris, mais on pourrait...

> Me concernant, ce n'est pas vraiment l'aspect résolution qui compte  
> mais la propagation (AC) et l'ajout dynamique de contraintes et  
> éventuellement le retrait (plus dur - je pense que les continuations  
> pourraient aider ici...). J'ai vu quelques éléments qui semble  
> correspondre mais bon.. Je suis aussi intéressé par la partie  
> scheduling.
>
Je me suis focalisé sur la partie contraintes. Il y a toute la  
hiérarchie de solveurs à faire avec les questions de propagation.

> Tout ca pour dire que je suis intéressé pour contribuer à  
> BackTalk... ;)

Super. Je t'ai ajouté comme développeur.

>  Bien plus agréable de browser des classes senders et autres que de  
> lutter avec Eclipse ;)  (Choco à l'air assez complet ceci dit... http://www.emn.fr/x-info/choco-solver/doku.php?id=)
>
Oui. Choco semble être une référence dans le monde Java. Le gros  
soucis est que c'est du Java :-)
Un des trucs sympa dans BT que j'ai dû implanté est la notion de  
contrainte block. La condition à vérifier est exprimée sous forme de  
block, ce qui simplifie la vie pas mal.

Noury
------------------------------------------------------------------
Dr. Noury Bouraqadi - Enseignant/Chercheur
Responsable de l'enseignement de l'informatique
ARMINES - Ecole des Mines de Douai - Dept. I.A.
http://vst.ensm-douai.fr/noury

European Smalltalk Users Group Board
http://www.esug.org
------------------------------------------------------------------