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

parrot.ru

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

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

2020 July 21

SB

A64m AL256m qn I0

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

Не знаю, не могу сказать, что я за свою жизнь столько диссертаций по математике прочёл, что прям у меня вкус к хорошему выработался.

источник

14:08пожаловаться #1

DI

Dmitry Ivanov in Haskell

> https://hackage.haskell.org/package/cabal-edit

о, прикольно

> don't use advanced Cabal features
> Common stanzas
> Conditional blocks
> Preprocessor definitions

не нужно

cabal-edit: Cabal utility

Install via `cabal install cabal-edit`.

источник

14:08пожаловаться #2

к

кана in Haskell

Вот например, я читал не так давно: http://amosr.amospheric.com/papers/robinson2016icicle.pdf
Этот диссер действительно, в принципе, туториал.

да, для диссера страниц маловато

источник

14:08пожаловаться #3

SB

Мне по-прежнему сложно даются такие тексты и на них уходит немало сил.

источник

14:09пожаловаться #4

AA

A64m AL256m qn<co... in Haskell

Dmitry Ivanov

> https://hackage.haskell.org/package/cabal-edit

о, прикольно

> don't use advanced Cabal features
> Common stanzas
> Conditional blocks
> Preprocessor definitions

не нужно

cabal-edit: Cabal utility

Install via `cabal install cabal-edit`.

хорошо, что появляется новый тулинг, не позволяющий нормально кабал использовать, а то раньше чет мало его было

источник

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

AR

Alexey Raga in Haskell

да, для диссера страниц маловато

Вот оно: https://unsworks.unsw.edu.au/fapi/datastream/unsworks:56827/SOURCE02?view=true

источник

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

AA

A64m AL256m qn<co... in Haskell

Мне по-прежнему сложно даются такие тексты и на них уходит немало сил.

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

источник

14:11пожаловаться #7

SB

A64m AL256m qn I0

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

через мои руки прошло около десятка хаскельпейперов, где Хаскель был не более, чем удобный язык для выражения некоторых фундаментальных идей и принципов. они ощутимо отличаются от того, что ты выше кинул в первую очередь тем, что все равно требуют погружения в суть и в итоге все равно вынуждают работать непосредственно с математическим языком.

источник

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

DG

Denis Gabidullin in Haskell

A64m AL256m qn I0

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

Ну, вроде, есть как минимум два простых объяснения вашего с @fiftytwoheartz спора:
1. Вы пишите про разные "пейперы"
2. Твой уровень мат. подготовки выше, поэтому то, что ты считаешь простым, для других таковым не является

источник

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

SB

я такие пейперы называю "пейперами"

источник

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

SB

а то, что ты выше написал - для меня это просто блогпосты, да.

источник

14:15пожаловаться #11

SB

и я по-прежнему считаю, что лучший способ осваивать математику - это пытаться перевести ее на Хаскель, пусть даже в режиме первого приближения.

источник

14:16пожаловаться #12

DG

Denis Gabidullin in Haskell

и я по-прежнему считаю, что лучший способ осваивать математику - это пытаться перевести ее на Хаскель, пусть даже в режиме первого приближения.

Полушутка: почему уж сразу не на Coq тогда?)

источник

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

SB

Denis Gabidullin

Полушутка: почему уж сразу не на Coq тогда?)

Coq пока не щупал плотно, может и он хорош.

источник

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

AA

A64m AL256m qn<co... in Haskell

через мои руки прошло около десятка хаскельпейперов, где Хаскель был не более, чем удобный язык для выражения некоторых фундаментальных идей и принципов. они ощутимо отличаются от того, что ты выше кинул в первую очередь тем, что все равно требуют погружения в суть и в итоге все равно вынуждают работать непосредственно с математическим языком.

но когда говорят, про документацию для хаскеля в виде пейперов говорят-то не про какие-то фундаментальные идеи, а пейперы типа https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/pattern-synonyms-Haskell16.pdf

источник

14:19пожаловаться #15

AA

A64m AL256m qn<co... in Haskell

или https://www.microsoft.com/en-us/research/uploads/prod/2018/05/coercible-JFP.pdf

источник

14:19пожаловаться #16

SB

A64m AL256m qn I0

но когда говорят, про документацию для хаскеля в виде пейперов говорят-то не про какие-то фундаментальные идеи, а пейперы типа https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/pattern-synonyms-Haskell16.pdf

Теперь понял тебя.

источник

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

SB

Да, тогда согласен.

источник

14:20пожаловаться #18

AA

A64m AL256m qn<co... in Haskell

Denis Gabidullin

Ну, вроде, есть как минимум два простых объяснения вашего с @fiftytwoheartz спора:
1. Вы пишите про разные "пейперы"
2. Твой уровень мат. подготовки выше, поэтому то, что ты считаешь простым, для других таковым не является

но у меня невысокий уровень мат. подготовки

источник

14:21пожаловаться #19

AA

A64m AL256m qn<co... in Haskell

ну или там в случае доков для либ http://strictlypositive.org/IdiomLite.pdf

источник

14:26пожаловаться #20