In the "systems shutdown" scene in The Martian, they show some code. Is that a real programming language (best guess Haskell) or just some hacking-movie-fake-code-with-random-math thing?
Sample:
mpoly : VAR MultiPolynomial
msdeg : VAR DegreeMonomcoeff : VAR Coeff
mvars,terms : VAR posnatrol : VAR RealOrder
Avars,Bvars : VAR Varboundedpts,
Intendpts : VAR IntervalEndpoints
MPoly : TYPE = {#
mpoly : MultyPolynomial
mdeg : Degree Means, terms : posnat
mcoeff =L Coeff
}