O(x)Caml în spațiu: când programarea funcțională întâlnește orbita

În timp ce unii încearcă să bage Rust în fiecare colț al universului, o echipă de entuziaști a decis că și OCaml merită un loc la soare. Sau, mai exact, deasupra lui. Proiectul Borealis folosește OCaml pentru programarea sateliților — și sună ca începutul unei glume despre funcționaliști, dar s-a dovedit a fi un prototip funcțional.

Ideea e că OCaml, cu tipizarea sa strictă și imutabilitatea, se potrivește perfect pentru software critic, unde o eroare costă mai mult decât un consum suplimentar de combustibil. Dezvoltatorii susțin că codul în OCaml pentru sateliți iese mai compact și mai fiabil decât în C. Bineînțeles, fără durere n-a mers: a trebuit să scrie propriul runtime și bindinguri pentru hardware, dar cine a spus că spațiul e ușor?

Ce e sub capotă

• Microkernel în OCaml — da, direct la bord, fără glume cu GC în timp real (aproape).
• Instrument de verificare — tipurile au ajutat la prinderea câtorva bug-uri înainte de compilare, ceea ce în spațiu economisește nu doar timp, ci și milioane de dolari.
• Integrare cu CubeSat — nanosatelit standard, așa că orice startup poate încerca.

Desigur, până la producție de tipul „zburăm pe Marte cu OCaml” mai e cale lungă, dar primele teste cu baloane stratosferice au arătat că GC nu omoară procesorul instantaneu. Și asta e deja o victorie.

Comentariul studioului METABYTE: Noi încă nu am lansat sateliți, dar dacă proiectul vostru necesită fiabilitate ca a unei nave spațiale — fie OCaml, fie nu, codul tot trebuie scris. Și știm cum să o facem fără bug-uri (aproape).