komar 24.12.2012 10:25 thinkpad

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

1. ygrek 24.12.2012 10:27 x

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

2. komarygrek /1 24.12.2012 10:27 thinkpad

Почему?

3. ygrekkomar /2 24.12.2012 10:35 x

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

4. komarygrek /3 24.12.2012 10:39 thinkpad

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

5. kurkuma 24.12.2012 10:40

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

6. komarkomar /4 24.12.2012 10:40 thinkpad

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

7. komarkurkuma /5 24.12.2012 10:40 thinkpad

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

8. kurkumakomar /7 24.12.2012 10:40 (:

почему?

9. komarkurkuma /8 24.12.2012 10:41 thinkpad

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

10. ygrekkomar /4 24.12.2012 10:41 x

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

11. komarygrek /10 24.12.2012 10:41 thinkpad

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

12. komarkomar /11 24.12.2012 10:42 thinkpad

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

13. kurkumakomar /9 24.12.2012 10:42 (:

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

14. ygrekkomar /12 24.12.2012 10:43 x

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

15. komarygrek /14 24.12.2012 10:44 thinkpad

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

16. komarkomar /15 24.12.2012 10:45 thinkpad

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

17. ygrekkomar /16 24.12.2012 10:45 x

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

18. komarygrek /17 24.12.2012 10:45 thinkpad

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

19. ygrekkomar /18 24.12.2012 10:47 x

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

20. ygrekkomar /18 24.12.2012 10:48 x

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

21. komarygrek /20 24.12.2012 10:49 thinkpad

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

22. komarygrek /19 24.12.2012 10:50 thinkpad

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

23. ygrekkomar /21 24.12.2012 10:50 x

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

24. komarygrek /23 24.12.2012 10:51 thinkpad

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

25. komarygrek /23 24.12.2012 10:51 thinkpad

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

26. ygrekkomar /25 24.12.2012 10:53 x

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

27. komarygrek /26 24.12.2012 10:54 thinkpad

Угу, #tfensn

28. gdsygrek /3 24.12.2012 14:03

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

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

Do you really want to delete ?