169 похожих чатов

Есть утверждение: нехвостовую рекурсию без стека не сделать в любом

случае

есть контрутверждение: сделать, есть алгоритм который позволяет в некоторых случаях это сделать, есть как пример окамл, который применяет этот алгоритм по аннотации

можно написать и свой компиль, который будет это делать сам без анноатации

окамл тут в качестве примера языка где это есть
хаскель тут в качестве примера языка где тоже есть аннотации
хаскель тут так же в качестве примера где подобная оптимизация - просто следствие ленивости языка, и аннотации не нужны

ни хаскель ни окамл особо не имеют прямого отношения к теме, это лишь примеры

собственно вопрос, что ты хочешь сказать? Что хаскель лучше чем окамл тем что там не нужно делать аннотацию для этой оптимизации? Окей, может быть, может быть нет, никто про это не спорил вроде бы. Если окамл сможет сам выводить, где нужна подобная трансформация, с аннотацией на отключение, то может быть будет лучше

Если ты хотел сказать что-то другое, то я не понял что.

Это я отбросил твои предыдущие сообщения, которые мне тоже не понятны, оставив только последнее

2 ответов

24 просмотра

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

Max Avanov
А с чего ты решил, что я с кем-то спорю про рекурс...

с прагматичностью в окамле вообще неважно дела обстоят

Похожие вопросы

Обсуждают сегодня

Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Коллеги, добрый вечер. Создаю коллекцию от TFPGMap, ключ - перечисление, значение - целое. Нужно отсортировать коллекцию по значению. Как это можно сделать?
Kirill Filippenok
11
Скажи а ты когда этот канал создавал ты уже дельфи не любил, или это со временем пришло?
Роман Лях (rgreat)
18
Привет, такой вопросик появился кажется ли вам что Rust слишком сложный/строгий для высокоуровневого программирования и слишком "безопасный"/строгий для низкоуровневого?
Крокант
10
Всем привет! Использую кастомное модальное диалоговое окошко, все по классике - mrOK, mrCancel как ModalResult. Однако есть нюанс - в главной форме есть универсальный обработч...
Олег Гранишевский
20
Карта сайта