19 августа 2026
Ivanкак оно должно работать, если есть два поля с одинаковым типом?
вероятно, под "type-based" имелось ввиду "основанное на типе структуры", а не "основанное на типе поля"
hirrolotвероятно, под "type-based" имелось ввиду "основанное на типе структуры", а не "основанное на типе поля"
а, точно, нельзя иметь user в разных записях
Dima | No AI clubтекст ещё не в индексе
А как пользователь языка может эту проблему решить? В хаскельных типах же ограничения не аллокации или требования по перфу не выразишь
Prokhor ShlyakhtunТолько теперь решение красивое и расширяемое изнутри, а не костыли в компиляторе
А ежели у меня апдейт тип меняет?
Leonid 🦇 OnokhovА ежели у меня апдейт тип меняет?
А для этого случая красивое решение уже давно Эдвард Кметт написал))
Prokhor ShlyakhtunА как пользователь языка может эту проблему решить? В хаскельных типах же ограничения не аллокации или требования по перфу не выразишь
Ну как на "системных" языках ее решают? Явное управление аренами и явные аллокации. В целом на Хаскеле можно явно работать с памятью и что-то даже формализовать, но это будь добр писать свою стдлибу и экосистему, а по-хорошему форкать компилятор и все ломать. Глобально это спокойно выражается в парадигме чистого лямбда исчисления, но Хаскель исторически пошел другой дорогой
20 августа 2026
Dima | No AI clubНу как на "системных" языках ее решают? Явное управление аренами и явные аллокации. В целом на Хаскеле можно явно работать с памятью и что-то даже формализовать, но это будь добр писать свою стдлибу и экосистему, а по-хорошему форкать компилятор и все ломать. Глобально это спокойно выражается в пара
Фп и ручное управление памятью вещи несовместимые
Dima | No AI clubНу как на "системных" языках ее решают? Явное управление аренами и явные аллокации. В целом на Хаскеле можно явно работать с памятью и что-то даже формализовать, но это будь добр писать свою стдлибу и экосистему, а по-хорошему форкать компилятор и все ломать. Глобально это спокойно выражается в пара
Получится zкактамего
IC RainbowА чем всем так ТН не нравится? Вроде уже порешали кроскомпиляцию, а что там ещё?
Когда порешали? Я пропустил
Leonid 🦇 OnokhovФп и ручное управление памятью вещи несовместимые
Спор терминов. Управление через регионы, насколько я понимаю, продвигается в других ML языках и вполне согласуется с тем как в системных языках подходят к архитектуре работы с памятью