Explore >> Select a destination
|
You are here 
|
danilafe.com | ||
| | | | |
queuea9.wordpress.com
|
|
| | | | | Parametricity is a profound principle in the theory of programming languages -- but what kind of principle is it? To answer this, let me first recall the idea, as introduced by the great John C. Reynolds in his seminal paper "Types, Abstraction, and Parametric Polymorphism". (I wrote about this paper in an earlier post.) Suppose... | |
| | | | |
afnan.io
|
|
| | | | | A personal site | |
| | | | |
programmingmadecomplicated.wordpress.com
|
|
| | | | | There are these things that, depending on your definition, many or all programming languages use: 'types'. There's also a rich mathematical study of types in Type Theory which, along with related disciplines, has many connections to logic and proof. Why? Often, they take the form of explicit 'annotations' to program artefacts, big and small. For... | |
| | | | |
corrode.dev
|
|
| | | Interest in Rust has surged in recent years, with tech leaders such as Microsoft, Google, and Amazon coming forward to share their experiences of leveraging Rust for critical systems. Much of the dialogue about Rust, however, is still drive... | ||
