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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

archlinux_ru

412 membersпожаловаться на группу
2020 July 24

JC

Julian =) Coffee in archlinux_ru
Begs.hs
Чище - нет
В Coq/Idris/Agda не чище?
Там вообще все программы терминированые
источник
22:31пожаловаться#1

q

quavo in archlinux_ru
А вы грязные что ли. .
источник
22:31пожаловаться#2

SS

Slava Sokolovsky in archlinux_ru
Begs.hs
Чище - нет
Некоторые мат. залупы на хаскеле не сделаешь
источник
22:31пожаловаться#3

q

quavo in archlinux_ru
Тут яп то не поможет
источник
22:31пожаловаться#4

q

quavo in archlinux_ru
Надо мыться просто ребята
источник
22:31пожаловаться#5

SS

Slava Sokolovsky in archlinux_ru
Julian =) Coffee
Славек путает типы и функциональное програмирование
Так ведь нет
источник
22:31пожаловаться#6

B

Begs.hs in archlinux_ru
Slava Sokolovsky
Небось даже не писал
Писал
источник
22:32пожаловаться#7

B

Begs.hs in archlinux_ru
Не очень сильно, но да
источник
22:32пожаловаться#8

JC

Julian =) Coffee in archlinux_ru
ФП это чистые функции, и в рот его ебать
источник
22:32пожаловаться#9

q

quavo in archlinux_ru
Надо с мочалкой мыться
источник
22:32пожаловаться#10

q

quavo in archlinux_ru
Тереть лучше
источник
22:32пожаловаться#11

B

Begs.hs in archlinux_ru
Julian =) Coffee
ФП это чистые функции, и в рот его ебать
Да.
источник
22:32пожаловаться#12

SS

Slava Sokolovsky in archlinux_ru
Julian =) Coffee
ФП это чистые функции, и в рот его ебать
Так типы дополняют эти функции
источник
22:33пожаловаться#13

SS

Slava Sokolovsky in archlinux_ru
Так что хаска не такая чистая
источник
22:33пожаловаться#14

JC

Julian =) Coffee in archlinux_ru
В Clojure и Elixir вообще типов нет и ничего
источник
22:33пожаловаться#15

SS

Slava Sokolovsky in archlinux_ru
Типы это множества
источник
22:33пожаловаться#16

SS

Slava Sokolovsky in archlinux_ru
И это часть математики
источник
22:33пожаловаться#17

I

Ivan in archlinux_ru
https://blog.rust-lang.org/inside-rust/2020/07/23/rust-ci-is-moving-to-github-actions.html
blog.rust-lang.org
Rust's CI is moving to GitHub Actions | Inside Rust Blog
Want to follow along with Rust development? Curious how you might get involved? Take a look!
источник
22:33пожаловаться#18

SS

Slava Sokolovsky in archlinux_ru
Так что они должны быть
источник
22:33пожаловаться#19

I

Ivan in archlinux_ru
да да, лежать так вместе
источник
22:33пожаловаться#20