Aeon — An AI-native programming language by Alcides Fonseca
Lambda World 25
•
36m
Program Synthesis is the dream of every developer. You specify what you want to write, and the computer writes the code for you. This specification can take several shapes: the signature (types) of a function, its documentation, or some input-ouput examples. Aeon is a programming language that supports different algorithms: LLMs, Genetic Programming and SMT Solvers. In particular, Aeon takes advantage of an advanced type system (Liquid Types) to validate whether the generated code is correct. The talk will cover how to make the best out of these techniques, and show examples that are more suitable for some techniques than others.
Up Next in Lambda World 25
-
Pick a (Effect) Lane: A comparison of...
As the chatter over direct-style effects gains steam with Odersky publishing "Lean Scala" manifesto and speaking in multiple conferences about it, I dipped my toes into direct-style scala, and will present, without any bias, a comparison of both effect systems & direct-style in multiple angles. I...
-
Declarative UIs in a functional langu...
In this talk, we will explore how we built a library to define declarative UIs using an in-house functional language. The discussion will center around three key components: a declarative view, an update function, and a model. We will address various challenges such as background tasks, efficient...
-
The Mastermind behind Refinement Type...
Should your function only admit positive integers? Does it always return non-empty lists? Refinement types are wonderful: beyond typing, you can annotate the behaviour of your function values. It's a great ally for the correctness of a program, but there is fine print: obviously the wonder is not...
