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

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1621 membersпожаловаться на группу

2021 February 05

DB

Danil Braun in Haskell

Jerzy Syrowiecki

вот я бы выбор условием не назвал. условие — это выбор, но не наоборот.

вы можете связаться с автором и узнать, что он имел в виду? может, можно опереться на какие-то оттенки смысла? или на ту идею, что автор хотел донести?

Да, уже так делал, и он даже отвечал, но последний раз я ему писал в начале января, и он до сих пор молчит.

источник

10:46пожаловаться #1

DB

Danil Braun in Haskell

Речь об этом если что https://papl.cs.brown.edu/2020/intro-struct-data.html

источник

10:47пожаловаться #2

DB

Danil Braun in Haskell

Jerzy Syrowiecki

вот я бы выбор условием не назвал. условие — это выбор, но не наоборот.

вы можете связаться с автором и узнать, что он имел в виду? может, можно опереться на какие-то оттенки смысла? или на ту идею, что автор хотел донести?

Ну да, пожалуй, мы понимаем «условие» не всегда (никогда?) как «condition».

источник

10:48пожаловаться #3

DB

Danil Braun in Haskell

Слово «условное» уже используется для if-выражения, но там тоже «conditional» используется. Можно ещё взять слово «состояние», но там дальше речь про state, mutability и т. д., занимать это слово не хочется, чтобы не было путаницы на всякий случай.

источник

10:50пожаловаться #4

DB

Danil Braun in Haskell

Jerzy Syrowiecki

вот я бы выбор условием не назвал. условие — это выбор, но не наоборот.

вы можете связаться с автором и узнать, что он имел в виду? может, можно опереться на какие-то оттенки смысла? или на ту идею, что автор хотел донести?

Я ещё его спрашивал про главу под названием «Structural Problems with Sub-Domains», так вот оказалось, что под Sub-Domains понимаются ограничения областей функций, там был пример функции поиска максимального числа в списке, и было сказано, что на пустом списке она не определена.

источник

10:52пожаловаться #5

JS

Jerzy Syrowiecki in Haskell

Речь об этом если что https://papl.cs.brown.edu/2020/intro-struct-data.html

примерно понятно, что автор хочет.

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

источник

10:52пожаловаться #6

DB

Danil Braun in Haskell

Я ещё его спрашивал про главу под названием «Structural Problems with Sub-Domains», так вот оказалось, что под Sub-Domains понимаются ограничения областей функций, там был пример функции поиска максимального числа в списке, и было сказано, что на пустом списке она не определена.

И он согласился, что это возможно очень плохое название, но ничего лучше он не придумал

источник

10:53пожаловаться #7

JS

Jerzy Syrowiecki in Haskell

если по-нашему, по-хаскельному, из Either a b можно извлечь b только при условии Right

источник

10:53пожаловаться #8

[

[BRM]White Rabbit in Haskell

⁠

воспользуйтесь поиском по чату – посмотрите сколько раз употребляется слово "хачкель" и кто его в основном использует.

А это что, не тупая опечатка с телефона, а игра слов такая?

источник

10:54пожаловаться #9

JS

Jerzy Syrowiecki in Haskell

[BRM]White Rabbit

А это что, не тупая опечатка с телефона, а игра слов такая?

это умышленное оскобление

источник

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

MK

Maxim Koltsov in Haskell

Юра, успокойся

источник

10:55пожаловаться #11

MK

Maxim Koltsov in Haskell

Нет никаких оскорблений

источник

10:55пожаловаться #12

JS

Jerzy Syrowiecki in Haskell

есть люди, которые воспринимают это как оскорбление (и это не я)

источник

10:56пожаловаться #13

[

[BRM]White Rabbit in Haskell

С и Ч рядом же расположены. Знал я одного, который "быстро пишет одной рукой", у того пол слова обычно было соседними буквами написано...

источник

10:57пожаловаться #14

JS

Jerzy Syrowiecki in Haskell

Юра, успокойся

я же никого не забанил. просто проинформировал

источник

10:59пожаловаться #15

⁠

⁠ in Haskell

Jerzy Syrowiecki

есть люди, которые воспринимают это как оскорбление (и это не я)

как личное оскорбление или как оскорбление хачкеля?

источник

11:03пожаловаться #16

D

Dreamerinnoise in Haskell

оскорбление чувств

источник

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

AA

A64m AL256m qn<co... in Haskell

Aleksei (astynax) Pirogov

Когда уже GHC2021 вкатят? В 2022?
(я всё пропустил, скорее всего, можете ссылкой ткнуть)

собираются в 9.2, который в мае планируют релизить, так что могут даже и в 2021 успеть, но не обязательно

источник

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

AA

A64m AL256m qn<co... in Haskell

Здравствуйте, а в линейном хачкеле 0й мультиплисити пока не планируют?

в завхаскеле планируют

источник

11:38пожаловаться #19

VD

Velvet Darkness in Haskell

Если меня сейчас спросонья моск не тупит, то вот тут немножко про 0 multiplicity и даже "планируют" там достаточно громкое слово
https://youtu.be/zglkdlK2zR8

@rae: Connecting linearity and relevance in Dependent Haskell

I present the main result of a recent POPL paper, in how we can use Haskell's linearity mechanism to denote relevance and type erasure in Dependent Haskell.

Paper: https://dl.acm.org/doi/pdf/10.1145/3434331
Official paper talks should be available through https://popl21.sigplan.org/

Find me at https://richarde.dev/ or on Twitter at @RaeHaskell

источник

11:40пожаловаться #20