@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…
At #d3a we just started our session "Networks, data, society and AI" 🥳: https://d3aconference.dk/networks-data-society-and-ai/
Find us in Sal D!
Series C, Episode 02 - Powerplay
DAYNA: Whh, he's just one less to deal with, do we care why? [pause] But why leave him sitting there?
AVON: To delay discovery and give the murderer a chance to get away.
https://blake.torpidity.net/m/302/286 B7B4
Series D, Episode 13 - Blake
SOOLIN: Another calculated risk?
DAYNA: Try and get the sums right this time.
https://blake.torpidity.net/m/413/180 B7B5
Series C, Episode 01 - Aftermath
MELLANBY: Come and sit down.
AVON: Thank you.
https://blake.torpidity.net/m/301/185 B7B4
Series D, Episode 04 - Stardrive
TARRANT: What use will that be? The main drive chamber can't be pressurized. How do you carry out a delicate repair operation wearing a spacesuit and gauntlets?
VILA: I don't.
https://blake.torpidity.net/m/404/48 B7B5
Series C, Episode 03 - Volcano
MORI: [V.O.] If you come in that approach, you will find no detectors to pick you up, and no opposition.
SERVALAN: Excellent. We will regroup immediately and approach on that bearing.
https://blake.torpidity.net/m/303/565 B7B3
Series B, Episode 08 - Hostage
AVON: Blake, there's a mass of ionized particles, vector three nine. If we can fly into it it could confuse their scanners for just long enough.
BLAKE: Avon might be right. Tangent one eight. Go for it.
https://blake.torpidity.net/m/208/38 B…
Series A, Episode 11 - Bounty
JENNA: Goodbye.
TYCE: Goodbye, Blake. You'll always be welcome on Lindor.
https://blake.torpidity.net/m/111/541 B7B3
Series B, Episode 04 - Horizon
AVON: What did it say - decode.
ZEN: It is in Federation code nine. Message reads, "Top priority signal to any Federation pursuit unit, from Kommissar, planet Horizon. Request assistance. Ruler of Horizon unreliable, am disposing of him. Rebel spaceship at grid reference ten by thirteen double-u zed. Request you destroy this spaceship at once. Also inform Federation Central Control of this action. Await confirmation."