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...
-
Sketching streams with aquascape by Z...
Functional streams are a vital tool in any ecosystem. They can simplify the code for webservers, event loops, and data-intensive applications. But they are notoriously difficult to understand. In this talk, we'll explore a mental model of stream execution in fs2, a functional stream processing li...
