История изменений
Исправление AndreyKl, (текущая версия) :
Вообще это классная фича - что lh выводит много. Но всё это должно работать и в идрисе/агде/коке, причём ровно так же. И в Идрисе даже как то работало. Похоже что lh - это попытка прибить какую то часть зависимых типов гвоздями прям сверху хаскеля, и чтоб не слишком сложно было. Но по моему не слишком сложно там только в самом начале. Но надо сказать в самом начале оно и в Идрисе несложно, (хотя соглашусь что lh выглядит немного более «по свойски, по программистки, а не вот это вот всё»)
Исправление AndreyKl, :
Вообще это классная фича - что lh выводит много. Но всё это должно работать и в идрисе/агде/коке, причём ровно так же. Похоже что lh - это попытка прибить какую то часть зависимых типов гвоздями прям сверху хаскеля, и чтоб не слишком сложно было. Но по моему не слишком сложно там только в самом начале. Но надо сказать в самом начале оно и в Идрисе несложно, (хотя соглашусь что lh выглядит немного более «по свойски, по программистки, а не вот это вот всё»)
Исправление AndreyKl, :
Вообще это классная фича - что lh выводит много. Но всё это должно работать и в идрисе/агде/коке, причём ровно так же. Похоже что lh - это попытка прибить какую то часть зависимых типов гвоздями прям сверху хаскеля, и чтоб не слишком сложно было. Но по моему не слишком сложно там только в самом начале. Но надо сказать в самом начале оно и в Идрисе несложно.
Исправление AndreyKl, :
Вообще это классная фича - что lh выводит много. Но всё это должно работать и в идрисе/агде/коке, причём ровно так же. Похоже что lh - это попытка прибить какую то часть зависимых типов гвоздями прям сверху хаскеля, Чтоб не слишком сложно было.
Исходная версия AndreyKl, :
Вообще это классная фича - что lh выводит много. Но всё это должно работать и в идрисе/агде/коке, причём ровно так же. Похоже что lh - это попытка прибить какую то часть типов гвоздями прям сверху хаскеля, Чтоб не слишком сложно было.