Giter Site home page Giter Site logo

wg-traits's Introduction

Traits Working Group

Scope and purpose

The traits working group is dedicated to improving the trait system implementation in rustc. This working group is a collaboration between the lang team and the compiler team. We have a number of inter-related goals:

  • designing new trait-related language features;
  • documenting and specifying the semantics of traits in Rust today; and,
  • improving the trait solver implementation in rustc.

A big part of this work is transitioning the compiler to use a Chalk-style solver, but along the way we hope to make targeted fixes to the existing solver where needed.

Design meetings

We hold weekly design meetings where we talk in depth about various topics (calendar event). These meetings take place on Zulip (see below). The goal is not just to figure out what we want to do, it's also a way to spread knowledge. Feel free to come and lurk!

You'll find minutes from past meetings in the minutes directory.

Chat forum

On the rust-lang Zulip, in the #wg-traits stream.

Dedicated repository

Documents related to the wg-traits working group are stored on a dedicated repository, [rust-lang/wg-traits]. This repository contains meeting minutes, past sprints, as well as draft RFCs and other documents.

wg-traits's People

Contributors

nikomatsakis avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.