Voitko kuvailla tarkasti, mikä on järjestelmäsi "oikea tila"? Jos näin on, sinulla on induktiivinen invariantti. Tämä tarkoittaa, että järjestelmäsi tekee vähemmän todennäköisesti pahoja asioita JA olet lähempänä sen todistamista. Kirjoitimme oppaan siitä, miten sinne ⬇️ pääsee

"Oikean tilan" määritteleminen on yllättävän vaikeaa. Quintin uusin ominaisuus tekee siitä lähestyttävän interaktiivisella palautteella, joka opettaa sinulle, mitä jäit huomaamatta.

Tämän päivän blogissa näytämme vaiheittaisen prosessin luotettavalla lähetyksellä, aloittaen yleisesti ja antaen Quintin tarkentaa ajatteluamme, kunnes saimme sen oikein. Opi kuinka: