MPS Meetup 2023 - MPS Coderules: constraint programming voor type-inferentie MPS Meetup 2023 - MPS Coderules: Constraint programming for type inference

MPS Coderules: constraint programming voor type-inferentie door Clement de La Bourdonnaye en Fedor Iskaov van JetBrains Regels opstellen voor typeberekeningen in een nieuwe taal is geen eenvoudige klus. MPS biedt van oudsher DSL's om zo'n systeem te definiëren, maar die zijn beperkt tot een bepaald aantal toepassingen en niet altijd duidelijk in hun gedrag. Coderules biedt een nieuw framework om type-inferentiesystemen te definiëren met een constraint-verwerkingssysteem, dat die beperkingen belooft op te heffen. Na een korte introductie van de theorie achter die constraints laat deze talk met een demo zien wat Coderules te bieden heeft, en daarna een concrete toepassing van deze principes in het typesysteem van de Kotlin-taal voor MPS. Slides: https://youtrack.jetbrains.com/articles/MPS-A-216170508/JetBrains-MPS-Community-Meetup-2023-Videos-and-Slides

MPS Coderules: constraint programming for type inference by Clement de La Bourdonnaye and Fedor Iskaov from JetBrains Defining rules for type computations in a new language is not an easy task. MPS historically provides DSLs for defining such a system, but these are restricted to a range of usages and may not be explicit when it comes to their behavior. Coderules offers a new framework for defining type inference systems by using a constraint processing system, which promises to lift those limitations. This talk will, after briefly introducing the theory behind those constraints, present the features offered by Coderules through a demonstration and then show a concrete application of these principles within the typesystem of the Kotlin language for MPS. Slides: https://youtrack.jetbrains.com/articles/MPS-A-216170508/JetBrains-MPS-Community-Meetup-2023-Videos-and-Slides