Телеграмм чат группы scala_ponv страница 46526

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

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

2020 November 30

AR

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

Зачем

вот человек сделал чтоб я понял: https://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html
хочу весь этот сайт в такой форме

источник

11:08пожаловаться #1

Oℕ

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

В чем свобода?

ну типа унаследовано от алгебраических структур всяких моноидов и групп, там свободная, значит, что есть только генераторы, нет равенств навязанных.
Типа свободен от стягивающих условностей

https://ru.wikipedia.org/wiki/%D0%A1%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D0%B0%D1%8F_%D0%B3%D1%80%D1%83%D0%BF%D0%BF%D0%B0
https://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%BD%D0%B0%D0%B4_%D0%BA%D0%BE%D0%BB%D1%8C%D1%86%D0%BE%D0%BC#%D0%A1%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D0%B0%D1%8F_%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0

Свободная группа

Свобо́дная гру́ппа в теории групп — группа , для которой существует подмножество такое, что каждый элемент записывается единственным образом как произведение конечного числа элементов и их обратных. (Единственность понимается с точностью до тривиальных комбинаций наподобие .) Говорят, что (свободно) порождена и пишут: или если есть множество из элементов.

источник

11:09пожаловаться #2

w

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

ну типа унаследовано от алгебраических структур всяких моноидов и групп, там свободная, значит, что есть только генераторы, нет равенств навязанных.
Типа свободен от стягивающих условностей

https://ru.wikipedia.org/wiki/%D0%A1%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D0%B0%D1%8F_%D0%B3%D1%80%D1%83%D0%BF%D0%BF%D0%B0
https://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%BD%D0%B0%D0%B4_%D0%BA%D0%BE%D0%BB%D1%8C%D1%86%D0%BE%D0%BC#%D0%A1%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D0%B0%D1%8F_%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0

Свободная группа

Свобо́дная гру́ппа в теории групп — группа , для которой существует подмножество такое, что каждый элемент записывается единственным образом как произведение конечного числа элементов и их обратных. (Единственность понимается с точностью до тривиальных комбинаций наподобие .) Говорят, что (свободно) порождена и пишут: или если есть множество из элементов.

Мне нужно что бы я мог в notepad'e читать комфортно

источник

11:09пожаловаться #3

λ

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

ну типа унаследовано от алгебраических структур всяких моноидов и групп, там свободная, значит, что есть только генераторы, нет равенств навязанных.
Типа свободен от стягивающих условностей

https://ru.wikipedia.org/wiki/%D0%A1%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D0%B0%D1%8F_%D0%B3%D1%80%D1%83%D0%BF%D0%BF%D0%B0
https://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%BD%D0%B0%D0%B4_%D0%BA%D0%BE%D0%BB%D1%8C%D1%86%D0%BE%D0%BC#%D0%A1%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D0%B0%D1%8F_%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0

Свободная группа

Свобо́дная гру́ппа в теории групп — группа , для которой существует подмножество такое, что каждый элемент записывается единственным образом как произведение конечного числа элементов и их обратных. (Единственность понимается с точностью до тривиальных комбинаций наподобие .) Говорят, что (свободно) порождена и пишут: или если есть множество из элементов.

Так это такая же неточность перевода

источник

11:09пожаловаться #4

Oℕ

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

ну традиция такая

источник

11:09пожаловаться #5

λ

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

Понятно, что там никакой свободы нет

источник

11:10пожаловаться #6

Oℕ

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

Т.е. ты можешь взять какую-то монаду и проверить свободная она или нет. Т.е. доказать о монаде, что она свободна

источник

11:10пожаловаться #7

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

Понятно, что там никакой свободы нет

жоска…

источник

11:10пожаловаться #8

Oℕ

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

Не обязательно свободную монаду "генерировать"

источник

11:10пожаловаться #9

Oℕ

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

Понятно, что там никакой свободы нет

не понял

источник

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

λ

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

Free в смысле loose, liberal или besplatno?

источник

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

Oℕ

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

Но т.к. для некоторых структур, в т.ч. моноидов и монад есть хороший способ их сгенерировать, иногда игриво подразумевают фри как "бесплатный", хотя способов сгенерировать монаду из функтора или даже из функции над объектами много очень, но свободные из них не все

источник

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

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

smooth criminal

источник

11:12пожаловаться #13

Oℕ

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

Free в смысле loose, liberal или besplatno?

loose

источник

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

Oℕ

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

т.е. всё, что получено функтором левосопряжённым забывающему типа свободное

источник

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

Oℕ

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

поэтому у киселёва фриир - это тоже свободная монада, только не из функторов, а из тайпконструкторов

источник

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

Oℕ

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

And Rey

вот человек сделал чтоб я понял: https://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html
хочу весь этот сайт в такой форме

а киселёв при чём?

источник

11:19пожаловаться #17

Oℕ

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

киселёв не объяснятель, он придумыватель

источник

11:20пожаловаться #18

A

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

Kirill Shelopugin

Хорошо. Сам.

Еду на работу. Скоро выпью кофе и норм будет.

источник

11:20пожаловаться #19

Oℕ

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

Т.е. дело не в переводе, нужен ещё популист какой-то посередине

источник

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