Blog Orb

Članki o jeziku, njegovem prevajalniku in izvajalnem okolju.

Avtomati stanj do samega dna10. april 2026

V Orb-u je vsaka funkcionalnost avtomat stanj. Ne drevo komponent, ne zbirka hookov — avtomat stanj z eksplicitnimi stanji, varovanimi prehodi in zaprto zanko, ki jo prevajalnik uveljavlja, preden se generira kakršnakoli koda.

Preberi
Izcrpni testi, ki hodijo po avtomatu10. april 2026

`orb validate` dokazuje strukturne lastnosti. `orb test` gre dalje — hodi po vsaki povezavi vsakega avtomata stanj, sprozi vsak dogodek iz vsakega stanja in preveri, da varovalke pravilno blokirajo in prepuscajo. Ne napisete nobene testne kode. Graf je testni nacrt.

Preberi
Prevajalnik je testni nabor10. april 2026

`orb validate` ne preverja samo sintakse. Hodi po grafu avtomata stanj in dokazuje lastnosti, ki bi sicer zahtevale desetine rocno napisanih testov. Zaprte zanke, pogodbe oddajanja, veljavnost vezav in zahteve lastnosti vzorcev — vse preverjeno, preden se generira kakrsnakoli koda.

Preberi
Atomi, molekule in sistem uses10. april 2026

Orb sledi atomskemu oblikovanju za obnasanje, ne samo za UI. Standardna obnasanja so atomi — majhni avtomati stanj, ki imajo svojo topologijo. Vasa aplikacija jih sestavlja v molekule z uporabo uvozov `uses` in povozne povrsine. Stanja in prehodi atoma ostanejo nespremenjeni. Vi prevezete podatke, preimenujete dogodke in zamenjate ucinke.

Preberi
Stroji z lastnostmi: kako bo Orb spremenil prihodnost robotike15. januar 2026

Predstavljajte si svet, v katerem za pametno premikanje robota ne potrebujete na tisoče vrstic kode. Svet, v katerem vedenje stroja opišete tako, kot opisujete gibanje planetov po njihovih orbitah.

Preberi

Orb

Programski jezik sestavljivih končnih avtomatov.

© 2026 Almadar. Ljubljana, Slovenija.
Not reported here