Нет не виноваты, в том, что знаете только два случая. Виноваты в том, что далекоидущие выводе делаете на только двух случаях. Раз вопрос волнует, надо изучать основательно. Да, я не изучал, но ничего и не утверждаю так смело.
Поведение муфтия в вопросах сравнения равенства религий имеет косвенное отношение, тем более на попятную он пошёл. За аналогичные высказывания высокопоставленным буддистам что-то было?
> Если я скажу «на хабра полно мудаков» — это не оскорбление, и ни чьих лично прав не нарушает.
> А если «подавляющее большинство негров тупые»?
> Вы определение прочитайте (т.е. ответ — нет)
> Значит это не нарушает ничьих прав, верно?
И ведь, что характерно, многие атеистами себя считают, противопоставляя религиозным якобы мракобесам.
Как один мой знакомый сказал: «уж лучше б в бога верили [чем в то, что пишут]»
Я как-то услышал фразу: «в современном мире не верить просто, ты попробуй верить». Вы действительно считаете что истинным верующим проще с учётом того, что вера не в тренде, большинство — атеисты, плюс какой фон создают грешащие попы и т.п.?
In code examples, a proportional-width font is used for identifiers. For example:…
At first glance, this presentation style will seem ‘‘unnatural’’ to programmers accustomed to seeing code in constant-width fonts. However, proportional-width fonts are generally regarded as better than constant-width fonts for presentation of text. Using a proportional-width font also allows me to present code with fewer illogical line breaks. Furthermore, my experiments show that most people find the new style more readable after a short while.
Почему обязательно моноширинный? У меня не моноширинный, например, никакая IDE не принуждает.
Меня каждый раз минусуют, потому сошлюсь на то, что вроде у Страуструпа тоже :)
Чаще всё-таки в go (там настолько часто, что почти одни только табы), а вот больше — в C (но частота так себе, почти пополам). Если под чаще понимать вероятность попасть в цель, ткнув наугад.
Отчего ж не говорит. Вы можете построить изоморфизм между целыми и натуральными (0, 1, 2… <-> 0, 2, 4...; -1, -2 <-> 1, 3...). Я так понимаю, в HoTT ещё и применить аксиому унивалентности (A ≃ B) ≃ (A = B).
Я распарсил это как «any из TypeScript? Плохой пример динамики внутри статики, так как это всего лишь типизированный препроцессор, а не нормальная статика». Извините, если прочёл не так.
Собственно, дальше я просто показывал, что dynamic и наличие удобной с ним работы — это не [обязательно] динамическая типизация.
Да и в исходном комментарии вот это прозвучало якобы как возражение:
Тип any — это в тайп-скрипте, который всего лишь типизированный препроцессор к динамическому языку?
В Скале, например, есть Any, хотя детально его возможности я не знаю. Можно ли там орудовать одним Any или нет. Ну и про Dynamic в Хаскеле я уже упоминал.
Поведение муфтия в вопросах сравнения равенства религий имеет косвенное отношение, тем более на попятную он пошёл. За аналогичные высказывания высокопоставленным буддистам что-то было?
> Если я скажу «на хабра полно мудаков» — это не оскорбление, и ни чьих лично прав не нарушает.
> А если «подавляющее большинство негров тупые»?
> Вы определение прочитайте (т.е. ответ — нет)
> Значит это не нарушает ничьих прав, верно?
Как один мой знакомый сказал: «уж лучше б в бога верили [чем в то, что пишут]»
Вы по двум случаям далекоидущие выводы делаете?
экстраполяция-моё-хобби.jpg
Ой, я вас умоляю…
http://www.stroustrup.com/3rd_notes.pdf
Меня каждый раз минусуют, потому сошлюсь на то, что вроде у Страуструпа тоже :)
Собственно, дальше я просто показывал, что dynamic и наличие удобной с ним работы — это не [обязательно] динамическая типизация.
Да и в исходном комментарии вот это прозвучало якобы как возражение:
В Скале, например, есть Any, хотя детально его возможности я не знаю. Можно ли там орудовать одним Any или нет. Ну и про Dynamic в Хаскеле я уже упоминал.