What we offer
We will provide you with comprehensive counselling on the potential benefits of employing a functional programming language to implement your next project.
We build architectures, software project prototypes and take charge of the complete software life cycle.
Benefits and areas of application
Functional programming languages are especially advantageous when it comes to ensuring the correctness and intelligibility of programmes. This is crucial if the software in question is very complex and when it is business-critical to prevent software defects. Should the above-mentioned criteria apply to one or more of your software projects, then it would be advisable to consider implementation on the basis of functional programming languages.
The areas of application in which functional programming languages can be successfully implemented are very diverse — here are a few real-world examples:
- Telecommunications (Erlang at Ericsson)
- Financial sector / Wall Street (OCaml at Jane Street)
- E-commerce (F# with Alea at Jet / Walmart)
- Aerospace (OCaml, Coq at NASA)
Functional programming languages are especially useful when it comes to implementing big data systems.
Technologies
We work with the following technologies:
Programming languages
We have chosen to specialise in F#, Haskell, Scala and OCaml. We are familiar with additional languages such as Clojure, Standard-ML and Elixir/Erlang from hobby projects, though we employ them less frequently.
Formal verifiers
TLA+, LiquidHaskell to verify Haskell programmes
Patterns and methodologies
At this point, we would like to refer to the methodologies listed on this page. Most of these processes, such as domain-driven development, continuous integration, etc, are also used in the field of functional programming.
Big data
Apache Spark, Hadoop