Explore >> Select a destination
|
You are here 
|
www.baturin.org | ||
| | | | |
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... | |
| | | | |
slightknack.dev
|
|
| | | | | A cozy little corner of the web. | |
| | | | |
initialcommit.com
|
|
| | | | | In this article, we'll discuss some of the reasons there are so many programming languages to choose from. | |
| | | | |
jmmv.dev
|
|
| | | Dependency injection is one of my favorite design patterns to develop highly-testable and modular code. Unfortunately, applying this pattern by taking Rust traits as arguments to public functions has unintended consequences on the visibility of private symbols. If you are not careful, most of your crate-internal APIs might need to become public just because you needed to parameterize a function with a trait. Let's look at why this happens and what we can do about it. | ||
