Erfasst von: marco.kuoni

An der OST Rappeswil, Zimmer 1.262 (Öffentlicher Anlass)
https://geometalab.gitlab.io/campus-maps-with-openstreetmap/ifs-campus-map/?search=way/902580361

Worum geht’s?
Wir treffen uns regelmässig als Community of Practice rund um Software Crafting – sauberes Design, TDD, Pairing, CI/CD, Observability, Security by Design, kontinuierliches Lernen, Erfahrungsautausch und diverses mehr. Dieses Treffen ist hands-on und praxisnah, ideal für Einsteigerinnen und Profis.

Fokus dieses Mal: Type Systems
Almost all languages feature some sort of type system, and everyone has a different idea of what it is for. We look at different views and gain a glimpse of how a type system could be implemented, getting our hands dirty with some programming. You are also confronted with a minimal amount of scary-looking greek symbols on the way there.

Fast alle Sprachen verfügen über eine Art von Typsystem, und fast alle haben eine andere Vorstellung über dessen Nutzen. Wir betrachten verschiedene Sichtweisen und bekommen einen Einblick, wie ein Typsystem implementiert werden könnte – wobei wir auch selbst Hand anlegen. Auf dem Weg dorthin wirst du auch mit einer minimalen Menge furchterregend aussehender griechischer Symbole konfrontiert.

👉 Themenliste & Voting: https://github.com/Software-Crafters-Meetup/Software-Crafters/blob/main/themenliste.md
Trage dein Thema ein und vote mit.

Ablauf
Wir werden Pizza bestellen.

Mitbringen
- Laptop

Code of Conduct

Wir pflegen einen respektvollen Umgang, teilen Wissen offen und geben konstruktives Feedback. Kein Gatekeeping, kein Verkaufs-Pitch.

Wir freuen uns auf dich – und auf deine Themenideen!

Bild/Flyer zu Software Crafters: «Type Systems»