podcast.de
Anmeldung
Anmeldung Registrierung
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. Software Engineering Radio - The Podcast for Professional Software Developers Podcast
  4. SE Radio 296: Type-Driven Development with Edwin Brady
SE Radio 296: Type-Driven Development with Edwin Brady

SE Radio 296: Type-Driven Development with Edwin Brady

Software Engineering Radio - The Podcast for Professional Software Developers vor 9 Jahren
Zu Sammlung hinzufügen

Du hast noch keine Sammlungen.
Download Teilen Fundstellen Kommentare
0:00
58:25

Edwin Brady speaks to Matthew Farwell about Type Driven
Development and the Idris Programming language. The show covers:
what a type is; static vs dynamic types in programming languages;
dependent types; the Idris programming language; why Idris was
created. Type safe printf modelling state in Idris modelling
protocols in Idris modelling concurrency in Idris type driven
development and how it changes the development process.

Weitere Episoden

SE Radio 734: Sathiesh Veera on Engineering Data-Protection Guardrails with LLMs

SE Radio 734: Sathiesh Veera on Engineering Data-Protection Guardrails with LLMs

43 Minuten
vor 1 Woche
SE Radio 733: Max Corbridge on Securing AI Agents

SE Radio 733: Max Corbridge on Securing AI Agents

1 Stunde
vor 2 Wochen
SE Radio 732: Jason Gorman on The Effective Use of AI For Software Development

SE Radio 732: Jason Gorman on The Effective Use of AI For Software Development

58 Minuten
vor 3 Wochen
SE Radio 731: Sonali Varde on AI and the Engineering Manager Role

SE Radio 731: Sonali Varde on AI and the Engineering Manager Role

51 Minuten
vor 4 Wochen
SE Radio 730: Birgitta Boeckeler on Harness Engineering for AI Agents

SE Radio 730: Birgitta Boeckeler on Harness Engineering for AI Agents

54 Minuten
vor 1 Monat
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.

Teilen