или без какой-то фичи, выполняющей функциии некой RealtimeOS

это способ реализации для параметрического полиморфизма, например

тут несколько тем сразу

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

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

а есть хорошая литература, чтобы нырнуть поглубже?

не знаю даже. Simon Peyton Jones, The Implementation of Functional Programming Languages Andrew W. Appel, Modern Compiler Implementation in ML

Это-то понятно, чем полиморфизм для них отличается от обычных видов (adhoc и параметрический)?

это детали исплементации полиморфизма

Пока всё равно не вижу, как это с GC связано

Чем реализация через какую-нибудь vtable не даёт этого?

с гц связано тем, что куча мелких объектов из-за того что все забоксено

кстати что там в ATS там же есть GC, да?

захожу, читаю чат от пина и приговариваю "ух бля"

@trionprog README подсказывает что ats2 подходит, без VM, без GC

но это скорее исключение из правил

с гц связано тем, что куча мелких объектов из-за того что все забоксено

И?

там особо с ФП не развернешься

ну, никто не спорит, что с gc делать такое проще

s/с ФП//g

захожу, читаю чат от пина и приговариваю "ух бля"

хороший пин ага

И?

единственный работающий способ управления памятью для такого сценария - ГЦ

s/с ФП//g

да, точно

Да нет же. Никто не мешает при входе в функцию боксить и при выходе анбоксить, если это вообще надо

Да нет же. Никто не мешает при входе в функцию боксить и при выходе анбоксить, если это вообще надо

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

но не понятно при чем отдельная функция тут

без GC там очень быстро становится или слишком сложно или слишком тормозно

При том, что мы всё ещё о параметрическом полиморфизме говорим

без GC там очень быстро становится или слишком сложно или слишком тормозно

Да я не спорю

Но из этого не следует, что GC должен быть у функционального языка

Но вообще трёп ни о чём конечно, пока мы не определимся, чем должен обладать функицональный язык, чтобы называться функицональным

Алсо, по "lisp without gc" нагугливается как минимум carp и bone

я не знаю, что такое функциональный язык, чтобы дать четкое и точное определение

Но вообще трёп ни о чём конечно, пока мы не определимся, чем должен обладать функицональный язык, чтобы называться функицональным

да самого нинимального определения - первоклассных функций уже хватит. UFP без ГЦ не решить

Но вообще чем больше функциональных фич - тем ГЦ нужнее

да самого нинимального определения - первоклассных функций уже хватит. UFP без ГЦ не решить

Всё равно не вижу проблем с функциями первого класса без gc

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

Всё равно не вижу проблем с функциями первого класса без gc

как их возвращать-то из функций без ГЦ?

А в чём проблема? Забоксил и вернул

Ты ведь rc не считаешь за гц?

циклы будут получаться - тут с рц проблемы будут

Ну, если аккуратно и с weak, то решаемо

Ещё раз: я не гвоорю, что это удобнее, чем GC

Но утверждение, что ФП без GC не бывает выглядит недоказуемым

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

Но утверждение, что ФП без GC не бывает выглядит недоказуемым

ну я надеюсь, мне хотя-бы удалось показать, что ФП без ГЦ это куча проблем

а для создания проблем ФП никому не надо, оно проблемы решать должно

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

Тут головняка больше с замыканиями

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

А carp таки неплох

Не считая, конечно, того, что примеры не функциональные =)

Да не, на гитхабике лежит

Пипец шрамко линух с флэшки поставить не может?

заорал

он же сейчас проще чем винда ставится

всё для людей сделали

Бля проблема не в лине

А в дровах

Которых нет

ставь manjaro там проприетарные дрова для видеокарты из коробки

Манжаро даже не запустлся

Сразу rescue grub показал

он же сейчас проще чем винда ставится

одинаково

Бля проблема не в лине

В чьих то руках?

В чьих то руках?

вроде прочитать на сообщение ниже не должно быть особо сложно

Ставишь дебиановский нет инстал, скачиваешь дрова и накатываешь остальную систему

ну вообще дрова от amd всегда было болью ставить на лин

слава богу, у меня всю жизнь nvidia

вроде прочитать на сообщение ниже не должно быть особо сложно

Читал

неа

блять что я написал

а всё верно

пиздец, почему я не родился менеджером? Столько слов бы не пришлось учить, было бы легче.

@tapok_satan зачем тебе вообще дрова проприетарные?

Кажется, или минфину уже все равно, что облагать налогами?

Как раз днем про налоги говорили)

Кажется, или минфину уже все равно, что облагать налогами?

ЗАЧЕМ МАЙНИТЬ БИТКОИНЫ - ЕСЛИ ИХ МОЖНО ОБЛОЖИТЬ НАЛОГОМ

сова ебёт за стикеры посоны

https://github.com/telegram-ru/rules/blob/master/code-of-conduct.md

ну это уже тирания какая то