Ada vs Eta: What are the differences?

<Write Introduction here>
1. **Syntax**: Ada uses a more traditional syntax with a strong emphasis on readability and structure, while Eta uses a syntax based on Haskell with a focus on functional programming paradigms.
2. **Type System**: Ada has a more static and verbose type system, requiring explicit type annotations in many cases, whereas Eta has a more powerful type inference system that allows for more concise code.
3. **Platform Compatibility**: Ada is designed for embedded systems and real-time applications, optimized for safety-critical environments, while Eta is geared towards running on the JVM and interacting with Java libraries.
4. **Concurrency Models**: Ada provides built-in support for tasking and parallelism with features like task types and rendezvous, while Eta leverages Haskell's lightweight, efficient concurrency model based on software transactional memory.
5. **Developer Community**: Ada has a smaller but dedicated community with strong support for safety-critical industries and defense applications, whereas Eta benefits from the large Haskell community and ecosystem for functional programming. 
6. **Performance**: Ada is known for its low-level optimization capabilities and high performance in real-time systems, whereas Eta, being based on Haskell, may not be as performant in certain contexts but offers powerful abstractions and expressive code.

In summary, Ada and Eta differ in terms of syntax, type system, platform compatibility, concurrency models, developer community, and performance characteristics.