Engineering Kiosk

#252 Coole Sprach-Features in Ada, F#, PHP und Go

10 snips
Jan 27, 2026
Vier ungewöhnliche Sprachfeatures, die Bugs und Leaks verhindern: Ada Type Ranges mit Compile‑Time‑Checks und einem Blick auf den Ariane‑5‑Crash. F# Units of Measure, damit Meter und Sekunden nicht durcheinandergeraten. PHP SensitiveParameter zum Verbergen von Secrets in Stacktraces. Go Secret Mode für Forward Secrecy und sicheres Memory‑Zeroing. Dazu ein GitHub‑Repo mit schnellen Demos zum Ausprobieren.
Ask episode
AI Snips
Chapters
Transcript
Episode notes
ANECDOTE

Wie Ada Auf Der FOSDEM Begeisterte

  • Andy Grunwald erzählt, wie er auf der FOSDEM eine Einführung in Ada besuchte und die Sprache kennenlernte.
  • Die Session weckte sein Interesse an Adas strengem Typsystem und sicherheitskritischen Einsatzgebieten.
INSIGHT

Type Ranges Verhindern Viele Fehler

  • Ada bietet Type Ranges: Typen mit festen Wertebereichen, die Compile- und Runtime-Checks erlauben.
  • Das verhindert viele Kategorien von Bugs, wenn das Feature korrekt angewendet wird.
ANECDOTE

Ariane‑5 Crash Durch Deaktivierten Overflow

  • Wolfgang Gassler beschreibt den Ariane‑5-Absturz wegen Integer‑Overflow und deaktivierter Checks.
  • Der Fehler kam zustande, weil Code von Ariane‑4 wiederverwendet und Overflow‑Prüfungen abgeschaltet wurden.
Get the Snipd Podcast app to discover more snips from this episode
Get the app