Hi, I'm Eric.
I’m an avid world traveler, photographer, software developer, and digital storyteller.
I help implement the Content Authenticity Initiative at Adobe.
Hi, I'm Eric.
I’m an avid world traveler, photographer, software developer, and digital storyteller.
I help implement the Content Authenticity Initiative at Adobe.
Found on 13 July 2023 via Mastodon 450
via yosh: Oh fun, now watching: “Flux: Liquid Types for Rust.”
So if I understand it correctly pre-conditions apply on what comes before the arrow of a function, and post-conditions (or ensures in Flux) apply to what comes after the arrow?
Or differently put: pre-conditions apply to function input, post-conditions apply to function output? Where mutable references are also considered a form of function output?
Nico Lehmann on YouTube: 2023 05 17, Flux – Liquid Types for Rust
Subscribe to my free and occasional (never more than weekly) e-mail newsletter with my latest travel and other stories:
Or follow me on one or more of the socials: