MS
Не, тормозит гц.
Size: a a a
2021 March 03
RB
Если ты не используешь трейтобжекты — то у тебя честный статический полиморфизм. С генерацией отдельной функции на каждый набор типов.
боже, как сложно говорить с адептами, которые не думают, а просто повторяют херню из интерента. И причём тебя даже не читают
MS
Это разные штуки, и они обе [иногда] тормозят.
RB
>У них язык и система типов динамически-полиморфна. Но т.к. подобная система типов и язык не может быть статическим, а ллвм статический, то пришлось делать монорфизацию.
>т.е. лепить один вид полиморфизма поверх другого
>т.е. лепить один вид полиморфизма поверх другого
MS
Roman Blog
боже, как сложно говорить с адептами, которые не думают, а просто повторяют херню из интерента. И причём тебя даже не читают
Ну я пытаюсь, честно.
MS
В смысле поверх.
MS
Они же отдельные.
RB
т.е. адепт мне сообщает о том, о чём я ему уже сообщил. Никакой раст ничего не делает. Система типов раста и сам язык не предполагает какой-то монорфизации. Её нет
MS
В смысле.
RB
но она обязана быть, потому как ллвм. Потому как ллвм - это статическая херня. Поэтому на уровне кодогенерации в расте есть монорфизация, но это не монорфизация уровня языка и система типов
MS
MS
Нет же.
MS
Это мономорфизация на уровне языка.
MS
Или я не понимаю о чём ты.
MS
То есть. Давай так, каких возможностей полиморфизм раста не предоставляет так, чтоб не считать его настоящим шотландским полиморфизмом.
RB
я не понимаю, зачем ты споришь, если уже выше доказана твоя несостоятельность. Ты не способен даже прочитать, а просто тулишь мне пропаганду. Не думая.
Очевидно, что ты не понимаешь. Ты не знаешь как работает раст и что такое уровень языка. Монорфизация производится в расте только на уровне кодогенерации. Уже после тайпчекинга и языка в принципе
Очевидно, что ты не понимаешь. Ты не знаешь как работает раст и что такое уровень языка. Монорфизация производится в расте только на уровне кодогенерации. Уже после тайпчекинга и языка в принципе
MS
И какие эффекты это имеет?
RB
т.е. в кодоген идут динамические монорфные функции, но немного с другой сигнатурой, где кодоген их уже монорфизирует и генерирует. Так же туда идут полные сигнатуры, которые выведены. И то они не полиморфны в полном смысле, а просто монорфизируются на уровне языка.
MS
Почему динамические-то?
MS
Я тебя всё меньше и меньше понимаю.