Один доклад на Functional Conf 2025 online, кстати, приняли. Вот этот:

Type-level interfaces in Haskell and Rust: pragmatic type-level programming


Описание доклада:

https://confengine.com/conferences/functional-conf-2025/proposal/21230/type-level-interfaces-in-haskell-and-rust-pragmatic-type-level-programming?notification_id=193861

Если вкратце, то с помощью интерфейсов на уровне типов можно создавать предметно-ориентированные языки а-ля Servant, но без всяких хаков и с более хорошими свойствами (расширяемость, унифицированность, более удобный синтаксис и тп). Мне даже удалось показать, что концепция переносится на другие языки. В книге Pragmatic Type-Level Design я демонстрирую Rust и Scala 3. На докладе будут Haskell и Rust.

Ранее я писал про лакмусовую бумажку: если мои в высшей степени полезные и уникальные доклады будут отвергнуты, как это произошло в предыдущие годы, причины стоит искать в социальном поле. Надо полагать, лакмусовая бумажка показывает, что коллективный разум начинает выздоравливать.