https://ssl.opennet.dev/openforum/vsluhforumID3/119300.html Опубликован релиз языка системного программирования Rust 1.40, основанного проектом Mozilla. Язык сфокусирован на безопасной работе с памятью, обеспечивает автоматическое управление памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=52081<br> https://ssl.opennet.dev/openforum/vsluhforumID3/119300.html#511 Sun, 29 Dec 2019 18:14:16 GMT Наблюдаем как очередной убийца плюсов исчезает<br> https://ssl.opennet.dev/openforum/vsluhforumID3/119300.html#510 Sun, 29 Dec 2019 09:46:17 GMT Хайп go был в году 14-15, сейчас приутихли как мне кажется. И то любовь к нему в основном проявляется среди devops и некоторых C-программистов, так как с одной стороны (devops) не надо писать на питоне и тянуть зависимости с интерпретатором, когда можно написать на go и закинуть один бинарь в докер (и как бонус статическая типизация), с другой (C-программисты) добавляет немного сахарку, безопасные указатели и GC, не надо учить "сложные" концепции выразительных современных языков, чтобы получить тот же эффект.<br>Сам же go по сравнению с другими очень странный в плане многих решений, заметно сильное влияние Роба Пайка и его длительной работы над plan9. В итоге вышел язык "не от мира сего". Взять хотя бы interface{} вместо дженериков, по сути толстый сишный void-указатель из 70-ых. Причём небезопасный, так как два указателя внутри не атомарны при изменении (один указывает на тип, другой на данные). Хотя внутри самого go для мапов используется некое подобие дженериков, просто недоступное простому смертному програм https://ssl.opennet.dev/openforum/vsluhforumID3/119300.html#509 Fri, 27 Dec 2019 13:33:13 GMT &gt; Ты привел перегрузку из вики типо самый умный? <br><br>Я ее еще задолго до появления вики видел и писать умел - это паскаль классический.<br><br>&gt; Так в данной перегрузке два интерфейса и две реализации <br>&gt; Полиформизм это когда интерфейс один, а реализаций много.<br><br>http://www.stroustrup.com/glossary.html#Gpolymorphism<br>&gt; polymorphism - providing a single interface to entities of different types. virtual functions provide dynamic (run-time) polymorphism through an interface provided by a base class. Overloaded functions and templates provide static (compile-time) polymorphism. TC++PL 12.2.6, 13.6.1, D&E 2.9.<br><br>Но у анонимов опеннета, как обычно, есть своя, собственная, "единственно верная" терминология.<br><br> https://ssl.opennet.dev/openforum/vsluhforumID3/119300.html#508 Fri, 27 Dec 2019 13:23:05 GMT &gt; Это перегрузка функций, а не полиформизм <br><br>У анонима это может быть и жопоморфизмом, но в остальном мире принята несколько иная терминология:<br>http://www.ics.uci.edu/~jajones/INF102-S18/readings/05_stratchey_1967.pdf<br>&gt; There seem to be two main classes, which can be called ad hoc polymorphism and parametric polymorphism.<br>&gt; In ad hoc polymorphism there is no single systematic way of determining the type of the result from the type of the arguments. <br>&gt; There may be several rules of limited extent which reduce the number of cases, but these are themselves ad hoc both in scope and content. All the ordinary arithmetic operators and functions come into this category. It seems, moreover, that the automatic insertion of transfer functions by the compiling system is limited to this<br><br>Еще, в остальном мире есть такие обозначения как monomorphism, homomorphism, heteromorphism и прочее.<br>Это все от "morph(ism)" - отображение, форма. Poly - много, mono - одна. <br>Искользуется и в математике и в биологии, откуда идея https://ssl.opennet.dev/openforum/vsluhforumID3/119300.html#507 Fri, 27 Dec 2019 09:42:56 GMT &gt; Полиформизм это когда интерфейс один, а реализаций много.<br><br>Нет. Полиморфизм -- это способность интерфейса обрабатывать сущности разных типов. Или же проще: способность функции обрабатывать разные типы аргументов.<br><br>Реализаций не обязательно будет много. Параметрические типы, например, обеспечивают полиморфность функций, но реализация будет одна.<br> https://ssl.opennet.dev/openforum/vsluhforumID3/119300.html#506 Fri, 27 Dec 2019 09:38:44 GMT &gt; Это перегрузка функций, а не полиформизм <br><br>Wut?! Перегрузка -- это ведь частный случай полиморфизма же! По определению, блин! Нахера, зайчики, Вы вообще пишете это всё. У вас ни опыта, ни знаний терминологии даже. И ведь вы могли хотя бы просто прочитать статью на Вики. Там уже лет пять как всё корректно написано, причём даже на русском. Но нет, давайте чушь пороть в комментариях...<br> https://ssl.opennet.dev/openforum/vsluhforumID3/119300.html#505 Fri, 27 Dec 2019 05:12:06 GMT Спасибо, крутая книжка, почитаю<br> https://ssl.opennet.dev/openforum/vsluhforumID3/119300.html#504 Fri, 27 Dec 2019 01:16:12 GMT Полиформизм это когда интерфейс один, а реализаций много.<br><br>Ты привел перегрузку из вики типо самый умный? Так в данной перегрузке два интерфейса и две реализации<br> https://ssl.opennet.dev/openforum/vsluhforumID3/119300.html#503 Fri, 27 Dec 2019 00:43:39 GMT Это перегрузка функций, а не полиформизм<br>