t
Size: a a a
2020 October 10
t
Или не мудень, но
g
а ещё пару раз перечитаю... Опять несколько томиков сопутствующей литературы читать, которую я так и не прочитал(
А я охладел к этой теме: и к языкам программирования, и к формальным методам, и к системам типов...
t
А я охладел к этой теме: и к языкам программирования, и к формальным методам, и к системам типов...
Когда-нибудь и я охладею ко всему
c
Minoru
утро!
утро!
c
Minoru
сишка топ: https://www.tiobe.com/tiobe-index/
сишка топ: https://www.tiobe.com/tiobe-index/
t
Утро
Dv
Статью не читал, но там же пишут про fuel, да?
t
Статью не читал, но там же пишут про fuel, да?
Шо за fuel?
Dv
В комментах упоминают, а в статье про более корректные подходы. Окей.
Dv
Шо за fuel?
А это, кароч, смотри, на пальцах
Dv
Тебе охота пойти куда-то в рекурсию
Dv
Или нахуй, как вот Матвею, ага?
Dv
Но ты не уверен, что дотуда дойдёшь за конечное число шагов. Ну или, вернее, компилятор не уверен, что ты дойдёшь.
Dv
А тебе охота функцию похода сделать тотальной, чтобы компилятор был уверен в этом.
Dv
Тогда ты произвольно берёшь какое-то натуральное число шагов, которого, по твоему мнению, хватит, и завершаешься (с ошибкой?), если эти шаги истекли.
Dv
Если число заведомо больше, чем требуется на практике Матвею, то ты всегда будешь норм дотуда доходить, а компилятор будет доволен, потому что ты ему показал, что более чем <fuel> шагов рекурсии он при этом никогда не сделает. Функция доказуемо тотальна.
A
Тогда ты произвольно берёшь какое-то натуральное число шагов, которого, по твоему мнению, хватит, и завершаешься (с ошибкой?), если эти шаги истекли.
О, это как флеш с вечными циклами и рекурсиями боролся
D
На TTL похоже
Dv
На TTL похоже
Да, очень похоже. И решает сходую задачу.