
Description: Haskell is a statically typed, purely functional programming language known for its strong static type system, sophisticated type inference, and non-strict evaluation. It is used in education, academia, and some commercial applications.
Type: Open Source Test Automation Framework
Founded: 2011
Primary Use: Mobile app testing automation
Supported Platforms: iOS, Android, Windows

Description: Ceylon is an open source programming language that runs on the Java Virtual Machine or JavaScript runtimes. It features a strong and static type system, immutability by default, higher-order functions, metaprogramming, and modular and hierarchical visibility control.
Type: Cloud-based Test Automation Platform
Founded: 2015
Primary Use: Web, mobile, and API testing
Supported Platforms: Web, iOS, Android, API