и еще тайплевел лямбды

и губозакаточную машинку

анонимные рекорды бы не помешали, да

с дупликейт рекорд фиелдс и тайп ассистед нейм резолюшеном

типозакаточную

не, лучше просто полиморфные рекорды, в том числе и анонимные. TDNR неудобно

-XStretchableTypes же

ElasticTypes?

Type stretcher! Type stretcher!

есть же records куда ещё вам!

сделал бы кто удорбную библиотеку с анонимными рекордами

не, лучше просто полиморфные рекорды, в том числе и анонимные. TDNR неудобно

зато шансов получить tdnr в хаскеле значительно больше

что нужно от удобной библиотеки?

зато шансов получить tdnr в хаскеле значительно больше

так он есть, просто плохо работает

что нужно от удобной библиотеки?

в одном из соседних каналов утверждают что ORM

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

можно лучше, но не сильно, вывод типов в TDNR плохо совместим

ORM должен сгнить

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

нормального ПМ для самодельных рекордов сейчас нету

вот, да с PM все совсем плохо

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

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

для бокснутого O(1) доступ и т.п. реально

но вот если хотеть сравнивать с точностью до reordering-а

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

ну что вы такое рассказываете то. В 2018 году из радикальных сектантских диет можно только палео рекомендовать.

можно про диеты в раст канал?

ну что вы такое рассказываете то. В 2018 году из радикальных сектантских диет можно только палео рекомендовать.

кето скорее

можно про диеты в раст канал?

он первый начал!

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

на больших рекордах, правда

на больших рекордах, правда

на 10-20 полях по наблюдениям

а там и с дерайвингами и прочем проблемы будут

ну что вы такое рассказываете то. В 2018 году из радикальных сектантских диет можно только палео рекомендовать.

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

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

в последующие часы тоже не надо

+

он первый начал!

я надеялся что никто не продолжит

у меня аж ноут от удивления сел

может невкусным электричеством кормили?

на 10-20 полях по наблюдениям

а есть какой-нибудь компайл тайм бенчмарк для рекордов? Мне интересно насколько generic-lens тормозная

а есть какой-нибудь компайл тайм бенчмарк для рекордов? Мне интересно насколько generic-lens тормозная

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

vectors-hetero-fixed и рядом резолвилку имени в индекс

может невкусным электричеством кормили?

вот нету возможности кормить свой ноут только зелёной энергией

vectors-hetero-fixed и рядом резолвилку имени в индекс

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

но это все равно оверхед

прастите, не удержался

вот нету возможности кормить свой ноут только зелёной энергией

бедные, вы, немцы

не я тут могу

я специально поставщика с ядерной энергей выбрал

хотя больше меня волновала хорошая online поддержка

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

прикольно

мне более-менее понравились rawr, но там все на адовом бойлерплейте имплементировано, так что автор устал после 8 полей, так что такие точно тормозить не будут

вообще с unboxed sum есть же шансы?

если устаёшь надо как в records, TH не устает

где там массивы в виниле?

ARec?

оно не дроп-ин похоже

Да это просто новые рекорды в ту же библиотеку добавлены

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

дроп-ин было бы круто

вообще с unboxed sum есть же шансы?

не знаю, как тут их применить

меня для ORM (лол) больше интересуют рекорды которые быстро компиляются а не быстро в рантайме

на массивах superrecord был, но там тоже компиляция бабахала

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

плагины сами компиляцию тормозят, но это тоже могут поправить

интересно, а можно как-нибудь CSE сделать для тайп-фемилей

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

тайп левел мемоизация нужна

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

если только руками не городить

в общем от тайпчекера бы такого хотелось

вообще уже сто лет можно "рекорды" на имплицитах использовать, но не использует никто (там надо часто типы указывать, но все равно меньше чем для дупликейтрекордфилдс TDNR-а)

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

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

+++

вообще, конечно, комитетчики нас подвели, когда протоTRex не приняли, ну было бы два вида рекордов в языке, тоже мне проблема.

Чёт базерман так и не написал зачем он хакадж на полтора дня завалил

может все еще пишет. ну, как видео с icfp 2013 все еще готовят

к блокировке телеграмма готовился

подготовился хорошо, хекедж открывается, а стекедж нет

в какой же помойке хекедж хостится, если у ркн до нее еще руки не дошли

в ФСБ

в какой же помойке хекедж хостится, если у ркн до нее еще руки не дошли

На обычном каком-нибудь хостинге, не облачном. Процитирую сам себя (собеседник жаловался, что у его клиентов Google Docs отвалились): В облака захотели? Zero administration? Консолидация, IaaS, админа уволить? А вот хрен! Пусть поднимают все локально и нанимают админа, и платят ему за игру в Quake. Вернем всё взад!