Size: a a a

2021 January 12

OB

Oleg B in dlang.ru
из sumtype нельзя получить тип того что там лежит
источник

DP

Dmitry Popov in dlang.ru
В каком виде получить?
источник

OB

Oleg B in dlang.ru
Dmitry Popov
В каком виде получить?
в виде переменной
источник

OB

Oleg B in dlang.ru
мне нужен был доступ к тэгу, использовать sumtype в этой ситуации мне показалось неудобно (нужно самому делать отдельный enum, писать функцию, вызывающую match и возвращающую элемент этого enum'а, короч лажа)
источник

OB

Oleg B in dlang.ru
taggedalgebraic не умеет в CT
источник

OB

Oleg B in dlang.ru
а mir.algebraic умеет
источник

DP

Dmitry Popov in dlang.ru
Oleg B
taggedalgebraic не умеет в CT
По-моему мы его в СТ использовали.
источник

DP

Dmitry Popov in dlang.ru
Но могу и ошибаться
источник

OB

Oleg B in dlang.ru
Dmitry Popov
По-моему мы его в СТ использовали.
буквально пару недель назад пробовал последние версии, там всё упёрлось в то, что используется emplace, а уже он С-шный memcpy (хотя больше пары недель, вру)
источник

OB

Oleg B in dlang.ru
Oleg B
буквально пару недель назад пробовал последние версии, там всё упёрлось в то, что используется emplace, а уже он С-шный memcpy (хотя больше пары недель, вру)
в оф репозитарии ничего не менялось в source (3 месяца как, а пробовал я 27 дней назад), так что не думаю что оно заработало
источник

OB

Oleg B in dlang.ru
Dmitry Popov
У меня давно зреет идея языка, который бы совместил лучшее из ФП (типа хаскеля) и D (статическая интроспекция прежде всего). Но ещё не дозрела.
около трети книги прочитал по хаскелю (до моноидов дочитал), но так и не понял кайфа. впечатление, что была некоторая концепция (чистый функциональный язык), а потом его решили использовать для реальных задач и началось натягивание совы... а что до этого момента рассказывалось всё так же легко (иногда кажется что легче) решается на обычном языке
источник

OB

Oleg B in dlang.ru
но зато от налёта элитарности с этими всякими "ограничениями мономорфизма на константно аппликативные формы" как-то неприятно становится, будто открыл учебник по математике, который был написан одним математиком для того, чтобы его прочитали другие математики и сказали "ну молодец, могёшь", а если ты не в теме, то идёшь нахуй
источник

OB

Oleg B in dlang.ru
сложность ради сложности короч
источник

N

NC in dlang.ru
> ограничениями мономорфизма на константно аппликативные формы

Это скорее технический термин, который внутри компилятора применяется, чем действительно математика.
источник

OB

Oleg B in dlang.ru
NC
> ограничениями мономорфизма на константно аппликативные формы

Это скорее технический термин, который внутри компилятора применяется, чем действительно математика.
я о подходе
источник

OB

Oleg B in dlang.ru
программирование это в целом про управление сложностью, т.е. большую программу не написать на асме (либо долго, либо ошибок много, не рентабельно в общем)
источник

OB

Oleg B in dlang.ru
а тут сложность наступает сразу, там где в обычных (императивных) языках всё просто
источник

OB

Oleg B in dlang.ru
и, что самое смешное, всё равно приходится нарушать концепцию чистого функционального языка, ибо с реальным миром не поработать иначе
источник

N

NC in dlang.ru
Хм, в императивных языках сложность спрятана и неявная, она никуда не делась от того, что мы пишем int doAtomic(int) а не doAtomic :: Int -> STM Int
источник

N

NC in dlang.ru
В хаскелле тебе дают инструмент накладывать ограничения на вид действий, что функции могут делать.
источник