её суть в том, что она на стеке сидит

да и любая, собственно, рекурсия происходит в стеке

хвостовая его не увеличивает

@anarchostatist они не особо преближены, понятно что даже недо АлгТД и недо полиморфизм с недо тайпклассами лучше, чем како-нибудь плюсовое адище, но сравнивать с нормальным ФЯ это несерьезно

что значит "недо"?

Vasiliy то, что надо как-то управлять памятью, которая в этой рекурсии выделяется

они сделаны так, как надо сделать, чтобы не иметь использование памяти как у хаскеля

потому и недо

для управления стеком есть операции push и pop

я же не утверждаю, что они просто какие-то неосиляторы

это трейдофф

гц тут не нужен

ну вообще поэтому они и не используют такие термины

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

речь про то, что в куче надо выделять

это трейдофф

имо довольно важный для большинства приложений

@anarchostatist я же не говорю, что это неважно и ненужно

а выделение в куче и рекурсия - это ортогональные, как мне кажется, вещи

я про то что нельзя говорить, что такой язык это полноценный ФЯ, высокоуровневый

а выделение в куче и рекурсия - это ортогональные, как мне кажется, вещи

ну да. оно с другого началось

не совсем

@anarchostatist я же не говорю, что это неважно и ненужно

ну ты говоришь что лучше использовать более высокоуровневые ЯП

я про то что нельзя говорить, что такой язык это полноценный ФЯ, высокоуровневый

я и не говорил что это полноценный ФЯ

впрочем, я не видел начала беседы, так что не совсем в контексте

про рекурсию в енумах а потом как-то странно на обычную рекурсию перешли

там где это можно себе позволить - конечно лучше

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

но поинт про рекурсию в енумах довольно познавательный

шо за рекурсия в енумах O_o

в расте енумы это sum types

оригинальное название

наверное чтобы проще цппшникам было

дык в цпп енумы - считай именованные константы

оригинальное название

ну это мелочи, во всех языках стараются по-своему назвать. типа сделать проще

с недавних пор засунутые в неймспейсы

ну вообще енумы используются для создания tagged unions там

ну так забей. есть чуть чуть сходства и нормально. а потом на какой-нибудь главе в енумах поля появляются

так и в расте, наверное каждый конструктор енума тегируется константой

я так понимаю, что и тегирование указателя не сделать из за такой имплементации

но все рвно в таком стиле со списками никто на расте писать не будет, так что не важно

так и в расте, наверное каждый конструктор енума тегируется константой

значения енума не возвращают свое число, если это подразумевается

да нет, не про это

я про то

но, наверное все-таки возвращают

даже в хаскеле можно число для конструктора получить

но речь про то, чтоб по тегированному указателю определять на какой конструктор енума он указывает

число можно получить только скастив в число

но речь про то, чтоб по тегированному указателю определять на какой конструктор енума он указывает

как мы создаем этот тегированный указатель?

ну для языка в котором типичная для ФЯ велью-семантика рантайм может тегировать указатель, там же абстрагировано то, что он по ссылке передается

тегировать чем?

тегом конструктора, если конструкторов у енума немного, как в гхц делается, например

но в языке без ГЦ это не нужно все равно

да

раст так не делает

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

проблема тут в том, что рефы не часть имплементации АлгТД где-то за кадром, а наблюдаемая программистом сущность

но все эти хитрости из ФЯ в низкоуровневом языке не нужны, там до последнего страдают чтоб рефов было поменьше все равно

проблема тут в том, что рефы не часть имплементации АлгТД где-то за кадром, а наблюдаемая программистом сущность

а как это мешает?

Как я понял, суть в том, что управление памятью - не минус, но это делает код менее абстрактным. ФП код же настолько абстрактный, что в теории он может быть собран под такую теоретическую машину, у которой совсем другая модель памяти. И вот по факту хочется писать такой код, который будет максимально абстрактным, а работу с памятью и оптимизации перенести на компилятор. А вот я хочу описать рекурсивный адт, а в раст нужно еще какой бокс добавлять, чзх

кто-то может рассуждать наоборот: а вот я хочу описать не жрущий память адт, а в Хаскелле ещё нужно какой-то UNBOX добавлять, чзх

третий раз за день в коде на c++ пишу pure вместо return. пятница...

но это же совсем разные вещи. pure/return у нас «заворачивает» значение, а return у них завершает процедуру

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

Можно ли сделать так, чтоб stack install вместе с библиотекой скачивал все зависимости?

stack download

кто-то может рассуждать наоборот: а вот я хочу описать не жрущий память адт, а в Хаскелле ещё нужно какой-то UNBOX добавлять, чзх

! достаточно

но для полиморфных полей все равно будет коробка

чистый кабал имхо гораздо приятнее чем стек, когда на ходу надо либы патчить

а посоветуйте, пожалуйста, что по хаскелю почитать после learn you a haskell for great good?

http://haskellbook.com/ / bartosz milewski / the idris tutorial

http://haskellbook.com/ / bartosz milewski / the idris tutorial

первую нагугли, но че-т мне показалось, что она вместо lyahfgg, а не после

идрис пока незачем, я с хаскелем-то не до конца разобрался

многие темы будут повторятся, но она намного глубже идет

http://haskellbook.com/ / bartosz milewski / the idris tutorial

а во втором пункте же просто автор, что у него читать?

у него лекции и блог по теоркат

можно посмотреть его замечательные лекции на ютубе

?

у него лекции и блог по теоркат

да, у меня лежит его книжка по теории категорий, лол

книжка?

книжка?

category theory for programmers

это не книга же

а что это?

вроде книжка

а есть что-нибудь почитать о тулинге в хаскеле? Типа там систем сборки, тестирования и всего такого

везде разбросано

система сборки одна Cabal, интерфейс наверное проще всего через stack

фреймворки тестирования это tasty и hspec самые известные

про hspec слышал вроде даже

само тестирование quickcheck hunit

в фреймворка хорошо общий интерфейс к ним

а ещё smallchexk

quickcheck - рандомизированная проверка инвариантов, small check полная до определенной глубины, hunit юнит тестирование

вместо описания кабал файла есть всякие hpack, но это к любителям

вместо описания кабал файла есть всякие hpack, но это к любителям

спасибо большое за такой подробный ответ!

это не книга же

У него есть видеолекции, а есть книжка

он не публиковал книгу

он только блогпосты написал, а кто-то собрал их в книгу)

так а книга по твоему это что?