About the service
I write functional software in Frege — essentially a Haskell dialect that compiles to Java bytecode and runs on any JVM. If your team lives inside the Java ecosystem but wants the guarantees of pure functional programming, I can help bridge these two worlds. Over the past few years I have shipped services, libraries and command-line utilities where laziness, immutability and strict typing eliminated whole classes of errors before the code even reached production. Typically my work looks like this. I design a pure core without side effects in Frege and push all input-output to the system boundaries so business logic remains testable and predictable. I rely on the type system to precisely model your domain: using algebraic data types and type classes instead of defensive null checks. Because Frege runs directly on the JVM, I write careful integration layers that invoke existing Java libraries, wrap legacy classes in safe functional wrappers and expose Frege modules back for calling from Kotlin or Java without friction. Laziness lets me express streaming pipelines and infinite structures while conserving memory. I handle practical things too: build setup via Gradle or Maven, packaging, continuous integration, QuickCheck-style property-based tests and documentation that your Java engineers will understand. The deliverable includes commented source code, a reproducible build, a short note on adopted design patterns and a walkthrough with your team so you can maintain the code afterward. Whether you need a prototype rewritten for correctness, a critical module revisited or mentoring in functional patterns on the JVM — I deliver code that is correct by construction and a pleasure to develop.
