Мечты частично сбываются :)

"...чтобы и на смену SQL наконец появилось тоже что-то взрослое"

=> Vanna
"Chat with your SQL database. Accurate Text-to-SQL Generation via LLMs using RAG"
+ модельку можно дотренировывать на проектную специфику.

Ну да, из F# доступен LINQ, но хотелось бы например полиморфную систему типов в SQL.

А пока что каждый день, пока в мэйнстримовские базы данных не добавлена поддержка sum types, где-то плачет котик...