ᛋᛁᚵᛁᛋᛘᚢᚾᛑ ᚾᛁᚾᛃᛅTrots knackig engelska, så tycker jag att detta var en bra och jordnära introduktion till beroendetyper och bevisassistenter. Hoppas dom spelar in ett (tredje) avsnitt på svenska. #programmering #beroendetyper
#FunktionellProgrammering
https://creators.spotify.com/pod/profile/christoffer-ekeroth9/episodes/11-Elisabeth-Stenholm-e38md7i
#11 Elisabeth Stenholm by Func Prog Podcast
In this episode I talk to Elisabeth Stenholm about dependent types, proof assistans and homotopy type theory! If you're ready to take your type safety to the next level, then this episode is for you!We cover topics like:Homotopy type theoryProof assistantsLanguages Rocq, Lean4, Agda, IdrisProving theorems in Lean4How to get started with dependent types and proof assistantsLinksTheorems for free Propositions as typesElisabeth’s Func Prog presentation Formally verified C compiler Property-based testing in F#Building Idris in Idris Elisabeth's PhD thesis
Kodsnack