Séminaire Cambium, Inria Paris
                                     BJ09
                           Mercredi 25 mars, 10h00

                            lcnr (Rust developer)

       An introduction to the Rust trait system and its current issues

Traits are the main way to make code extensible in Rust. While very close to
typeclasses in other languages, Rust traits made different expressivity
tradeoffs (not all of them with a sound formal grounding). This talk will
introduce how traits work in Rust and present some of its currently known
unsoundnesses.

The talk will be short and aims to spark discussion.

            Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct
                            via le lien ci-dessus.