197 karma · joined October 10, 2007
http://www.ccs.neu.edu/home/samth/typed-clojure-draft.pdf
I wonder how their move away from clojure.typed has impacted code size.
Of course, there may be private repositories which are larger (thus the weasel words "one of"). Corrections welcome. :-)
So, in short, developing for aerospace is not agile. :-) It's the Niagara Falls of waterfall methods.
https://en.wikipedia.org/wiki/DO-178C#Software_level
The OMF system described in the video is Level E, meaning it's failure would have no safety impact on the aircraft. This gives us greater latitude in choice of software solutions. The higher levels, however, have strict requirements regarding latency and memory management that would automatically preclude the use of Clojure or any language with garbage collection.
So, as always, it's selecting the right tool for the job.
Still a little rough around the edges, but it's real nice having everyone using the editor of their choice.