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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

к

кана in Haskell
Misha Puzanov
не хочет

в полном варианте это выглядит так
validatorServer :: Storage s => AppContext s -> Server API
validatorServer = …
 where
   blabla :: forall s a . (Tx s 'RO -> WorldVersion -> IO [a]) -> IO [a]
forall явно вводит новый тип, поэтому тут s у blabla - новый s

введя forall у validator и не вводя у blabla мы получаем переиспользование старого s
источник
02:36пожаловаться#1

MK

Maxim Koltsov in Haskell
@graninas ты в своих принципах ещё одну букву d не потерял?
источник
10:02пожаловаться#2

АГ

Александр Гранин... in Haskell
Maxim Koltsov
@graninas ты в своих принципах ещё одну букву d не потерял?
Я про это думал, да
источник
10:03пожаловаться#3

АГ

Александр Гранин... in Haskell
Не придумал.
источник
10:03пожаловаться#4

АГ

Александр Гранин... in Haskell
А даже если бы придумал, постить бы не стал
источник
10:03пожаловаться#5

АГ

Александр Гранин... in Haskell
(Я, кстати, до сих пор не понимаю, как работает Твиттер. То затишье неделями, то какой-нибудь простой твит собирает сотни лайков)
источник
10:09пожаловаться#6

MP

Misha Puzanov in Haskell
Apfelsinchen Ritter
{-# LANGUAGE ScopedTypeVariables #-}

...

f :: forall b s. s -> b
f = ...
  where
    g :: s -> z
    g = ...

Не в том месте просто нужно было forall ставить.
супер, спасибо
источник
10:49пожаловаться#7

ЮБ

Юрий Богомолов... in Haskell
Смотрите, какую штуку Фейсбук заопенсорсил: https://engineering.fb.com/open-source/retrie
Facebook Engineering
Retrie: Haskell refactoring made easy - Facebook Engineering
We are open-sourcing Retrie, a code refactoring tool for Haskell that enables faster, easier, and safer codemodding for developers.
источник
11:17пожаловаться#8

MK

Maxim Koltsov in Haskell
прочитал retire
источник
11:17пожаловаться#9

A

Andrey in Haskell
Юрий Богомолов
Смотрите, какую штуку Фейсбук заопенсорсил: https://engineering.fb.com/open-source/retrie
Facebook Engineering
Retrie: Haskell refactoring made easy - Facebook Engineering
We are open-sourcing Retrie, a code refactoring tool for Haskell that enables faster, easier, and safer codemodding for developers.
а есть ссылка на гитхаб? у меня Фейсбук в домашней сети заблокирован
источник
11:32пожаловаться#10

ЮБ

Юрий Богомолов... in Haskell
Да, конечно: https://github.com/facebookincubator/retrie/
GitHub
facebookincubator/retrie
Retrie is a powerful, easy-to-use codemodding tool for Haskell. - facebookincubator/retrie
источник
11:32пожаловаться#11

MK

Maxim Koltsov in Haskell
https://github.com/facebookincubator/retrie/
GitHub
facebookincubator/retrie
Retrie is a powerful, easy-to-use codemodding tool for Haskell. - facebookincubator/retrie
источник
11:32пожаловаться#12

A

Andrey in Haskell
спасибо!
источник
11:32пожаловаться#13

ЮБ

Юрий Богомолов... in Haskell
Не за что
источник
11:33пожаловаться#14

MK

Maxim Koltsov in Haskell
чёт сразу сложный пример
источник
11:33пожаловаться#15

MK

Maxim Koltsov in Haskell
а просто переименовать функцию он сможет?
источник
11:33пожаловаться#16

MK

Maxim Koltsov in Haskell
ну и интересно как реализовано
источник
11:33пожаловаться#17

к

кана in Haskell
Maxim Koltsov
а просто переименовать функцию он сможет?
как минимум можно сделать так
источник
11:34пожаловаться#18

к

кана in Haskell
newName = oldName
источник
11:34пожаловаться#19

к

кана in Haskell
fold newName
источник
11:34пожаловаться#20