случае
есть контрутверждение: сделать, есть алгоритм который позволяет в некоторых случаях это сделать, есть как пример окамл, который применяет этот алгоритм по аннотации
можно написать и свой компиль, который будет это делать сам без анноатации
окамл тут в качестве примера языка где это есть
хаскель тут в качестве примера языка где тоже есть аннотации
хаскель тут так же в качестве примера где подобная оптимизация - просто следствие ленивости языка, и аннотации не нужны
ни хаскель ни окамл особо не имеют прямого отношения к теме, это лишь примеры
собственно вопрос, что ты хочешь сказать? Что хаскель лучше чем окамл тем что там не нужно делать аннотацию для этой оптимизации? Окей, может быть, может быть нет, никто про это не спорил вроде бы. Если окамл сможет сам выводить, где нужна подобная трансформация, с аннотацией на отключение, то может быть будет лучше
Если ты хотел сказать что-то другое, то я не понял что.
Это я отбросил твои предыдущие сообщения, которые мне тоже не понятны, оставив только последнее
А с чего ты решил, что я с кем-то спорю про рекурсию в окамле? Мой комментарий про язык. Я прокомментировал сообщение про окамл в чате хаскелля, в духе «ну и где тут хваленная прагматичность и практичность окамла по сравнению с хаскеллем, о которой с другой стороны так любят рассказывать». Никакого спора, ехидный наброс чистой воды. И да, это все еще ручное аннотирование важного аспекта программы, которое не равносильно по важности с inline в хаскелле. Сам он это выводить не сможет, как они сами указывают на контр-примерах, где программист должен знать по семантике структуры в какой функции и какой ее ветке указывать эту аннотацию.
с прагматичностью в окамле вообще неважно дела обстоят
Обсуждают сегодня