Explore >> Select a destination
|
You are here 
|
danilafe.com | ||
| | | | |
entangledlogs.com
|
|
| | | | | These are my notes on Generic Programming. Feel free to skim through them. Introduction to Type Type A tool to reason or proving properties of the program Allows understanding and classifying the variables during computation and use Types require compositional calculation i.e. sub-expressions give rise to higher types. Understand dynamically typed as dynamically checked. Motivation of Requiring Types Language Safety/Error Detection Can pinpoint some programming errors rather than in runtime Can guarantee... | |
| | | | |
aradaelli.com
|
|
| | | | | ||
| | | | |
jamie-wong.com
|
|
| | | | | ||
| | | | |
corrode.dev
|
|
| | | Rust has reached a level of maturity where it is being used for critical infrastructure, replacing legacy systems written in C or C++. This means, some Rust projects need to be maintained for years or even decades to come. ... | ||
