komar 24.12.2012 10:25 thinkpad

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

1. ygrek 24.12.2012 10:27 x

вангую множество аннотаций типов на hof'ях

2. komar → ygrek /1 24.12.2012 10:27 thinkpad

Почему?

3. ygrek → komar /2 24.12.2012 10:35 x

научное объяснение тебе gds даст, но эмпирически установлено что комбинация объекты+полиморфизм+hof требует аннотаций. Посмотри код ocamlnet'а например. И помимо того что для компилябельности будут нужны, так во многих местах придётся ещё натыкать для того чтобы сообщения об ошибках стали хоть чуть более вменяемыми.

4. komar → ygrek /3 24.12.2012 10:39 thinkpad

Научное объяснение не надо.
Тогда беда, да. Теперь знаю, но все равно хрен пойму, пока не попробую.
Во всяком случае я надеюсь, что получится лучше, чем в руби- и петоноговне. Там HOF’ы и полиморфизм используются чуть менее, чем нихуя.

5. kurkuma 24.12.2012 10:40

чем оно лудше js?

6. komar → komar /4 24.12.2012 10:40 thinkpad

Я уже просто заебался писать тесты только для того, чтобы нигде ВНЕЗАПНО не выползно undefined method `huipizda' for nil:NilClass

7. komar → kurkuma /5 24.12.2012 10:40 thinkpad

Куркумежик, съеби, пожалуйста.

8. kurkuma → komar /7 24.12.2012 10:40 (:

почему?

9. komar → kurkuma /8 24.12.2012 10:41 thinkpad

Просто как друга прошу.

10. ygrek → komar /4 24.12.2012 10:41 x

попробовать конечно надо.
> Там HOF’ы и полиморфизм используются чуть менее, чем нихуя.
Да, думаю если писать в примативном стиле, то всё будет ок. Но ты же так долго не выдержишь :)

11. komar → ygrek /10 24.12.2012 10:41 thinkpad

Выдерживаю уже второй месяц.

12. komar → komar /11 24.12.2012 10:42 thinkpad

Ах да, вот еще: я думаю об этом говне применительно к вебне. Тут много ЛОГИКИ и нихуя алгоритмов.

13. kurkuma → komar /9 24.12.2012 10:42 (:

ладно, извени

14. ygrek → komar /12 24.12.2012 10:43 x

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

15. komar → ygrek /14 24.12.2012 10:44 thinkpad

У тебя мало АРХИТЕКТУРЫ было просто, поэтому дохуя копипасты. В хорошей вебне надо свято чтить DRY.

16. komar → komar /15 24.12.2012 10:45 thinkpad

Иначе и моргнуть не успеешь, как по уши в дерьме окажешься.

17. ygrek → komar /16 24.12.2012 10:45 x

так это разве не есть определение вебни o_O

18. komar → ygrek /17 24.12.2012 10:45 thinkpad

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

19. ygrek → komar /18 24.12.2012 10:47 x

не, ну ты весь фан исключил одним махом

20. ygrek → komar /18 24.12.2012 10:48 x

на самом деле я не знаю, вебом не занимался никогда

21. komar → ygrek /20 24.12.2012 10:49 thinkpad

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

22. komar → ygrek /19 24.12.2012 10:50 thinkpad

Ну дык серверный OCaml весь этот фан не задевает никаким образом. Разве что если начинать с js_of_ocaml веселиться.

23. ygrek → komar /21 24.12.2012 10:50 x

> полных мудаков, занятых в этой области,
и тут комар на белой осе

24. komar → ygrek /23 24.12.2012 10:51 thinkpad

Типа того, рли.

25. komar → ygrek /23 24.12.2012 10:51 thinkpad

Олсо, уже нет. Я че-то переделываю все на twitter-bootstrap, пристрелите меня, пока я кого-нибудь не укусил.

26. ygrek → komar /25 24.12.2012 10:53 x

не парься. зато у тебя станет больше друзей и может когда-нибудь будешь удостоен инвайта на хабр

27. komar → ygrek /26 24.12.2012 10:54 thinkpad

Угу, #tfensn

28. gds → ygrek /3 24.12.2012 14:03

вроде есть способ несложным образом проставлять аннотации на случай методов с типом " 'a . ... " (не помню деталей, но один раз выписывается тип этого метода и потом то ли тип self ограничивается, то ли inherit, то ли тип самого метода), а больше нигде оно особо не вредит.

но в случае комара навряд ли оно будет нужно, разве что для пары методов типа map/iter.

Do you really want to delete ?