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

02:05пожаловаться #1

NL

Nick Linker in rust_offtopic

Yarila

В продолжение про do-нотации. Какие ещё фундаментальные синтаксические конструкции требуются для фп кода?

И если в условном оо языке (опять же в той же java) появится синтаксис do-нотаций, с точки зрения формального доказательства можно ли будет написать фп-код со всеми его преимуществами?

(Тут вроде часто обсуждают фп, но на всякий. Вопросы чисто про ФП не нарушают правила чата?)

ФП это не рубильник вкл/выкл. Там есть много разных аспектов, и в зависимости от поддержки в языке та или иная концепция будет или может быть выражена по-разному (или вообще поддерживаться на уровне джентельменского соглашения). См
https://github.com/cblp/funlangs/blob/master/README.md

Functional languages index. Contribute to cblp/funlangs development by creating an account on GitHub.

cblp/funlangs

03:17пожаловаться #2

Y

Yarila in rust_offtopic

Nick Linker

ФП это не рубильник вкл/выкл. Там есть много разных аспектов, и в зависимости от поддержки в языке та или иная концепция будет или может быть выражена по-разному (или вообще поддерживаться на уровне джентельменского соглашения). См
https://github.com/cblp/funlangs/blob/master/README.md

Functional languages index. Contribute to cblp/funlangs development by creating an account on GitHub.

cblp/funlangs

Спасибо)

03:22пожаловаться #3

С

Слава in rust_offtopic

О причинах непопулярности ФП и математики

04:38пожаловаться #4

SP

Alex Zhukovsky

вот написал дед в 90х говно и все, теперь новое написать уже нельзя

04:38пожаловаться #5

B

Bogdan in rust_offtopic

Alex Zhukovsky

Мне нравится термин латентно типизированые

Можно им троллить скрипто-чуваков

04:47пожаловаться #6

SP

пирс пишет какуюто хуйню если честно

05:01пожаловаться #7

SP

Nick Linker

ФП это не рубильник вкл/выкл. Там есть много разных аспектов, и в зависимости от поддержки в языке та или иная концепция будет или может быть выражена по-разному (или вообще поддерживаться на уровне джентельменского соглашения). См
https://github.com/cblp/funlangs/blob/master/README.md

Functional languages index. Contribute to cblp/funlangs development by creating an account on GitHub.

cblp/funlangs

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

05:33пожаловаться #8

SP

пирс очень тупо как то определяет вот есть программа, проверяются свойства и тд

05:34пожаловаться #9

SP

статика это просто когда с кодом работаешь как с обьектом. он там пишет phrases

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

SP

т.е. когда у кода есть явный граф с которым просто можно работать

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

SP

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

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

DP

Dmitry Ponyatov in rust_offtopic

Bogdan

Мне нравится термин латентно типизированые

Можно им троллить скрипто-чуваков

и хаскелистов

05:45пожаловаться #13

A

А я все ещё слежу за latest commits в репе https://github.com/fafhrd91/actix-web

Actix web is a small, pragmatic, and extremely fast rust web framework. - fafhrd91/actix-web

fafhrd91/actix-web

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

К

Константин in rust_offtopic

Anton 📦 ᯌ

А я все ещё слежу за latest commits в репе https://github.com/fafhrd91/actix-web

Actix web is a small, pragmatic, and extremely fast rust web framework. - fafhrd91/actix-web

fafhrd91/actix-web

А у кого есть не самый старый форк актикса?

09:17пожаловаться #15

A

Константин

А у кого есть не самый старый форк актикса?

Вот он и есть

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

К

Константин in rust_offtopic

Anton 📦 ᯌ

Вот он и есть

Точно. Он же обещал его спрятать

09:21пожаловаться #17

A

Константин

Точно. Он же обещал его спрятать

Спрятать?

09:21пожаловаться #18

К

Константин in rust_offtopic

Anton 📦 ᯌ

Спрятать?

Нет. Ошибся. Всё в порядке

09:24пожаловаться #19

A

Минэкономики предложило создать аналог GitHub за 2,1 миллиарда рублей

Где сбербанк — там плагиат. Ждём аналог Pornhub, на нём гораздо больше можно будет попилить