DF
Вообще то мозг это и есть жир
Size: a a a
2020 March 02
DF
Кек
p
Чёт не вкуриваю все равно этот аппликативный функтор, нормального объяснения нет. Дали пример, но объяснения не было. Заебумба.
DF
В заключении есть примеры
Т8
Нет. Отдельный термин: parametricity.
Читай статью Theorems for free!
Читай статью Theorems for free!
Для кодинга на си++ мне это как-то поможет?
λ
Т-34 85
То есть, проще
Наверное поэтому так любили писать статьи про монады в скале используя хаскель
G
Скала это чисто попиздеть у кулера про монады
На остальное Котлин есть
На остальное Котлин есть
Лол
Т8
К синтаксису привыкают за час, если мозг не совсем превратился в жир
Превратился, всё
AZ
@nlinker ты бы пример на сишарп на хабре в комменте переписал, а то люди испугаюцо и закроют)
Т8
Наверное поэтому так любили писать статьи про монады в скале используя хаскель
Скала - не си-лайк. Это что-то страшное
λ
Т-34 85
Скала - не си-лайк. Это что-то страшное
Ну она куда ближе к си-лайк, чем хаскель
AZ
red75prime
Серьёзно? Не видишь разницы между ключ-значение-хэшер и монада-монада-монада (или что-то похожее)?
речь шла про "однобуквенные генерик параметры (к слову - единственный) - сложна
G
Только что пришло в голову то, что unsafe в Rust можно моделировать через эффекты
Т8
Т-34 85
Скала - не си-лайк. Это что-то страшное
Оно и котлин уже не очень c# и d - вот это оптимально
DS
Т-34 85
Для кодинга на си++ мне это как-то поможет?
Были бы в плюсах именно дженерики, а не шаблоны, то точно пригодилась бы
G
Мозг немножко поломался
NL
@nlinker ты бы пример на сишарп на хабре в комменте переписал, а то люди испугаюцо и закроют)
Такс. Оукей. Но что-то сложновато
Т8
Были бы в плюсах именно дженерики, а не шаблоны, то точно пригодилась бы
Темплейты рулят
AZ
Чёт не вкуриваю все равно этот аппликативный функтор, нормального объяснения нет. Дали пример, но объяснения не было. Заебумба.
функтор который умеет сцеплять два разных контейнера в один
G
Ну серьёзно, только нужно придумать как обернуть unsafe код в safe (то есть эффект unsafe должен быть выразим в эффекте safe)