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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1583 membersпожаловаться на группу
2021 June 10

[

[BRM]White Rabbit in Haskell
ещё вроде как можно плюсовые вставки делать
источник
16:10пожаловаться#1

D

Dreamerinnoise in Haskell
https://github.com/Gabriel439/post-rfc/blob/master/sotu.md#machine-learning
GitHub
Gabriel439/post-rfc
Blog post previews in need of peer review. Contribute to Gabriel439/post-rfc development by creating an account on GitHub.
источник
16:13пожаловаться#2

JS

Jerzy Syrowiecki in Haskell
все синтаксически свободные переменные считаются семантически связанными невидимым квантором
источник
16:39пожаловаться#3

JS

Jerzy Syrowiecki in Haskell
в выражении a -> forall b. b переменная a синтаксически свободная, но на неё сразу навешивается квантор, а на b не навешивается, потому что она уже связана
источник
16:40пожаловаться#4

к

кана in Haskell
контрпример раз

class X a where
 x :: a

контрпример два

instance X (Maybe a) where
 x :: Maybe a
 x = Nothing
источник
16:41пожаловаться#5

к

кана in Haskell
ну и самый простой контрпример

f :: forall a. a -> a

тут a уже не свободна, но forall для нее не генирируется

ну Jerzy уже написал
источник
16:43пожаловаться#6

DK

Dmitry Kovriga in Haskell
через недельку скажу. бумага неплохая, но бывает и лучше, обложка мягкая
источник
16:47пожаловаться#7

ЖК

Жук Короед in Haskell
> синтаксически свободная
Первый раз такое слышу. Надо будет подучить матчасть.
источник
16:52пожаловаться#8

ЖК

Жук Короед in Haskell
А, подумал, что отсутствие explicit forall подразумевается, виноват 😅
источник
16:53пожаловаться#9

Q

Qwerty in Haskell
Лямбда счисление
источник
16:53пожаловаться#10

ЖК

Жук Короед in Haskell
Там только про свободные и связанные говорится, вроде как.
Упоминания в лямбда исчислении "синтаксически свободных" не припомню 👀
источник
16:54пожаловаться#11

Q

Qwerty in Haskell
Непосредственно в языке появляется синтаксис, наверное поэтому синтаксически )
источник
16:55пожаловаться#12

JS

Jerzy Syrowiecki in Haskell
считайте, просто свободные
источник
16:56пожаловаться#13

Q

Qwerty in Haskell
Но я сам вчера ФП впервые увидел, поэтому это не точно
источник
16:56пожаловаться#14

v

vacuité. in Haskell
это что за дос?
источник
17:12пожаловаться#15

JS

Jerzy Syrowiecki in Haskell
в досе обратные слэши
источник
17:13пожаловаться#16

v

vacuité. in Haskell
оболочка красивая.
источник
17:13пожаловаться#17

GP

Grigory Petrov in Haskell
А есть такая функция, что f g [x,y,z] = g x <|> g y <|> g z?
источник
17:20пожаловаться#18

MK

Maxim Koltsov in Haskell
asum и map
источник
17:20пожаловаться#19

GP

Grigory Petrov in Haskell
спасибо
источник
17:21пожаловаться#20