Software Crafters: «Type Systems»

An der OST Rapperswil, Zimmer 1.262, siehe hier (Öffentlicher Anlass)

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: Themenliste
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.

Fragen? Melde dich via Issue/Discussion oder per Mail an *mail@marcokuoni.ch*

Wir freuen uns auf dich – und auf deine Themenideen!