Participant : François Rouaix
François Rouaix a conçu et développé un navigateur Web écrit entièrement en Caml Light à l'aide de l'interface Tcl/Tk. Ce travail a permis de démontrer la compétitivité du langage Caml Light dans ce type de développement : le navigateur MMM a des possibilités voisines des autres navigateurs Web disponibles, gratuits ou commerciaux. Ce travail a été présenté aux journées du GDR et soumis à publication [48].
François Rouaix a ensuite adapté MMM à Caml Special Light, et a introduit la notion d' applet dans le navigateur. Un applet est une fonction appartenant à un programme compilé dont le code a été transféré depuis une machine distante, et qui est évaluée dans le contexte du navigateur. L'extensibilité d'un navigateur par le mécanisme des applets, proposés pour plusieurs langages de programmation, est une des innovations les plus marquantes du Web en 1995. Le problème principal de cette approche, en dehors de la liaison dynamique de code, est de garantir la sécurité d'exécution des applets, puisqu'il s'agit de code obtenu d'une machine extérieure. Les systèmes de types et de modules de Caml Special Light sont des atouts majeurs pour garantir cette sécurité.