Мне кажется, что слишком много внимания стали тратить на то, чтобы всякие там бекенды было удобно писать на хаскеле, backwards compatibility, синтаксис, сообщения об ошибках, эргономика, trailing commas, блабла
В итоге на линейные типы уходит три года от пейпера до мержа
Бекенды можно и на других языках писать, а вот ресерчить, как тайпсистемы клёво подружить с продакшеном (и разные фичи — друг с другом) — мало где можно
Бекенды можно и на других языках писать, а вот ресерчить, как тайпсистемы клёво подружить с продакшеном (и разные фичи — друг с другом) — мало где можно