Past Meetup

Functional Rust (Vortrag von Oliver Scherer)

This Meetup is past

15 people went

Every 2nd Wednesday of the month

Location image of event venue

Details

Die Programmiersprache Rust entstand als Forschungssprache bei Mozilla Research als Experiment, eine Programmiersprache frei von Undefined Behavior zu entwickeln ohne Performance einbüßen zu müssen. Das Experiment verlief erfolgreich, und es wurden bereits große Teile von Firefox in Rust neu geschrieben.

Rust ermöglicht nicht nur Data Races zu vermeiden und Memory Safety, es bietet auch viele Komfort-Features und Abstraktionen die üblicherweise nur in Dynamischen Sprachen wie Haskell, Python oder sogar JavaScript zu finden sind.

Agenda:
• Rvalue Referenzen, Konstruktoren und Immutability
• Traits und Trait bounds (wie C++ Concepts)
• Race Conditions != Data Races
• Anonyme Funktionen und pythonige Iteratoren

Sprecher:
Oliver Scherer hat am KIT Informatik studiert und arbeitet als Wissenschaftlicher Mitarbeiter an seiner Dissertation zum Einsatz von statischen Analysen und Compilererweiterungen im Softwareentwicklungsprozess. Seit 2016 arbeitet er am Rust Compiler und wurde 2018 in das Rust Compiler Team aufgenommen.

Anfahrt:
Das Informatik-Gebäude 50.34 des Karlsruher Institut für Technologie befindet sich Am Fasanengarten 5 in 76131 KA.

Die meisten Parkplätze gibt es am Waldparkplatz am Adenauer Ring.

Die nächstgelegenen Straßenbahnhaltestellen sind Durlacher Tor und Karl-Wilhelm-Platz.

Google-Maps Informatik-Gebäude: https://www.google.de/maps/place/Fachschaft+Informatik+am+KIT/@49.0153627,8.4102062,15z/data=!4m8!1m2!2m1!1sinformatik+am+KIT!3m4!1s0x0:0xe44641cbc8078b10!8m2!3d49.0139346!4d8.419379

Google-Maps Waldparkplatz: (https://www.google.de/maps/place/Waldparkplatz/@49.0153455,8.4167723,17z/data=!4m12!1m6!3m5!1s0x479706337e8fb5c3:0x9a20a2b44887dc52!2sWaldparkplatz!8m2!3d49.015342!4d8.418961!3m4!1s0x479706337e8fb5c3:0x9a20a2b44887dc52!8m2!3d49.015342!4d8.418961 (https://www.google.de/maps/place/Waldparkplatz/@49.0153455,8.4167723,17z/data=%214m12%211m6%213m5%211s0x479706337e8fb5c3:0x9a20a2b44887dc52%212sWaldparkplatz%218m2%213d49.015342%214d8.418961%213m4%211s0x479706337e8fb5c3:0x9a20a2b44887dc52%218m2%213d49.015342%214d8.418961))