Villa er ekki slys.
Það er ákvörðun.
Iðnaðurinn erfði skilgreiningu á gæðum og hætti að efast. Brickter samþykkir hana ekki. Við bætum ekki staðalinn. Við skiptum honum út.
Villa er ekki slys.
Hugbúnaður er ekki forritaður.
Hann er yfirlýstur.
Að yfirlýsa er ómögulegt að brjóta.
Að forrita er að spila skref. Að yfirlýsa er að staðfesta hvað á að vera til. Munurinn er ekki tæknilegur: hann er heimspekilegur.
Þegar þú forritar lýsirðu hvernig: brothættri röð skipana sem getur bilað á hvaða línu sem er. Þegar þú yfirlýsir lýsirðu hvað: fullkomnu, lokuðu og sannprófanlegu líkani. Yfirlýsingin fjarlægir tvíræðni; forritið safnar henni. Að yfirlýsa minnkar villurýmið því engar tilviljanakenndar leiðir eru: aðeins sannindi sem kerfið samþykkir eða hafnar.
Brickter Compiler tekur þá hugmynd til hins ýtrasta. Það staðfestir hverja yfirlýsingu stranglega þar til líkanið hefur fulla merkingu: án ómögulegra ástanda, án brotinna samninga, án frjálsrar túlkunar. Þetta er ekki þýðandi sem þýðir kóða: það er ontólógísk sía. Ef eitthvað passar ekki inn í yfirlýsta heiminn er það ekki til. Þess vegna er villur með Brickter Compiler ekki lengur valkostur.
Hugbúnaður
Heimsklassi
Ágæti í hugbúnaðarverkfræði gerir okkur kleift að leysa flóknustu vandamálin og smíða vörur sem umbreyta heilum iðngreinum.
Hafa samband