C# vs. Haskell vs. Java vs. Oxygene Comparison Chart

Every expression in Haskell has a type that is determined at compile time. All the types composed together by function application have to match up. If they don't, the program will be rejected by the compiler. Types become not only a form of guarantee, but a language for expressing the construction of programs. Every function in Haskell is a function in the mathematical sense (i.e., "pure"). Even side-effecting IO operations are but a description of what to do, produced by pure code. There are no statements or instructions, only expressions that cannot mutate variables (local or global) nor access state like time or random numbers. You don't have to explicitly write out every type in a Haskell program. Types will be inferred by unifying every type bidirectionally. However, you can write out types if you choose, or ask the compiler to write them for you for handy documentation.

Pascal is more relevant today than ever, and modern Pascal implementations such as Oxygene have a lot to bring to the table. Oxygene is a powerful general-purpose programming language, designed to let developers create all imaginable kinds of projects on a wide variety of platforms. To achieve this, it provides a combination of language features that ease the development processes, from basic object-oriented language concepts found in most modern languages (such as the concept of classes with methods, properties, and events) to sophisticated specialized language features that enable and ease specific development tasks (such as creating safe, multi-threaded applications), many of those unique to Oxygene. All of the provided features are based on the foundation of Object Pascal and stay true to the language design paradigms that make Pascal great, readable, and discoverable. As an object-oriented language, most code written in Oxygene lives in "classes".