TypeChecked is a scala and functional programming software consultancy producing safe, fast, and reliable software. In-house, remote, outsourced software and training available.
TypeChecked produces a collection of scala libraries which push the boundaries of what is possible. Proven in the wild, read the docs to see how typelevel programming can make your system safer.
Read the blog for notes on TypeChecked's experiments into how far we can push the scala compiler.