void * - это очень конкретный тип. Указатель на область памяти. Просто указатель. Без информации о том, что там находится.

В моем понятии, полиморфизм - это скорее о поведении, для реализации которого требуется другое поведение. Но с Анной я согласен в том, что для *OOP*них*OOP* это полиморфизм, но мы то функциональщики 😊

В фп полиморфизм = генерик. В ооп полиморфизм = что-то сложное про наследование

А тайп-классы?

Это виртуальные таблицы в ооп

Ну типа таблицы методов для класса

Не в ФП полиморфизм - это трейты (ну или не генерилизованные тайп классы) полиморфизм' - это генерики над трейтами полиморфизм^n - hkt

И это никак не виртуальные таблицы. По большому счету вся эта сумасшедшая арифметика - для статического вывода конкретного адреса метода

И именно из за этого мы в FSharp несколько ограничены. Потому что эмуляция трейтов через интерфейсы не полная. Использование инлайн - ограничено и не удобно. А GADT и HKT не завезли пока совсем. Но все равно лучше чем ООП.

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

Ой

Мой доклад сейчас на третьем месте

Я тут взгуглил, в C в отличие от джавы и сишарпа воид вовсе не означает «ничто». А означает «что угодно», «любой тип» или же object как в сишарпе и джаве. А List который берет object - вполне себе полиморфный. Всё, case closed.

нагуглил он. в шарпе можно создать переменную типа object. в це можно создать переменную типа void? то-то

нагуглил он. в шарпе можно создать переменную типа object. в це можно создать переменную типа void? то-то

Вроде написал и я и другой товарищ, что не воид а УКАЗАТЕЛЬ на воид - вполне себе тип

Мой доклад сейчас на третьем месте

придётся докладывать )

нагуглил он. в шарпе можно создать переменную типа object. в це можно создать переменную типа void? то-то

В шарпе можно создать объект типа void, nyeh heh heh

В шарпе можно создать объект типа void, nyeh heh heh

это который system.void? и чё с ним делать

это который system.void? и чё с ним делать

Всё то же, что можно сделать с обычным объектом.

Правда, создать его нетривиально. Многие runtime facilities пытаются этому сопротивляться.

ну вот я и хотел пример кода попросить )

всё-таки язык это язык, не всё что позволяет дотнет в нём надо делать

ну вот я и хотел пример кода попросить )

FormatterServices.GetUninitializedObject это умеет, насколько я помню.

Утра!

FormatterServices.GetUninitializedObject это умеет, насколько я помню.

Кусь, Форневеряка

А вот если хочется создать экземпляр интерфейса, статик класса или непривязанного генерика, то надо ещё более хитро поступать.

Кусь, Форневеряка

Простой способ завести второго кота

Вроде написал и я и другой товарищ, что не воид а УКАЗАТЕЛЬ на воид - вполне себе тип

указатель который так и называется "бестиповый указатель". какое отношение этот ассемблерный хак имеет к полиморфизму?

указатель который так и называется "бестиповый указатель". какое отношение этот ассемблерный хак имеет к полиморфизму?

ну он "предоставляет единый интерфейс к обьектам любого типа". Разве нет?

ну он "предоставляет единый интерфейс к обьектам любого типа". Разве нет?

нет. он ниче не предоствляет. он просто указывает на не пойми что. над ним даже адресная арифметика не определена (не говоря о взятии/изменении данных) в отличии от нормальных указателей. все что можно сделать это откастить руками в нужный тип указателя.

нет. он ниче не предоствляет. он просто указывает на не пойми что. над ним даже адресная арифметика не определена (не говоря о взятии/изменении данных) в отличии от нормальных указателей. все что можно сделать это откастить руками в нужный тип указателя.

необходимо подтянуть теорию категорий )

выше был хороший пример с qsort

выше был хороший пример с qsort

где?

там только упоминание о нем было. пример где?

я вот только такие квиксорты видел https://www.geeksforgeeks.org/comparator-function-of-qsort-in-c/

он ни в каком месте не полиморфен. ему всегда на вход приежает функция ровно одного вида int (*comparator)(const void*,const void*)

Шота @deexpp как-то остро чувствует, что в интернете все неправы

да почему ж не полиморфен. Этот алгоритм работает не разбираясь с внутренней сущностью обьекта, она ему не интересна (за исключением отношения между обьектами, которое отдельно задаётся функцией)

он написан один раз, и работает для любого типа

потому как полиморфная функция работает с разнами типами аргументов. здесь нет разных типов. он 1. см выше

потому как полиморфная функция работает с разнами типами аргументов. здесь нет разных типов. он 1. см выше

не с типами, а с обьектами разных типов, наверное?

не с типами, а с обьектами разных типов, наверное?

Это метонимия, перенос значения по смежности. Принцип экономии речевых услилий :)

Это метонимия, перенос значения по смежности. Принцип экономии речевых услилий :)

😱

Так говорят, потому что так короче

ну и потом, скажешь "объектов" - объясняй, что тут имеется в виду не тот "объект", что в ооп, и понеслась... Для зануд непаханое поле :)

возможно. Но ведь меняется смысл тогда? в данном случае. То естьговорится "сортировке нужны типы". А они ей не нужны, ей нужны обьекты и отношение между парой этих обьектов.

классный пример в википедии «Я три тарелки съел» )) в контексте разговора о том, допустимо или нет портить посуду, это некорректная метонимия

*всё ещё гуглит новое слово*

*всё ещё гуглит новое слово*

вот так вот разговариваешь всю жизнь метафорами и метонимиями...

А жизнь мимо проходит и никто не понимает...

Поэтому что? Поэтому да, давайте обсудим пиво и nvidia 🤓

sic

возможно. Но ведь меняется смысл тогда? в данном случае. То естьговорится "сортировке нужны типы". А они ей не нужны, ей нужны обьекты и отношение между парой этих обьектов.

Я короче подумаю потом над этим

sic

> Sic — латинское слово, означающее «так», «таким образом», «именно так». Употребляется для того, чтобы показать, что предыдущее неправильное или необычное написание является цитатой, а не ошибкой набора. Точно это хотел сказать? :)

именно так.

> Sic — латинское слово, означающее «так», «таким образом», «именно так». Употребляется для того, чтобы показать, что предыдущее неправильное или необычное написание является цитатой, а не ошибкой набора. Точно это хотел сказать? :)

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

Уии, коржик!

🤔🤔

Добрый день Роман. Меня зовут Эдуард, я являюсь PR-менеджером проекта uWebDesign. Наша аудитория – это молодые дизайнеры и программисты.

наша аудитория в вк 20к человек

Так, и?

в телеграмм канале 1,5к

хотели бы вы приобрести у нас рекламу своего канала или сайта ?

Специфика нашего сообщества в том, что в основном у нас работает только естественный рост. Реклама чата не сможет людей заставить пользоваться языком разработки f#. Если есть доводы против, я бы послушал

ну я не говорил про рекламу чата

Другого в нас нет)

я думал о рекламе вашего канала

в телеграммм

и группе в вк

https://t.me/fsharp_news это же ваш канал?

Там то же самое канал интересен разработчикам f#. И это производное от желания пользоватбся f#, т.е. надо рекламировать не чат или канал, а сам язык.

Да, но читайте выше

Ну, если вы считаете, что продвижение канала не увеличит заинтересованность людей в изучении F#