Dependent Types: Runtime Assertions At Compile Time...whaaa? (S04E08) The Technium podcast

Artwork

Το περιεχόμενο παρέχεται από το The Technium. Όλο το περιεχόμενο podcast, συμπεριλαμβανομένων των επεισοδίων, των γραφικών και των περιγραφών podcast, μεταφορτώνεται και παρέχεται απευθείας από τον The Technium ή τον συνεργάτη της πλατφόρμας podcast. Εάν πιστεύετε ότι κάποιος χρησιμοποιεί το έργο σας που προστατεύεται από πνευματικά δικαιώματα χωρίς την άδειά σας, μπορείτε να ακολουθήσετε τη διαδικασία που περιγράφεται εδώ https://el.player.fm/legal.

The Technium « »
Dependent Types: Runtime assertions at compile time...whaaa? (S04E08)

1+ y ago 2:07:07

Μοίρασέ το

MP3•Αρχική οθόνη επεισοδίου

Το περιεχόμενο παρέχεται από το The Technium. Όλο το περιεχόμενο podcast, συμπεριλαμβανομένων των επεισοδίων, των γραφικών και των περιγραφών podcast, μεταφορτώνεται και παρέχεται απευθείας από τον The Technium ή τον συνεργάτη της πλατφόρμας podcast. Εάν πιστεύετε ότι κάποιος χρησιμοποιεί το έργο σας που προστατεύεται από πνευματικά δικαιώματα χωρίς την άδειά σας, μπορείτε να ακολουθήσετε τη διαδικασία που περιγράφεται εδώ https://el.player.fm/legal.

Dependent types are a more expressive type system in programming languages used to catch a larger class of errors at compile time. What are would be typically assertions at runtime can now be caught at compile time.

Show notes:

Resources:

… continue reading

40 επεισόδια

#Tech #Technium

Artwork

Dependent Types: Runtime assertions at compile time...whaaa? (S04E08)

published 1+ y ago

Μοίρασέ το

MP3•Αρχική οθόνη επεισοδίου

Το περιεχόμενο παρέχεται από το The Technium. Όλο το περιεχόμενο podcast, συμπεριλαμβανομένων των επεισοδίων, των γραφικών και των περιγραφών podcast, μεταφορτώνεται και παρέχεται απευθείας από τον The Technium ή τον συνεργάτη της πλατφόρμας podcast. Εάν πιστεύετε ότι κάποιος χρησιμοποιεί το έργο σας που προστατεύεται από πνευματικά δικαιώματα χωρίς την άδειά σας, μπορείτε να ακολουθήσετε τη διαδικασία που περιγράφεται εδώ https://el.player.fm/legal.

Dependent types are a more expressive type system in programming languages used to catch a larger class of errors at compile time. What are would be typically assertions at runtime can now be caught at compile time.

Show notes:

Resources:

… continue reading

40 επεισόδια

#Tech #Technium

Όλα τα επεισόδια

×

Καλώς ήλθατε στο Player FM!

Το FM Player σαρώνει τον ιστό για podcasts υψηλής ποιότητας για να απολαύσετε αυτή τη στιγμή. Είναι η καλύτερη εφαρμογή podcast και λειτουργεί σε Android, iPhone και στον ιστό. Εγγραφή για συγχρονισμό συνδρομών σε όλες τις συσκευές.

Ακούστε 500 + θέματα

Οδηγός γρήγορης αναφοράς

Κορυφαία podcast

Marketing Podcasts από το σύμβουλο μάρκετινγκ Θέμη Σαρανταένα

ΜΑΡΜΕΛΑΔΑ ΦΡΑΟΥΛΑ

Μόνο Ντροπή

POP για τις Δύσκολες Ώρες

Sugarenia and Stelabouras make a podcast (#ssmap)

Πρωταγωνιστές με τον Σταύρο Θεοδωράκη

Τροφή Για Σκέψη

CyberSpectrum (ex Feta Report)