Logo

    progress

    Explore " progress " with insightful episodes like "Auf die nächsten 200 Folgen" and "Proving type safety; upcoming metatheoretic properties" from podcasts like ""Rap gehört zum guten Ton" and "Iowa Type Theory Commute"" and more!

    Episodes (2)

    Auf die nächsten 200 Folgen

    Auf die nächsten 200 Folgen
    Nun ist es so weit: Einen weiterer Meilensteil im Podcast haben wir erreicht und es soll nicht der Letzte sein. Dem Gedanken "work and progress" nach blicken wir auf ein paar Entwicklungen und Storys aus über über zwei Jahren "Rap gehört zum guten Ton". Komplikationen bei Aufnahmen mit Soufian, der Wandel des Equipments und das generell gereifte Denken über die Aufgaben und Herangehensweisen dieses Projekts. Ich danke allen Supportern; egal ob euch Hörern, Freunden, die mich diesbezüglich aushalten und denen, die auf irgendeine Weise den Weg mitprägen. Wir sind lange noch nicht fertig und hören uns am Freitag. Kommt gut in die Woche!

    Proving type safety; upcoming metatheoretic properties

    Proving type safety; upcoming metatheoretic properties

    Type safety proofs are big confirmations requiring consideration of all your operational and typing rules.  So they rarely contain much deep insight, but are needed to confirm your language's type system is correct.  Looking ahead, this episode also talks about the different between normalization and termination when your language is nondeterministic, and the property of confluence. 

    Logo

    © 2024 Podcastworld. All rights reserved

    Stay up to date

    For any inquiries, please email us at hello@podcastworld.io