Rn
но основная проблема сишки в том, что она раба не только байторабов и корпораций. Она ещё раба всего скриптушного мира
Size: a a a
2020 July 18
Rn
выше мы говорили про api - почему они на сишке такое говно
Rn
они там говно лишь потому, что они должны быть интегрированы в скриптуху. Сишные api мало когда используются для самой сишки.
Rn
биднги для того же крестового api не напишешь. Просто потому, что не существует иной подобной мощности системы типов. Поэтому для интеграции api должны быть максимально примитивными. Максимально сериализуемыми
Rn
от части поэтому существует си с классами, для которого так же просто написать биндинги
Rn
ну не прям так же, но близко
KR
Ага, уже интереснее. А в чём выражается "мощность" системы типов? Определи это понятие, чтобы мы не понимали под ним разные вещи.
Rn
ну мощность - это способность системы типов описать произвольную семантику. Чем больше семантики можно описать/выразить - тем мощнее система типов.
Rn
допустим, в недоязычке типа раст выразить ничего нельзя. Просто потому, на уровне полиморфизма все типы теряются
KR
Хорошо, а вот языки с завтипами позволяют описать больше семантики в типах, нежели С/С++... ну там выразить тип который "левая пятка когда козерог в водолее". Почему ты утверждаешь что они слабее по мощности?
KR
Исходя из твоего определения они сильнее. Либо же ты сформулировал определение не точно.
Rn
нет, языки с завтипами - это фейк. Они ничего не позволяют писать. Там есть только огрызок идрис на котором "можно" что-то писать, но нихрена
Rn
дошколята максимум что могут - это пердолить списки
Rn
но в реальности этот мусор никому не нужен и ничего он выразить не может
KR
То есть пацаны со списками не работают?
Rn
к тому же, система типов позволять выражать завтипы
KR
к тому же, система типов позволять выражать завтипы
Покажи пример
KR
Интересно
Rn
То есть пацаны со списками не работают?
нет, но и не в этом дело. Это фундаментальное отличие запарты от пацанов. Пацаны выражают то, что нужно задаче. Запарта специально подбирает задачу таким образом, чтобы дерьмо что-то выражало.
Rn
т.е. они научили своё дерьмо "проверять" рекурсивное дерьмо. Ну вот примитивные операции над списком можно записать рекурсивно. Что-то сложнее -нет