Size: a a a

2020 July 18

Rn

Roman na in rust_offtopic
я не говорил. К тому же ты просто балабол, который несёт херню. Ты не пытаешься понять, а зачем мне тебе что-то объяснять? Хотя я пытаюсь.
источник

Rn

Roman na in rust_offtopic
но давай попроще. Я даже тебе объясню
источник

KR

Kai Ren in rust_offtopic
Roman na
но давай попроще. Я даже тебе объясню
Объясни примером. Мне так понятнее, когда я могу щупать что-то реальное
источник

KR

Kai Ren in rust_offtopic
Напиши чёртов код уже
источник

KR

Kai Ren in rust_offtopic
Не ломайся
источник

Rn

Roman na in rust_offtopic
Смотри, в связи с тем, что в С++ система типов более высокого порядка - в ней нельзя написать то, что показал адепт. Просто потому, что там нет подобной семантики.  Поэтому реализовать это на С++ - это полностью реализовать семантику недоязычка, а не отдельную операцию
источник

KR

Kai Ren in rust_offtopic
Roman na
Смотри, в связи с тем, что в С++ система типов более высокого порядка - в ней нельзя написать то, что показал адепт. Просто потому, что там нет подобной семантики.  Поэтому реализовать это на С++ - это полностью реализовать семантику недоязычка, а не отдельную операцию
А ты говорил она не имеет ограничений.
источник

Rn

Roman na in rust_offtopic
т.е. С++ не работает как идрис дерьма. Но на нём можно написать идрис дерьма
источник

Rn

Roman na in rust_offtopic
да, не имеет
источник

KR

Kai Ren in rust_offtopic
Компилятор можно написать на чём угодно и так
источник

Rn

Roman na in rust_offtopic
нет, не компилятор
источник

Rn

Roman na in rust_offtopic
в уровне типов и компилтайма
источник

Rn

Roman na in rust_offtopic
компилятор
источник

A

Abu in rust_offtopic
Alexander Zaitsev
вот с царём можно нормально поговорить, например
Если ты беседу выше с ним считаешь нормой, то мне тебя искренне жаль!
источник

KR

Kai Ren in rust_offtopic
Ну я на расте тебе проц-макросами встрою компиль идриса. Либо даже напишу с нуля. И ЧТО?
источник

G

GGPanic in rust_offtopic
Roman na
потому что asm не входит в понятие написано. Это не язык, потому как под языком понимается язык высокого уровня и то, что на писано на нём
Почему?
Могут ли считаться макросы в фасме чем-то высокоуровневым?
источник

KR

Kai Ren in rust_offtopic
Речь о системе типов
источник

KR

Kai Ren in rust_offtopic
Не позволяет выразить семантику - не говори что может
источник

AZ

Alexander Zaitsev in rust_offtopic
Abu
Если ты беседу выше с ним считаешь нормой, то мне тебя искренне жаль!
ему тут просто не с кем беседовать особо - вы не понимаете тех банальных истин, о которых он вам говорит
источник

Rn

Roman na in rust_offtopic
GGPanic
Почему?
Могут ли считаться макросы в фасме чем-то высокоуровневым?
ну отчасти, но нет. Высокий уровень определяется через отрицание асма
источник