What do we do?
Functional programming is faster, more modular and more secure. This saves time, money and makes life easy.
Speed
The increased speed is already noted in programming. Functional programmes usually require only a third to a quarter of the code lines of a similar program in C/C++ or Java. Shorter programmes also include fewer errors.
Also, functional programmes do not need to fear comparision in terms of execution speed: Additional compiler optimisations lead to a maximum of efficiency.
Modularity
In addition to high abstraction, functional languages offer concepts of generalisation. This results in a modular way of programming. Code is therefore easier to understand, easier to maintain and easier to reuse. Of course, it is possible to use existing libraries in functional programmes.
Security
Most functional languages ??have a static type system. This mathematically oriented approach enables strong run-time guarantees. Also, formal verifications are possible. That's why functional programming is well suited for security-related tasks.
Applications
We apply functional programming techniques in the following areas:
- Prototype applications
- Formal requirements analysis and executable specifications
- Software in areas with high safty requirements
- Parallelism and multi-core programming
Haskell-Stammtisch
Infos zum Haskell-Stammtisch finden Sie hier...
Dokumente
Unser Unternehmensprofil
Schulung
Interesse an einer Schulung im Bereich funktionale Program- mierung mit Haskell?
Quellcode
Den Quellcode zum iX-Artikel Starke Typen finden Sie hier.