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

2021 March 31

к

кана in Haskell

так, а откуда b быть в скоупе, если ты ее держишь в только в скоупе констрейнта

источник

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

к

кана in Haskell

f :: (forall a. a -> a) -> a

тут тоже a внешний это не тот a что внутри

источник

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

к

кана in Haskell

а хм, я не прав

источник

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

к

кана in Haskell

констрейнт же тоже внутри forall

источник

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

a

adam in Haskell

если это и правда достаточный пример, то скорее всего следствие неконфлюентности констрейнт чекера, попробуй

forall a b (t :: a -> b -> *) . Contextual t => Contains Fresh b ~ True

источник

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

IK

Ivan Kretov in Haskell

Товарищи, у кого был опыт работы с google cloud? Есть ли какой то пример как деплоить?

источник

17:13пожаловаться #6

ЗП

Зигохистоморфный Пре... in Haskell

вопрос, есть CST есть AST имея идею ttg или hkd можно создать одну универсальную сущность?

источник

17:13пожаловаться #7

JM

Jonn Mostovoy in Haskell

Простите за оффтоп.
Я лет 10 назад сидел в erlang@jabber.org.ru, прошла информация что чат жив и переехал в Telegram.
Если кто-то знает как его найти, please share. :)

источник

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

A

Andrey in Haskell

Jonn Mostovoy

Простите за оффтоп.
Я лет 10 назад сидел в erlang@jabber.org.ru, прошла информация что чат жив и переехал в Telegram.
Если кто-то знает как его найти, please share. :)

@erlangrus этот?

источник

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

JS

Jerzy Syrowiecki in Haskell

Jonn Mostovoy

Простите за оффтоп.
Я лет 10 назад сидел в erlang@jabber.org.ru, прошла информация что чат жив и переехал в Telegram.
Если кто-то знает как его найти, please share. :)

жабер-чат либо жив, либо переехал в Телеграм, либо это корабль Тесея

источник

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

JS

Jerzy Syrowiecki in Haskell

Зигохистоморфный Препроморфизм

вопрос, есть CST есть AST имея идею ttg или hkd можно создать одну универсальную сущность?

смотря что понимать под абстрактным и конкретным, но почти наверняка да. может, @icrbow подскажет

источник

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

к

кана in Haskell

Зигохистоморфный Препроморфизм

вопрос, есть CST есть AST имея идею ttg или hkd можно создать одну универсальную сущность?

можно конечно, но смысла в этом 0

источник

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

к

кана in Haskell

cst это про грамматику парсера, а ast это про удобные трансформации

источник

17:33пожаловаться #13

к

кана in Haskell

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

источник

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

ЗП

Зигохистоморфный Пре... in Haskell

кана

cst это про грамматику парсера, а ast это про удобные трансформации

но надо еще cst -> ast?

источник

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

к

кана in Haskell

ну надо офк