thedeemon: (faculty of numbers)
[personal profile] thedeemon
http://math.andrej.com/2016/08/06/hask-is-not-a-category/
И в конце отличный анекдот про "let’s just pretend".

Date: 2016-08-07 08:20 am (UTC)
From: [identity profile] kodt-rsdn.livejournal.com
Ну, с гармоническим рядом цена притворства понятна. А цена притворства с категорией хаск?

undefined и seq - выколотые точки: "есть морфизмы, ведущие в пустыню ко львам и драконам, но в этой пустыне нам делать нечего".
Или это лишь самые простые примеры, а на самом деле львы и драконы повсюду? Или undefined - краеугольный камень, вынь его, хаскелл развалится?

Date: 2016-08-08 08:46 am (UTC)
From: [identity profile] thedeemon.livejournal.com
На практике всякие Кметты ваяют свои библиотеки препроморфизмов профункторов линз и моноклей, и народ ими успешно пользуется, т.е. притворство вполне оправдано практикой, работает. Да, возможно, если засунуть туда что-то странное, там что-то разваливается, ну "а вы так не делайте". Тут как с физикой - она в целом-то неплохо работает, хотя там немало мест, где математики могут придраться похлеще, чем категорщик к хаскелистам.

Date: 2016-08-07 09:55 am (UTC)
From: [identity profile] sassa-nf.livejournal.com
ну че, каждый же физик знает, что 1+2+3+...=-1/12, так что, может, и 1+1/2+1/3+... тоже чему-то хорошему равно
Edited Date: 2016-08-07 09:56 am (UTC)

Date: 2016-08-07 03:24 pm (UTC)
From: [identity profile] sassa-nf.livejournal.com
Riemann approves of your answer. Just we don't know what permutation of terms gives -12 :)

Date: 2016-08-07 05:31 pm (UTC)
From: [identity profile] max630.livejournal.com
Я, признаться, до этого был не в курсе что такое Hask, и до сих пор не понимаю зачем ему быть правильной категорией.

Date: 2016-08-07 07:03 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Да блин, в результате я на велике не поехал.

Date: 2016-08-08 06:54 am (UTC)
From: [identity profile] migmit.livejournal.com
ro-che неплохо ответил, ну и я добавил.

Date: 2016-08-08 07:43 am (UTC)
From: [identity profile] maxim.livejournal.com
На дваче ответили не хуже:

Date: 2016-08-08 07:50 am (UTC)
From: [identity profile] migmit.livejournal.com
Если я правильно понимаю, то на дваче не могут хорошо ответить по определению.

Date: 2016-08-08 07:53 am (UTC)
From: [identity profile] maxim.livejournal.com
ну да, Хаскелисты ведь самые умные, куда челяди с дваче до них

Date: 2016-08-08 07:54 am (UTC)
From: [identity profile] migmit.livejournal.com
Не уверен насчёт "самые", но и так хорошо.

Date: 2016-08-08 07:57 am (UTC)
From: [identity profile] maxim.livejournal.com
Не очень хорошо, бесплатных теорем в метатеории у вас нет, ее вообще у вас нет!
Чтобы доказать корректность ваших программ нужно переходить в другие категории.
Зато на конференция про ТК вы пиздели всем что ТК и ССС у вас внутри лет десять, пока Кокванд и компании не поставили вас на место.
Теперь и Андрей Байер вас вкатил в говно.
Ну и мы занимаемся тем, чтобы опутить Хаскель под землю, туда где ему и место.
А вы кукарекайте дальше.
Edited Date: 2016-08-08 07:59 am (UTC)

Date: 2016-08-08 08:02 am (UTC)
From: [identity profile] migmit.livejournal.com
> Чтобы доказать корректность ваших программ нужно переходить в другие категории.

Ну и? Религия запрещает?

> Зато на конференция про ТК вы пиздели всем что ТК и ССС у вас внутри лет десять, пока Кокванд и компании не поставили вас на место.

Я, так уж получилось, ни на одной конференции по ТК не был.

> Теперь и Андрей Байер вас вкатил в говно.

По-моему, он больше продемонстрировал, что нифига не понимает.

Date: 2016-08-08 08:05 am (UTC)
From: [identity profile] maxim.livejournal.com
> По-моему, он больше продемонстрировал, что нифига не понимает.

Я буду это цитировать.

Date: 2016-08-08 08:10 am (UTC)
From: [identity profile] migmit.livejournal.com
Да ради бога.

Date: 2016-08-08 08:16 am (UTC)
From: [identity profile] maxim.livejournal.com
Ради дьявола!

Date: 2016-08-08 07:57 am (UTC)
From: [identity profile] thedeemon.livejournal.com
У меня тот же вопрос, что у него возник.
Ваш пост выглядит как "пусть Хаск не категория, но это ничего, мы постулируем/упомянем, что есть настоящая более лучшая категория, а Хаск будем в нее эмбедить, как если б это была категория".

Date: 2016-08-08 08:00 am (UTC)
From: [identity profile] migmit.livejournal.com
Да нет, это категория (ну, можно определить), только очень плохая и нафиг не нужная.

Date: 2016-08-08 08:04 am (UTC)
From: [identity profile] maxim.livejournal.com
А равенство хаскельное покажешь?
В этой категории или в другой CPO, Hask, whatever.
Чтобы определить категорию, надо равенство на морфизмах.
Покажи его. Желательно ссылку на гитхаб Хаскеля.
Без кукареканий своих бессмысленных.
Edited Date: 2016-08-08 08:09 am (UTC)

Date: 2016-08-08 08:10 am (UTC)
From: [identity profile] migmit.livejournal.com
Уточните вопрос, пожалуйста. В каком случае предполагаются равными две функции, записанных в хаскельном синтаксисе?

Ну, например если их образы в категории доменов (или каком-то её уточнении, более подходящем) равны.

Это так, первое, что в голову пришло.

Date: 2016-08-08 08:15 am (UTC)
From: [identity profile] maxim.livejournal.com
Тут два вопроса:
1) где в хаскеле имлементация равенства (ссылку на гитхаб пожалуйся). Даже дауны в Java мире могут показать getHashCode и equals. Хочу чтобы хаскелист мне покахал, где оно в Хаскеле.
2) если Hask — это категория, то напиши мне ее определиение, а потом покажи что код на Haskell ей сооствествует. Знаешь что такое определение Категории? Хотя я уже не уверен.

Date: 2016-08-08 09:02 am (UTC)
From: [identity profile] migmit.livejournal.com
1) Нигде, естественно. А откуда такое требование?
2) Это много работы с нулевым выхлопом. Не говоря уже о том, что такая категория обязана зависеть от версии компилятора и даже от используемых extensions. Так что я могу за неё взяться, конечно, но только за деньги.

Date: 2016-08-08 09:18 am (UTC)
From: [identity profile] maxim.livejournal.com
После этого треда ты вообще работу никогда не получишь.

Date: 2016-08-08 09:23 am (UTC)
From: [identity profile] migmit.livejournal.com
Смешно.

Profile

thedeemon: (Default)
Dmitry Popov

May 2017

S M T W T F S
 1234 56
789 10 11 1213
14151617181920
21222324252627
28293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 23rd, 2017 02:53 pm
Powered by Dreamwidth Studios