... are quite different from ATPLs. So far, I'm with the big boys on safety. The consequences of a failure then need to be assessed. A seat of the pants feeling is that a twin has an advantange over a single in that if one engine fails there's another one to use. Unfortunately real life doesn't work quite that way and although many twins can cruise and land with one engine shut down...

... we already have plenty of terse fp languages. I'm looking for an fp that I can take to the "unwashed" masses and which is subversively simple, so that they start getting the advantanges without being frightened off. For example, closures are trivial for "normal" people to understand, but introducing them with "\x ->" (presumably meaning lambda x maps to) is scary and off-putting ...