Size: a a a

2020 June 25

p

polunin.ai in rust_offtopic
Gymmasssorla
конструкции из тк появились например не из объектов реального мира, а из наблюдения за математикой как таковой
практически вся математика на этом выстроена. просто со временем количество отдаленности от фактов реальньго мира стала настолько ощутимой, что перестала чувствоваться связь. Это как когда ты программируешь на каком-то языке, ты думаешь как там взаимодействуют электронные элементы в микросхемах? нет, но тем не менее они двигаются там, хоть ты и не задумываешься о них.
источник

D

Dima in rust_offtopic
toriningen
пара неучей переспаривает образованное большинство, используя высосанные из ничего аргументы, и вполне преуспевает в том, чтобы давить несуществующим авторитетом
простите это вы мне?
источник

p

polunin.ai in rust_offtopic
toriningen
а то что? снова маму позовешь?
если тебе неприятно находиться в обществе, я подсказываю тебе самый лучший способ избавится от дискомфорта.
источник

t

toriningen in rust_offtopic
polunin.ai
если тебе неприятно находиться в обществе, я подсказываю тебе самый лучший способ избавится от дискомфорта.
нет, мне приятно наблюдать за публичным унижением необразованных представителей конфы. к сожалению, их уровень интеллекта недостаточен для того, чтобы осознать факт своего унижения, это немного смазывает удовольствие
источник

t

toriningen in rust_offtopic
не отвлекайтесь, я ж аккуратненько рядом сижу, наблюдаю за людьми всяко-то поумнее себя
источник

p

polunin.ai in rust_offtopic
раз не хватает интеллекта для споров, то наблюдение - самое отличный способ его набраться, молодец.
источник

t

toriningen in rust_offtopic
ты давай-давай, разрешения тему менять не было
источник

G

Gymmasssorla in rust_offtopic
Gymmasssorla
чорт, ADTs скотчем привязаны к ещё функторам, монадам, аппликативам. а я думал что хуйню тип-суммы и готово
в итоге прихожу к мнению что адт только в фп работает нормально
источник

t

toriningen in rust_offtopic
Gymmasssorla
в итоге прихожу к мнению что адт только в фп работает нормально
привяжи функторы, аппликативы и монады. с той основой, что ты уже наворотил в пойке, это не должно быть проблемой
источник

G

Gymmasssorla in rust_offtopic
в итоге если я хочу сделать poica нормально то мне нужно делать хаскелль на си что абсолютно безумно и неблагодарно
источник

t

toriningen in rust_offtopic
все равно они понадобятся, иначе толку от чистых алгебраических типов?
источник

G

Gymmasssorla in rust_offtopic
toriningen
привяжи функторы, аппликативы и монады. с той основой, что ты уже наворотил в пойке, это не должно быть проблемой
станет проблемой, потому что замыкания Си не поддерживает вообще никак
источник

G

Gymmasssorla in rust_offtopic
что уж говорить про каррирование
источник

t

toriningen in rust_offtopic
ну, можно замыкания эмулировать через явную передачу контекста - как это произошло в плюсах с их лямбдами
источник

p

polunin.ai in rust_offtopic
toriningen
ты давай-давай, разрешения тему менять не было
в твои полномочия не входит разрешать темы.
источник

G

Gymmasssorla in rust_offtopic
toriningen
ну, можно замыкания эмулировать через явную передачу контекста - как это произошло в плюсах с их лямбдами
ну можно, в принципе, да
источник

t

toriningen in rust_offtopic
polunin.ai
в твои полномочия не входит разрешать темы.
в твои полномочия не входит знать список моих полномочий
источник

G

Gymmasssorla in rust_offtopic
а вот каррирование это конечно вопрос жирный
источник

t

toriningen in rust_offtopic
Gymmasssorla
ну можно, в принципе, да
тем более, что ты все равно обмазался макросами
источник

t

toriningen in rust_offtopic
с каррированием надо подумать. через эмуляцию замыканий ужасно будет
источник