Explore >> Select a destination
|
You are here 
|
hirrolot.github.io | ||
| | | | |
degoes.net
|
|
| | | | | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts | |
| | | | |
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... | |
| | | | |
www.evanmiller.org
|
|
| | | | | A review of Rust, the programming language built for safety - not necessarily for comfort. | |
| | | | |
boats.gitlab.io
|
|
| | | It's hard to believe its been almost 6 weeks since the last post I made about async/await in Rust. So much has happened that these last several weeks have flown by. We've made exceptionally good progress on solving the problem laid out in the first post of this series, and I want to document it all for everyone. Future and the pinning API Last month I wrote an RFC called "Standard library API for immovable types". | ||
