werehuman 05.03.2011 18:40 lithium

Я вот тут думаю... Вот я часто пишу на языке с динамической типизацией, и при этом я постоянно проверяю типы входных переменных. Может динамическая типизация не очень-то и нужна?

Recommended by:

@0xd34df00d: Еще один все понял.

and @magog
1. 0xd34df00d 05.03.2011 18:41 Azoth_primary

Еще один все понял.

2. Fallen_September 05.03.2011 18:42

а что такое динамическая типизация?

3. werehuman → Fallen_September /2 05.03.2011 18:43 lithium

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

4. werehuman → werehuman /3 05.03.2011 18:43 lithium

или интерпретатору

5. Crazy_Owl 05.03.2011 18:43 34082071531299350305382573

иногда да, иногда нет. В идеале — динамическая типизация с возможностью указания и проверки типов (см. Common Lisp, Clojure, например)

6. odin 05.03.2011 18:44 39696836381299349232830331

хуйню какую-то понял

7. werehuman → Crazy_Owl /5 05.03.2011 18:44 lithium

ну такая типизация, как cl — не нужна (кроме sbcl, который компилятор). Ибо ничем не отличается от if isinstance...assert

8. Crazy_Owl → werehuman /7 05.03.2011 18:45 34082071531299350305382573

sbcl — лисп-машина со всеми вытекающими. Про оптимизации в CL слышал? типа declare и проч.

9. 0xd34df00d → werehuman /3 05.03.2011 18:47 Azoth_primary

Хаскель динамически типизируемый? О_О

10. werehuman → 0xd34df00d /9 05.03.2011 18:48 lithium

там все хитро

11. Crazy_Owl → werehuman /10 05.03.2011 18:48 34082071531299350305382573

ШТО

12. 0xd34df00d → werehuman /10 05.03.2011 18:48 Azoth_primary

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

13. Crazy_Owl → 0xd34df00d /12 05.03.2011 18:49 34082071531299350305382573

и при этом типизация там не "хитрая", а самая что ни на есть статическая.

14. 0xd34df00d → Crazy_Owl /13 05.03.2011 18:49 Azoth_primary

Именно.

15. werehuman → 0xd34df00d /12 05.03.2011 18:49 lithium

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

16. 0xd34df00d → werehuman /15 05.03.2011 18:50 Azoth_primary

Не только простыми, но и некорректными. Это хуже, чем отсутствие ответа вообще.

17. werehuman → 0xd34df00d /16 05.03.2011 18:50 lithium

валяй

18. 0xd34df00d → werehuman /17 05.03.2011 18:50 Azoth_primary

А я сходу не возьмусь. Вот тот же C# вроде как вполне статический, а есть рефлекшн (== можно эмулировать динамику), есть методы генерации кода, есть dynamic в 4.0.

19. werehuman → 0xd34df00d /18 05.03.2011 18:51 lithium

тогда и не пизди тут

21. Fallen_September → 0xd34df00d /16 05.03.2011 18:55

неправда, любой ответ будет лучше отсутствия ответа.

22. magog → Fallen_September /21 05.03.2011 18:55 Psi+

Вы не правы

23. Fallen_September → magog /22 05.03.2011 18:56

в данном случае права

24. magog → magog /22 05.03.2011 18:56 Psi+

уж лучше отсутствие ответа, чем не верный или не доконца верный

25. werehuman → magog /24 05.03.2011 18:57 lithium

не лезь к другим со своей самой правдивой правдой в мире

26. magog → magog /24 05.03.2011 18:57 Psi+

что за идиотский аргумент — "в данном случае". Да в данной ситуации трахнуть ребенка тоже может быть верный выход. Нету никаких ситуаций.

27. magog → werehuman /25 05.03.2011 18:58 Psi+

буду лезть

28. 0xd34df00d → werehuman /25 05.03.2011 18:58 Azoth_primary

Да у тебя же БАГЕТ </Crazy-Owl-mode>

29. 0xd34df00d → magog /27 05.03.2011 18:58 Azoth_primary

Все правильно сделал.

30. Crazy_Owl → 0xd34df00d /28 05.03.2011 18:58 34082071531299350305382573

:3

31. Fallen_September → magog /24 05.03.2011 18:58

уж лучше какой-нибудь ответ, чем "пошла ты в гугл"

32. 0xd34df00d → Fallen_September /21 05.03.2011 18:58 Azoth_primary

У тебя сформируется некорректное представление, которое потом хрен искоренишь. Да ну нафиг.

33. werehuman → 0xd34df00d /28 05.03.2011 18:59 lithium

а пошли-ка вы нахуй. Отписываюсь от своего же треда

34. 0xd34df00d → Fallen_September /31 05.03.2011 18:59 Azoth_primary

Гнать в шею учителей с такой позицией. Если человек недостаточно компетентен для ответа на вопрос, пусть лучше в гугл шлет, чем.

35. 0xd34df00d → werehuman /33 05.03.2011 18:59 Azoth_primary

О, ты гляди, риальни БАГЕТ.

36. ulidtko 05.03.2011 18:59 lunatic asylum

блядь, о чём вы тут вообще ._.

37. 0xd34df00d → ulidtko /36 05.03.2011 18:59 Azoth_primary

Верихумана тrавим.

38. ulidtko → 0xd34df00d /37 05.03.2011 19:00 lunatic asylum

не смейте!!

39. 0xd34df00d → ulidtko /38 05.03.2011 19:00 Azoth_primary

Почему?

40. magog → 0xd34df00d /34 05.03.2011 19:00 Psi+

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

41. 0xd34df00d → magog /40 05.03.2011 19:00 Azoth_primary

Именно.

42. Fallen_September → 0xd34df00d /34 05.03.2011 19:00

а я с людьми хочу общаться, а не с гуглом

43. magog → Fallen_September /42 05.03.2011 19:00 Psi+

Вам плевать на верность получаемой информации?

44. 0xd34df00d → Fallen_September /42 05.03.2011 19:00 Azoth_primary

Обучение превыше :3
Пригласи его на чашечку кофе, в конце концов, для общения )

45. Fallen_September → 0xd34df00d /34 05.03.2011 19:01

и вообще, чего лезешь? не тебе же был ответ

46. ulidtko → magog /40 05.03.2011 19:01 lunatic asylum

а описать «в двух словах» не? На том уровне общности, на котором есть понимание.

47. 0xd34df00d → Fallen_September /45 05.03.2011 19:01 Azoth_primary

У меня идиосинкразия к идиотом и говну.

48. 0xd34df00d → ulidtko /46 05.03.2011 19:01 Azoth_primary

А если некорректно?

49. Fallen_September → magog /43 05.03.2011 19:01

да, мне ваще языки программирования вообще до лампочки.

50. ulidtko → 0xd34df00d /48 05.03.2011 19:01 lunatic asylum

все ошибаются

51. Fallen_September → 0xd34df00d /44 05.03.2011 19:01

=))

52. magog → ulidtko /46 05.03.2011 19:02 Psi+

если ты верно это объяснишь в двух словах — пожалуйста. Но если ты объяснишь некорректно, что может привести к ошибкам — лучше молчи

53. ulidtko → magog /52 05.03.2011 19:02 lunatic asylum

если ты ЗНАЕШЬ, что можешь объяснить некорректно, то молчи. А если ошибся не намеренно?

54. 0xd34df00d → ulidtko /53 05.03.2011 19:03 Azoth_primary

Вопрос приоритетов. Я объясняю, только если уверен, что прав.

55. Crazy_Owl 05.03.2011 19:03 34082071531299350305382573

ну что вы сделали! Из срача "динамикоговно vs. статикохуйня" устроили обзор систем преподавания некомпетентными преподавателями.

56. Fallen_September 05.03.2011 19:03

ай да ну вас

57. magog → ulidtko /53 05.03.2011 19:03 Psi+

если ты уверне, в своей правоте, но окзался не прав — только твои проблемы. Но если ты не уверен в своей правоте — то лучше молчи или заранее предупреди, что я слабо компетентен в этом вопросе

58. 0xd34df00d → Crazy_Owl /55 05.03.2011 19:04 Azoth_primary

Ща, тихо, я жду, пока кто-нибудь таки сообразит пригласить данную тян куда-нибудь объяснить преимущества, недостатки и особенности strict/weak/implicit/etc-типизации.

59. ulidtko → 0xd34df00d /54 05.03.2011 19:04 lunatic asylum

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

60. Crazy_Owl → 0xd34df00d /58 05.03.2011 19:04 34082071531299350305382573

implying это возможно

61. 0xd34df00d → ulidtko /59 05.03.2011 19:05 Azoth_primary

Незнание того, что я могу объяснить некорректно, не влечет знание того, что я объясню корректно.

62. 0xd34df00d → Crazy_Owl /60 05.03.2011 19:05 Azoth_primary

А почему бы и нет?

63. ulidtko → 0xd34df00d /61 05.03.2011 19:06 lunatic asylum

знание того, что ты объяснишь корректно, может быть ошибочным — как и любое знание.

64. 0xd34df00d → ulidtko /63 05.03.2011 19:07 Azoth_primary

Бесспорно, но feel the difference.

65. ulidtko → 0xd34df00d /64 05.03.2011 19:09 lunatic asylum

ну я понимаю. Именно поэтому нужно иметь крепкую веру в постулаты своего мировоззрения: потому что это самый фундамент, на котором строится уверенность в суждениях.

Do you really want to delete ?