Unser Angebot
Wir beraten Sie rund um die Implementierung ihres nächsten Projektes über die möglichen Vorteile des Einsatzes einer funktionalen Programmiersprache.
Wir erstellen Architekturen, Prototypen für Softwareprojekte und übernehmen den gesamten Softwarelebenszyklus.
Vorteile und Anwendungsgebiete
Funktionale Programmiersprachen bieten insbesondere Vorteile bei der Korrektheit und Verständlichkeit von Programmen. Dies ist wichtig, wenn die Komplexität der entwickelten Software hoch ist, oder es geschäftskritisch ist, Softwaredefekte zu vermeiden. Sollten Sie über ein Softwareprojekt verfügen, auf welches eins der o.g. Kriterien zutrifft, ist es ratsam, die Umsetzung auf der Basis von funktionalen Programmiersprachen in Betracht zu ziehen.
Die Anwendungsgebiete, in denen funktionale Programmiersprachen erfolgreich eingesetzt werden, sind äußerst vielfältig – hier ein paar Beispiele aus der Praxis:
- Telekommunikation (Erlang bei Ericsson)
- Finanzsektor / Wall Street (OCaml bei Jane Street)
- ECommerce (F# mit Alea bei Jet / Walmart)
- Luft- und Raumfahrt (OCaml, Coq bei NASA)
Insbesondere bei der Implementierung von Big-Data Systemen erweisen sich funktionale Programmiersprachen als nützlich.
Technologien
Wir arbeiten mit folgenden Technologien:
Programmiersprachen
Wir haben uns auf auf F#, Haskell, Scala und OCaml spezialisiert. Sprachen wie Clojure, Standard-ML und Elixir/Erlang kennen wir aus Hobbyprojekten, jedoch finden diese derzeit bei uns weniger Anwendung.
Formale Verifikation
TLA+, LiquidHaskell zwecks Verifikation von Haskell-Programmen.
Patterns und Methodiken
An dieser Stelle verweisen wir an die auf dieser Seite aufgezählten Methodiken. Die meisten Verfahren finden auch im Bereich der funktionalen Programmierung Anwendung, wie beispielsweise Domain-Driven-Development, Continuous Integration, etc.
Big Data
Apache Spark, Hadoop.