В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

373 membersпожаловаться на группу
2020 June 25

D

Dima in rust_offtopic
Gymmasssorla
чорт, ADTs скотчем привязаны к ещё функторам, монадам, аппликативам. а я думал что хуйню тип-суммы и готово
как функоры привязанны к adt? функторы это всего лишь отображения между категориями которые сохраняют определенные свойства
источник
23:57пожаловаться#1

V

Vyacheslav in rust_offtopic
Nowa Iwiczna- dom wolnostojący -
https://www.otodom.pl/oferta/nowa-iwiczna-dom-wolnostojacy-ID46t8z.html
www.otodom.pl
5 pokoje, dom na wynajem - Nowa Iwiczna, piaseczyński, mazowieckie - 60647319 • www.otodom.pl
Odkryj ten 5 pokojowy dom na wynajem w miejscowości Nowa Iwiczna, piaseczyński, mazowieckie, za cenę 3 800 zł/miesiąc. Ten dom na wynajem, położony na działce o powierzchni 1 200 m² ma 160 m² powierzchni użytkowej i 160 m² powierzchni całkowitej. Biuro nieruchomości A.K.S. Biuro Nieruchomości jako najważniejsze zalety mieszkania wymienia: umeblowanie, garaż, telewizja kablowa. Otodom 60647319
источник
23:57пожаловаться#2

G

Gymmasssorla in rust_offtopic
Dima
как функоры привязанны к adt? функторы это всего лишь отображения между категориями которые сохраняют определенные свойства
как думаешь в хаскелле сделан мап для maybe?
источник
23:57пожаловаться#3

G

Gymmasssorla in rust_offtopic
ответ очевиден
источник
23:57пожаловаться#4

D

Dima in rust_offtopic
хаскелл и теория категорий вещи не совместимые
источник
23:58пожаловаться#5

G

Gymmasssorla in rust_offtopic
ладно, попробую наворотить
источник
23:58пожаловаться#6

t

toriningen in rust_offtopic
так если тебе мап для maybe нужен, то тебе уже нужны функторы.
источник
23:58пожаловаться#7

t

toriningen in rust_offtopic
Dima
хаскелл и теория категорий вещи не совместимые
почему? 🙂
источник
23:58пожаловаться#8

G

Gymmasssorla in rust_offtopic
лол вот это откровения пошли в чат
источник
23:58пожаловаться#9

G

Gymmasssorla in rust_offtopic
toriningen
так если тебе мап для maybe нужен, то тебе уже нужны функторы.
+
источник
23:58пожаловаться#10

r

red75prime in rust_offtopic
Gymmasssorla
а вот каррирование это конечно вопрос жирный
А там ещё  funarg problems подтянутся. И GC
источник
23:58пожаловаться#11

D

Dima in rust_offtopic
toriningen
почему? 🙂
http://math.andrej.com/2016/08/06/hask-is-not-a-category/
https://wiki.haskell.org/Hask
источник
23:59пожаловаться#12

G

Gymmasssorla in rust_offtopic
red75prime
А там ещё  funarg problems подтянутся. И GC
funarg upwards problem решается копированием
источник
23:59пожаловаться#13

G

Gymmasssorla in rust_offtopic
копированием среды
источник
23:59пожаловаться#14

t

toriningen in rust_offtopic
Gymmasssorla
+
не, я в том плане, что если ты такое возжелал, ты перешагнул через то, что из себя представляют АДТ. суммы у тебя есть, произведения, наверное, уже сделал из коробки
источник
23:59пожаловаться#15

G

Gymmasssorla in rust_offtopic
toriningen
не, я в том плане, что если ты такое возжелал, ты перешагнул через то, что из себя представляют АДТ. суммы у тебя есть, произведения, наверное, уже сделал из коробки
да, но я решил ещё базовых ADT навернуть: Maybe, Either. и пошло дело
источник
23:59пожаловаться#16
2020 June 26

G

Gymmasssorla in rust_offtopic
чтобы с ними удобно работать а не писать матч каждый раз нужны вспомогательные функции
источник
00:00пожаловаться#17

t

toriningen in rust_offtopic
ну чистых ADT ты навернуть, конечно же, сможешь - там-то магии нет никакой
источник
00:00пожаловаться#18

t

toriningen in rust_offtopic
а вот когда ты хочешь из ADT Maybe сделать монаду Maybe, то да
источник
00:00пожаловаться#19

G

Gymmasssorla in rust_offtopic
toriningen
ну чистых ADT ты навернуть, конечно же, сможешь - там-то магии нет никакой
ну это я уже сделал и оно работает уже
источник
00:00пожаловаться#20