Телеграмм чат группы scala

Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

468 membersпожаловаться на группу

2020 October 14

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

Эх, сча бы набрать?

источник

14:51пожаловаться #1

ᛒ

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

@dmsol https://ncatlab.org/nlab/show/profunctor

источник

14:51пожаловаться #2

ᛒ

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

у него есть

источник

14:51пожаловаться #3

𝛈µ

𝛈 µ in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

Oleg ℕizhnik

никак

Факт

источник

14:51пожаловаться #4

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

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

источник

14:52пожаловаться #5

ᛒ

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

эх

источник

14:52пожаловаться #6

𝛈µ

𝛈 µ in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

Я чё, дебил штоле будучи дураком дебилов учить?

источник

14:52пожаловаться #7

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

𝛈 µ

Я чё, дебил штоле будучи дураком дебилов учить?

Эх, сча бы учить?

источник

14:52пожаловаться #8

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

например имея профунктор из C в D можно построить объединённую категорию, включающую C и D

источник

14:52пожаловаться #9

𝛈µ

𝛈 µ in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

Oleg ℕizhnik

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

Да в разработке и монада не нужна

источник

14:52пожаловаться #10

𝛈µ

𝛈 µ in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

Общую идею интуитивно уловил и вперед

источник

14:53пожаловаться #11

𝛈µ

𝛈 µ in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

Да и вообще

источник

14:53пожаловаться #12

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

но не просто сумму

источник

14:53пожаловаться #13

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

/get учить

источник

14:53пожаловаться #14

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

There is no such get "учить"

источник

14:53пожаловаться #15

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

/set учить https://t.me/scala_ponv/1129971

𝛈 µ in ПОКА ОДЕРСКИ НЕ ВИДИТ ЦЕНЫ НА IPHONE 12 PRO MAX

Я чё, дебил штоле будучи дураком дебилов учить?

источник

14:53пожаловаться #16

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

OK!

источник

14:53пожаловаться #17

𝛈µ

𝛈 µ in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

Монада - вредная, сложная структура

источник

14:53пожаловаться #18

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

а так, что можно строить морфизмы, объединяющие те и другие

источник

14:53пожаловаться #19

𝛈µ

𝛈 µ in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

Только олежные стрелки какой-то смысл несут

источник

14:53пожаловаться #20