To jest pytanie typu jaki framework do języków Idris i Scala 3 na 2023 rok. Trudne pytanie ponieważ w Polsce mało ludzi w nich pisze. Łatwiejsza odpowiedź do Kotlina bo tu nasuwa się Ktor
Do Scali 3 znam odpowiedź. To co poleca Adam Warski i SoftwareMill. Teraz chyba Tapir wjeżdża jako nowy sposób opisu endpointów. No i oczywiście Catsy Effects
Co do Idris to zastanawiam się czy ktoś pisze w tym aplikacje? Bardzo mało bibliotek. IMHO to już bardziej prawdopodobne spotkać PureScripta na produkcji. Jak masz wrappera na Reacta/Reduxa (czy co tem teraz modne) to cieszysz się prawdziwie typowanym JSem i więcej nie potrzebujesz
A z Idrisem to pamiętam jak Bartosz Milewski chciał użyć Lensów dla Idrisem i skończyło się tak że sam sobie te Lensy napisał XD