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

parrot.ru

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

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell Start

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

2021 February 17

DB

Danil Braun in Haskell Start

Jerzy Syrowiecki

наоборот. если есть сопоставление, то зачем if?

А если его нет? Или про if-else if-else мы узнали раньше, чем про PM? Вот допустим сначала рассказываем про условное выражение, а потом, допустим, когда рассказываем про списки, говорим о том, как писать функции для списков. И вот в них используется рекурсивный вызов и pattern matching. Возникает вопрос сразу: а почему бы не написать

if lst == empty: ...
else: ... lst.first ... lst.rest ...

вместо предложенного

cases (List) lst:
  | empty => ...
  | link(first, rest) => ...
end

Примеры на Pyret написаны, но вы, думаю, понимаете, что я имею в виду.

источник

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

DB

Danil Braun in Haskell Start

В Haskell нет else if, окей, но в других языках тоже бывает PM, но при этом есть else if, и про условное выражение обычно(?) узнают раньше, чем про PM. Т. е. чем мотивируется введение PM конструкции?

источник

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

JS

Jerzy Syrowiecki in Haskell Start

А если его нет? Или про if-else if-else мы узнали раньше, чем про PM? Вот допустим сначала рассказываем про условное выражение, а потом, допустим, когда рассказываем про списки, говорим о том, как писать функции для списков. И вот в них используется рекурсивный вызов и pattern matching. Возникает вопрос сразу: а почему бы не написать

if lst == empty: ...
else: ... lst.first ... lst.rest ...

вместо предложенного

cases (List) lst:
  | empty => ...
  | link(first, rest) => ...
end

Примеры на Pyret написаны, но вы, думаю, понимаете, что я имею в виду.

если нет сопоставления, то сопоставлять просто нельзя. не с чем сравнивать

источник

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

DB

Danil Braun in Haskell Start

Ок, так а почему не обходиться условным выражением тогда? Вот в примере выше по сути почти то же самое написано в обоих случаях. Ну, в cases ещё тип проверяется у lst, чтобы он совпал с List.

источник

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

DB

Danil Braun in Haskell Start

В Haskell меня убедило бы даже то, что не нужно писать вложенные if-else, а если PM в других языках смотреть, есть какая-то общая причина (или причины)?

источник

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

JS

Jerzy Syrowiecki in Haskell Start

А если его нет? Или про if-else if-else мы узнали раньше, чем про PM? Вот допустим сначала рассказываем про условное выражение, а потом, допустим, когда рассказываем про списки, говорим о том, как писать функции для списков. И вот в них используется рекурсивный вызов и pattern matching. Возникает вопрос сразу: а почему бы не написать

if lst == empty: ...
else: ... lst.first ... lst.rest ...

вместо предложенного

cases (List) lst:
  | empty => ...
  | link(first, rest) => ...
end

Примеры на Pyret написаны, но вы, думаю, понимаете, что я имею в виду.

а почему бы не написать [if...] вместо [cases...]

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

источник

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

JS

Jerzy Syrowiecki in Haskell Start

Пайрет динамический, в нём это не видно

источник

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

A

Arjaz in Haskell Start

В Haskell нет else if, окей, но в других языках тоже бывает PM, но при этом есть else if, и про условное выражение обычно(?) узнают раньше, чем про PM. Т. е. чем мотивируется введение PM конструкции?

Но ведь в хаскелле есть else if

источник

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

DB

Danil Braun in Haskell Start

Ага, ну вот, т. е. надо говорить про статическую проверку для этого, окей, т. е. знать, что вообще эти слова значат.

источник

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

DB

Danil Braun in Haskell Start

Но ведь в хаскелле есть else if

Где?

источник

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

A

Arjaz in Haskell Start

if x == 1 then 1 else if x == 2 then 2 else 3

источник

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

JS

Jerzy Syrowiecki in Haskell Start

В Haskell нет else if, окей, но в других языках тоже бывает PM, но при этом есть else if, и про условное выражение обычно(?) узнают раньше, чем про PM. Т. е. чем мотивируется введение PM конструкции?

в теории языков PM мотивируется сумтипами, а if-then-else ничем не мотивируется, это просто сахар над PM

источник

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

DB

Danil Braun in Haskell Start

Ага, ну вот, т. е. надо говорить про статическую проверку для этого, окей, т. е. знать, что вообще эти слова значат.

Просто я видел, как они сами (Sh. Krishnamurthi и K. Fisler) это мотивируют, и там про такое ни слова, т. е. это как бы на «начинающих» рассчитано.

источник

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

A

Arjaz in Haskell Start

if x == 1 then 1 else if x == 2 then 2 else 3

Не нужно так писать никогда. Если очень хочется, есть multi-way if

источник

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

JS

Jerzy Syrowiecki in Haskell Start

Не нужно так писать никогда. Если очень хочется, есть multi-way if

да ладно, не так уж страшно

источник

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

JS

Jerzy Syrowiecki in Haskell Start

Ага, ну вот, т. е. надо говорить про статическую проверку для этого, окей, т. е. знать, что вообще эти слова значат.

дело в типах, да

источник

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

DB

Danil Braun in Haskell Start

Не нужно так писать никогда. Если очень хочется, есть multi-way if

Так здесь нет else if, здесь отдельно else и if.

источник

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

DB

Danil Braun in Haskell Start

Jerzy Syrowiecki

а почему бы не написать [if...] вместо [cases...]

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

А где можно конкретно про это почитать?

источник

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

A

Arjaz in Haskell Start

Так здесь нет else if, здесь отдельно else и if.

Тебе хочется elif?
Какая разница?

источник

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

DB

Danil Braun in Haskell Start

Тебе хочется elif?
Какая разница?

Уровень вложенности увеличивается

источник

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