Haskell

ну к вашим запросам ATS3 больше подходит. ATS can be as efficient as C/C++ both time-wise and memory-wise and supports a variety of programming paradigms that include: * Functional programming * Imperative programming * Concurrent programming * Modular programming * ATS can greatly enforce precision in practical programming. * ATS can greatly facilitate refinement-based software development. * ATS allows the programmer to write efficient functional programs that directly manipulate native unboxed data representation. * ATS allows the programmer to reduce the memory footprint of a program by making use of linear types. * ATS allows the programmer to enhance the safety (and efficiency) of a program by making use of theorem-proving. * ATS allows the programmer to write safe low-level code that runs in OS kernels. * ATS can help teach type theory, demonstrating both convincingly and concretely the power and potential of types in constructing high-quality software.