Tail Call Development develops open-source software by applying modern, strongly-typed programming languages and next generation testing tools. The result is robust, trustworthy software.
We build on 15 years of research experience within advanced programming language technology. The person behind is Jan Midtgaard, who has used this technology to locate subtle bugs in compilers, data structures, and web browsers among others.
We offer services within software development (from scratch or extensions to existing systems), consultancy, quality assurance through advanced testing, as well as tailored talks and courses.
For example, for the OCaml Software Foundation we prototyped mutaml - a mutation testing tool for OCaml. The tool has helped identify a bunch of edge cases left untested in the Stan compiler, and it was used to assure the correctness of Seqes, a sequence library used in the Octez implementation of the Tezos blockchain.
For another example, we have helped Tarides identify more than 40 issues in the multicore OCaml 5 runtime system and standard library, incl. some tricky race condition corner cases. This effort is described in more detail in two Tarides blog posts: #1, #2.
Reach out if you are interested in learning more about these testing techniques and discussing how they may help strengthen your software project.