4 ms·

It does seem quite a bit verbose for a simple print statement.

• justinjlynn 9y ago
  Ivory is not for print statements. Ivory is for designing and implementing high-reliability/safety-critical/hard-real-time firmwares. Combined with their Tower project, and other support projects, it's used to build https://smaccmpilot.org/ https://smaccmpilot.org/ -- a high-assurance, partially formally verified, autopilot system.
• nickpsecurity 9y ago
  To add to other comment, the main goals of high assurance systems are twofold: 1. Design systems that either never fail in field or fail safe. Many also want recovery mechanisms that always work. 2. Part many miss: convince other people from buyers to regulators they did No 1. One reason both Ada and formal specifications are so verbose is that lots of detail that's implicit in lots of languages are explicit in them so they can be reviewed. People overlooking detail due to verbosity is a common problem. People in this industry are disciplined enough to look at stuff in detail, though. So, the tradeoff of languages in this field is to optimize for software being read by people who want no stone unturned. Now, what I cant tell you is how much verbosity is due to it being embedded in Haskell or just its own design. Verbosity doesnt surprise me, though.
  • AnimalMuppet 9y ago
    It really seems ironic to me for "embedded in Haskell" to lead to "verbose".