Alcides Fonseca.AI & Programming Languages researcher
40.197958, -8.408312

Making intelligent software
more reliable.

I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.

Program synthesisLiquid typesReliable AIGuardrailsEvals

Scala

Scala is a functional and OO hibrid language targeting the JVM. Performance is not far from Java’s since it is a statically typed language, but you have type inference that Java doesn’t.

Scala compiles to .class files, so you can just replace your .java files with scala without greater problems because scala was designed to the JVM. This also means you can access everything in your Java code from Scala and vice-versa.

Resources

Some Examples