Učitavanje video playera...
00:47:46
KulenDayz 2025 - Developing DSLs for specification-as-code
KulenDayz 2025
Developing DSLs for specification-as-code
Adam Granicz
In this talk, I will discuss developing a simple specification-as-code DSL in F# for synthesizing F#+WebSharper code for reactive full-stack web applications. Using this DSL we can generate skeleton applications with abstract UIs from a few lines of specification, serving as a base to build our application logic and a concrete UI around it in a type-safe manner. All custom code can be re-applied on incremental changes to the DSL text, giving a safe way to make application-wide changes with minimal effort. By training LLMs to speak this DSL, I will also demonstrate how one can build application prototypes without the hallucination issues that plague ordinary code synthesis.
Developing DSLs for specification-as-code
Adam Granicz
In this talk, I will discuss developing a simple specification-as-code DSL in F# for synthesizing F#+WebSharper code for reactive full-stack web applications. Using this DSL we can generate skeleton applications with abstract UIs from a few lines of specification, serving as a base to build our application logic and a concrete UI around it in a type-safe manner. All custom code can be re-applied on incremental changes to the DSL text, giving a safe way to make application-wide changes with minimal effort. By training LLMs to speak this DSL, I will also demonstrate how one can build application prototypes without the hallucination issues that plague ordinary code synthesis.
