Fantastic rainy day to implement aircraft systems while not writing Scala.
-
I thought aircraft programming relies only on some system programming...like c and c++..if Haskell is used in aircraft then it is a motivation for me to learn Haskell whenever I see jet plane..
e.g. navigation software: https://www.casa.gov.au/standard-page/data-service-providers … Jeppesen, AvPlan, OzRunways & they are all terribly broken. "What approvals … required…" https://www.casa.gov.au/regulations-and-policy/standard-page/frequently-asked-questions … Incidents occur regularly where a pilot has relied on an approved EFB for navigation.https://www.casa.gov.au/files/2331pdf
