0xd34df00d — [18:03:53] AM I QT?: вместо того чтобы ...

0xd34df00d 23.07.2011 14:07 Azoth_primary

[18:03:53] AM I QT?: вместо того чтобы программировать придумывают зигохристоморфические препроморфизмы и дрочат на них. зато можно понтоваться. не хочу никого обидеть, но мое мнение о хаскикоммунити таково.
[18:05:55] AM I QT?: да вы дрочите на свои типы как безногий на костыль
[18:06:14] AM I QT?: типы, типы, типы

haskell, идиоты

#ghoih

28 comments

recommend

bookmark

tree plain

1. octocat 23.07.2011 14:14 emacsF934F973

Это где такие водятся?

#ghoih/1

2. 0xd34df00d → octocat /1 23.07.2011 14:14 Azoth_primary

c_plus_plus@cjr

#ghoih/2

3. octocat → 0xd34df00d /2 23.07.2011 14:16 emacsF934F973

Ааа, логично. Чего-то подобного я и ожидал.

#ghoih/3

4. 0xd34df00d → octocat /3 23.07.2011 14:16 Azoth_primary

Плюсцы оно тоже не осилило.

#ghoih/4

5. octocat → 0xd34df00d /4 23.07.2011 14:23 emacsF934F973

Ну, с таким-то типично лоровским выговором — я не удивлен.

#ghoih/5

6. 0xd34df00d → octocat /5 23.07.2011 14:24 Azoth_primary

http://juick.com/Marisa/ ← это оно.
Когда я однажды это чудо уже кикнул, оно обиженно заныло, что Дедфуд — хуй, но пост удалило потом, эх.

#ghoih/6

7. octocat → 0xd34df00d /6 23.07.2011 14:41 emacsF934F973

Мда, прямо первое и пришло на ум — "Операция по перемене пола провалилась Я возмущено."

#ghoih/7

8. ulidtko 23.07.2011 15:44 lunatic asylum

казалось бы, какое отношение теоркат имеет к непосредственно программированию...

#ghoih/8

9. jtootf → ulidtko /8 23.07.2011 17:43

к вышеуказанному термину он тоже прямого отношения не имеет

#ghoih/9

10. ulidtko → jtootf /9 23.07.2011 21:14 lunatic asylum

а откуда этот термин? из алгебры?

#ghoih/10

11. jtootf → ulidtko /10 24.07.2011 01:30 galois

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

#ghoih/11

12. ulidtko → jtootf /11 24.07.2011 01:32 lunatic asylum

тащемта, у меня этот, по-видимому, чем-то знаменитый термин ни с чем не асоциируется, кроме http://zygohistomorphic-prepromorphism.e... %)

#ghoih/12

13. 0xd34df00d → ulidtko /12 24.07.2011 01:36 Azoth_primary

Ебануться, такой термин и правда есть.

#ghoih/13

14. ulidtko → 0xd34df00d /13 24.07.2011 01:37 lunatic asylum

я подозреваю, что он даже что-то означает.

#ghoih/14

15. jtootf → 0xd34df00d /13 24.07.2011 01:37 galois

ну тут я уж даже не знаю, что и сказать. с открытием тебя!

#ghoih/15

16. 0xd34df00d → ulidtko /14 24.07.2011 01:38 Azoth_primary

Да, там что-то про историю и естественные преобразования функторов.
И мне чешет ЧСВ, что я примерно представляю, WTF естественные преобразования. Хоть это и халявные основы :3

#ghoih/16

17. 0xd34df00d → jtootf /15 24.07.2011 01:38 Azoth_primary

Лучше поздно, чем никогда :3

#ghoih/17

18. jtootf → ulidtko /14 24.07.2011 01:38 galois

http://www.haskell.org/haskellwiki/Zygoh... — тут вроде всё достаточно понятно расписано

#ghoih/18

19. ulidtko → jtootf /18 24.07.2011 01:39 lunatic asylum

> semi-mutual recursion
☹

#ghoih/19

20. ulidtko → 0xd34df00d /16 24.07.2011 01:48 lunatic asylum

я вот совсем недавно смотрел на код вида
import Data.Structure (Structure)
import qualified Data.Structure as Structure
... Structure.map ...
... Structure.empty ...

и думал о необходимости какого-то класса для абстрактных контейнеров. Теперь я знаю, что такой класс есть, и называется он Functor %)
Тоже приятно, в некоторой степени.

#ghoih/20

21. 0xd34df00d → ulidtko /20 24.07.2011 01:50 Azoth_primary

Што.

#ghoih/21

22. ulidtko → 0xd34df00d /21 24.07.2011 01:51 lunatic asylum

да ничего, я переоткрываю хаскельные абстракции =__=

#ghoih/22

23. jtootf → ulidtko /20 24.07.2011 02:04 galois

Functor — это класс для (внезапно) функторов, сиречь морфизмов категорий. к контейнерам он имеет отношение весьма опосредованное

#ghoih/23

24. jtootf → ulidtko /19 24.07.2011 02:06 galois

http://www.eyrie.org/~zednenem/2004/hsce...