so long haskell?
Haskell странный... Ты восторгаешься некоторое время, вживаешься в экосистему... Учишься писать эффективно... тайп-классы... монады... стрелки... тайплклассопедия... трансформеры... и вроде уже все привычно, о чем был весь этот шум...
И вдруг ты обнаруживаешь, что начинаешь имитировать зависимые типы через GADT. И вдруг замечаешь, что пишешь одну и ту же программу дважды: для данных и для типов.... Обнаруживаешь, что думаешь, какие type level naturals использовать. И видишь длиннюююющий список включенных экстеншнов в начале файла...
Сегодня запустил веб-сервер на yesod с main на Agda, дергающий из шаблона страницы функции на Agda.
И вдруг ты обнаруживаешь, что начинаешь имитировать зависимые типы через GADT. И вдруг замечаешь, что пишешь одну и ту же программу дважды: для данных и для типов.... Обнаруживаешь, что думаешь, какие type level naturals использовать. И видишь длиннюююющий список включенных экстеншнов в начале файла...
Сегодня запустил веб-сервер на yesod с main на Agda, дергающий из шаблона страницы функции на Agda.